Lines Matching defs:stratum
78 void checkLocation(String stratum, Location loc, String label,
82 String sourceName = loc.sourceName(stratum);
84 println(label + "(" + stratum + ")" +
87 failure("FAIL: " + label + "(" + stratum + ")" +
92 String sourcePath = loc.sourcePath(stratum);
94 println(label + "(" + stratum + ")" +
97 failure("FAIL: " + label + "(" + stratum + ")" +
102 int ln = loc.lineNumber(stratum);
104 println(label + "(" + stratum + ")" +
107 failure("FAIL: " + label + "(" + stratum + ")" +
117 void lineMatch(int index, String stratum, Location loc, int line) {
118 int gotLine = loc.lineNumber(stratum);
121 " " + stratum + " line=" + gotLine +