protected void pragma_once(@Nonnull Token name) throws IOException, LexerException { Source s = this.source; if (!onceseenpaths.add(s.getPath())) { Token mark = pop_source(true); // FixedTokenSource should never generate a linemarker on exit. if (mark != null) push_source(new FixedTokenSource(Arrays.asList(mark)), true); } }
public String toString() { StringBuilder buf = new StringBuilder(); buf.append("constant token stream " + tokens); Source parent = getParent(); if (parent != null) buf.append(" in ").append(String.valueOf(parent)); return buf.toString(); } }
boolean space = false; push_source(new FixedTokenSource(arg), false);
public String toString() { StringBuilder buf = new StringBuilder(); buf.append("constant token stream " + tokens); Source parent = getParent(); if (parent != null) buf.append(" in ").append(String.valueOf(parent)); return buf.toString(); } }
boolean space = false; push_source(new FixedTokenSource(arg), false);
@Override public String toString() { StringBuilder buf = new StringBuilder(); buf.append("constant token stream ").append(tokens); Source parent = getParent(); if (parent != null) buf.append(" in ").append(String.valueOf(parent)); return buf.toString(); } }
boolean space = false; push_source(new FixedTokenSource(arg), false);
push_source(new FixedTokenSource( new Token[] { new Token(INTEGER, orig.getLine(), orig.getColumn(), push_source(new FixedTokenSource( new Token[] { new Token(STRING, orig.getLine(), orig.getColumn(), push_source(new FixedTokenSource( new Token[] { new Token(INTEGER, orig.getLine(), orig.getColumn(),
push_source(new FixedTokenSource( new Token[] { new Token(INTEGER, orig.getLine(), orig.getColumn(), push_source(new FixedTokenSource( new Token[] { new Token(STRING, orig.getLine(), orig.getColumn(), push_source(new FixedTokenSource( new Token[] { new Token(INTEGER, orig.getLine(), orig.getColumn(),
push_source(new FixedTokenSource( new Token[]{new Token(NUMBER, orig.getLine(), orig.getColumn(), push_source(new FixedTokenSource( new Token[]{new Token(STRING, orig.getLine(), orig.getColumn(), push_source(new FixedTokenSource( new Token[]{new Token(NUMBER, orig.getLine(), orig.getColumn(),