org.openqed.parser.tptp
Class TptpSentenceStatement

java.lang.Object
  extended by org.openqed.util.MemberwiseEqualsHashCodeObject
      extended by org.openqed.parser.tptp.TptpStatement
          extended by org.openqed.parser.tptp.TptpSentenceStatement
All Implemented Interfaces:
MemberwiseEqualsHashCode

public class TptpSentenceStatement
extends TptpStatement


Nested Class Summary
 
Nested classes/interfaces inherited from interface org.openqed.util.MemberwiseEqualsHashCode
MemberwiseEqualsHashCode.MemberVisitor
 
Constructor Summary
TptpSentenceStatement(java.io.File inputFile, int lineNumber, int columnNumber, Sentence sentence)
           
 
Method Summary
 Sentence getSentence()
           
 void memberwiseEqualsHashCode(MemberwiseEqualsHashCode.MemberVisitor visitor)
           
 java.lang.String toString()
           
 
Methods inherited from class org.openqed.parser.tptp.TptpStatement
getColumnNumber, getInputFile, getLineNumber
 
Methods inherited from class org.openqed.util.MemberwiseEqualsHashCodeObject
equals, hashCode
 
Methods inherited from class java.lang.Object
getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

TptpSentenceStatement

public TptpSentenceStatement(java.io.File inputFile,
                             int lineNumber,
                             int columnNumber,
                             Sentence sentence)
Method Detail

toString

public java.lang.String toString()
Specified by:
toString in class TptpStatement

memberwiseEqualsHashCode

public void memberwiseEqualsHashCode(MemberwiseEqualsHashCode.MemberVisitor visitor)
Specified by:
memberwiseEqualsHashCode in interface MemberwiseEqualsHashCode
Overrides:
memberwiseEqualsHashCode in class TptpStatement

getSentence

public Sentence getSentence()