/** * Parses a String information into its PrjStringElement representation. * * @param s the Buffer to parse */ private PrjStringElement parseString(CharBuffer s) { int start = s.position(); int ll = 0; while (s.hasRemaining()) { char c = s.get(); if (c == '"') { break; } else { ll++; } } s.position(start); String str = s.subSequence(0, ll).toString(); s.position(start + ll + 1); return new PrjStringElement(str); }
} else { s.position(s.position() - 1); return new PrjStringElement(name);