org.openqed.parser.tptp
Class TptpIncludeStatement

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

public class TptpIncludeStatement
extends TptpStatement


Nested Class Summary
 
Nested classes/interfaces inherited from interface org.openqed.util.MemberwiseEqualsHashCode
MemberwiseEqualsHashCode.MemberVisitor
 
Constructor Summary
TptpIncludeStatement(java.io.File inputFile, int lineNumber, int columnNumber, java.lang.String includeFileName, java.util.List<java.lang.String> includeSentenceNames)
           
 
Method Summary
 java.io.File getIncludeFile()
           
 java.util.Set<SentenceId> getIncludeSentenceIds()
           
 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

TptpIncludeStatement

public TptpIncludeStatement(java.io.File inputFile,
                            int lineNumber,
                            int columnNumber,
                            java.lang.String includeFileName,
                            java.util.List<java.lang.String> includeSentenceNames)
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

getIncludeFile

public java.io.File getIncludeFile()

getIncludeSentenceIds

public java.util.Set<SentenceId> getIncludeSentenceIds()