Searched refs:FILE_HEADER (Results 1 – 6 of 6) sorted by relevance
20 FILE_HEADER = """\ variable67 FILE_HEADER.format(script=os.path.basename(__file__),
24 FILE_HEADER = """\ variable96 FILE_HEADER.format(script=os.path.basename(__file__),
26 FILE_HEADER = """\ variable147 FILE_HEADER.format(year=datetime.date.today().year,
117 FILE_HEADER = _FileHeader() variable251 base = reader.read(FILE_HEADER.section_header_offset)258 reader.read(FILE_HEADER.section_names_index))262 base = reader.read(FILE_HEADER.section_header_offset)263 for _ in range(reader.read(FILE_HEADER.section_count)):
44 private static final String FILE_HEADER = field in TransformsMapperTest194 return Arrays.stream(lines).collect(joining("\n", FILE_HEADER, "\n\n")); in headerPlusLines()
38 private static final String FILE_HEADER = "# RSA OAEP SHA2 vectors built"; field in TestVectorLoader105 if (line.startsWith(FILE_HEADER)) { in loadNextTest()