Lines Matching defs:stratum
91 class Stratum {
92 private final int sti; /* stratum index */
94 private Stratum(int sti) {
107 * Return all the sourceNames for this stratum.
109 * fileIndex of next stratum - can do this since there
110 * is always a terminator stratum.
126 * Return all the sourcePaths for this stratum.
128 * fileIndex of next stratum - can do this since there
129 * is always a terminator stratum.
157 private final int sti; /* stratum index */
367 Stratum stratum(String stratumID) {
369 return new Stratum(sti);
528 * Until the next stratum section, everything after this
552 * The beginning of a stratum's info
583 * A base "Java" stratum is always available, though
585 * Create the base stratum.
