Lines Matching refs:stratum
77 void checkLocation(String stratum, Location loc, String label,
81 String sourceName = loc.sourceName(stratum);
83 println(label + "(" + stratum + ")" +
86 failure("FAIL: " + label + "(" + stratum + ")" +
91 String sourcePath = loc.sourcePath(stratum);
93 println(label + "(" + stratum + ")" +
96 failure("FAIL: " + label + "(" + stratum + ")" +
101 int ln = loc.lineNumber(stratum);
103 println(label + "(" + stratum + ")" +
106 failure("FAIL: " + label + "(" + stratum + ")" +