org.openqed.parser.tptp
Class TptpParserCommonTreeAdaptor

java.lang.Object
  org.antlr.runtime.tree.BaseTreeAdaptor
      org.antlr.runtime.tree.CommonTreeAdaptor
          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