org.openqed.parser.tptp
Class TptpParserCommonTree

java.lang.Object
  org.antlr.runtime.tree.BaseTree
      org.antlr.runtime.tree.CommonTree
          org.openqed.parser.tptp.TptpParserCommonTree

All Implemented Interfaces:

org.antlr.runtime.tree.Tree

public class TptpParserCommonTree
extends org.antlr.runtime.tree.CommonTree

Field Summary

Fields inherited from class org.antlr.runtime.tree.CommonTree

startIndex, stopIndex, token

Fields inherited from interface org.antlr.runtime.tree.Tree

INVALID_NODE

Method Summary

int	getColumnNumber()
java.io.File	getInputFile()
int	getLineNumber()

Methods inherited from class org.antlr.runtime.tree.CommonTree

dupNode, getCharPositionInLine, getLine, getText, getToken, getTokenStartIndex, getTokenStopIndex, getType, isNil, setTokenStartIndex, setTokenStopIndex, toString

Methods inherited from class org.antlr.runtime.tree.BaseTree

addChild, addChildren, deleteChild, dupTree, getChild, getChildCount, getFirstChildWithType, setChild, toStringTree

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Detail

getInputFile

public java.io.File getInputFile()

getLineNumber

public int getLineNumber()

getColumnNumber

public int getColumnNumber()