org.openqed.parser.tptp
Class TptpParserCommonTreeAdaptor

java.lang.Object
  extended by org.antlr.runtime.tree.BaseTreeAdaptor
      extended by org.antlr.runtime.tree.CommonTreeAdaptor
          extended by org.openqed.parser.tptp.TptpParserCommonTreeAdaptor
All Implemented Interfaces:
org.antlr.runtime.tree.TreeAdaptor

public class TptpParserCommonTreeAdaptor
extends org.antlr.runtime.tree.CommonTreeAdaptor


Method Summary
 java.lang.Object create(org.antlr.runtime.Token token)
           
 
Methods inherited from class org.antlr.runtime.tree.CommonTreeAdaptor
createToken, createToken, dupNode, getChild, getChildCount, getText, getToken, getTokenStartIndex, getTokenStopIndex, getType, setTokenBoundaries
 
Methods inherited from class org.antlr.runtime.tree.BaseTreeAdaptor
addChild, becomeRoot, becomeRoot, create, create, create, dupTree, getUniqueID, isNil, nil, rulePostProcessing, setText, setType
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

create

public java.lang.Object create(org.antlr.runtime.Token token)
Specified by:
create in interface org.antlr.runtime.tree.TreeAdaptor
Overrides:
create in class org.antlr.runtime.tree.CommonTreeAdaptor