Searched refs:headerType (Results 1 – 1 of 1) sorted by relevance
45 int headerType = GetEntryHeader(); in CheckTraceFileFormat() local46 switch (headerType) { in CheckTraceFileFormat()58 System.out.println("Unexpected header in the trace " + headerType); in CheckTraceFileFormat()