org.openqed.parser.tptp
Class TptpIncludeStatement

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