public int getType() { return type; }
protected bool isEndOfInput(Token t) { return(t.getType() == (int)LogicTokenTypes.EOI); }