org.openqed.parser.tptp
Class TptpStatement

java.lang.Object
  org.openqed.util.MemberwiseEqualsHashCodeObject
      org.openqed.parser.tptp.TptpStatement

All Implemented Interfaces:

MemberwiseEqualsHashCode

Direct Known Subclasses:

TptpIncludeStatement, TptpSentenceStatement

public abstract class TptpStatement
extends MemberwiseEqualsHashCodeObject

Nested Class Summary

Nested classes/interfaces inherited from interface org.openqed.util.MemberwiseEqualsHashCode

MemberwiseEqualsHashCode.MemberVisitor

Method Summary

int	getColumnNumber()
java.io.File	getInputFile()
int	getLineNumber()
void	memberwiseEqualsHashCode(MemberwiseEqualsHashCode.MemberVisitor visitor)
abstract java.lang.String	toString()

Methods inherited from class org.openqed.util.MemberwiseEqualsHashCodeObject

equals, hashCode

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Method Detail

toString

public abstract java.lang.String toString()

Overrides:

toString in class java.lang.Object

memberwiseEqualsHashCode

public void memberwiseEqualsHashCode(MemberwiseEqualsHashCode.MemberVisitor visitor)

Specified by:

memberwiseEqualsHashCode in interface MemberwiseEqualsHashCode

Overrides:

memberwiseEqualsHashCode in class MemberwiseEqualsHashCodeObject

getInputFile

public java.io.File getInputFile()

getLineNumber

public int getLineNumber()

getColumnNumber

public int getColumnNumber()