org.openqed.parser.tptp
Class TptpSentenceStatement

java.lang.Object
  org.openqed.util.MemberwiseEqualsHashCodeObject
      org.openqed.parser.tptp.TptpStatement
          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()