tptp_parser

Class SimpleTptpParserOutput.IncludeDirective

java.lang.Object

tptp_parser.SimpleTptpParserOutput.TopLevelItem

tptp_parser.SimpleTptpParserOutput.IncludeDirective

All Implemented Interfaces:

TptpParserOutput.TptpInput

Enclosing class:

SimpleTptpParserOutput

public static class SimpleTptpParserOutput.IncludeDirective
extends SimpleTptpParserOutput.TopLevelItem

Represents instances of <include> in the BNF grammar.

Nested Class Summary

Nested classes/interfaces inherited from interface tptp_parser.TptpParserOutput.TptpInput

TptpParserOutput.TptpInput.Kind

Field Summary

Fields inherited from class tptp_parser.SimpleTptpParserOutput.TopLevelItem

_kind, _lineNumber

Constructor Summary

Constructors

Constructor and Description
IncludeDirective(String fileName, Iterable<String> formulaSelection, int lineNumber)

Method Summary

Modifier and Type	Method and Description
String	getFileName()
Iterable<String>	getFormulaSelection()
String	toString()
String	toString(int indent)

Methods inherited from class tptp_parser.SimpleTptpParserOutput.TopLevelItem

getKind, getLineNumber

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

IncludeDirective

public IncludeDirective(String fileName,
                        Iterable<String> formulaSelection,
                        int lineNumber)

Method Detail

getFileName

public String getFileName()

getFormulaSelection

public Iterable<String> getFormulaSelection()

toString

public String toString()

Overrides:

toString in class SimpleTptpParserOutput.TopLevelItem

toString

public String toString(int indent)

Overrides:

toString in class SimpleTptpParserOutput.TopLevelItem

Parameters:

indent - - indicate indentation for pretty-printing. if indent <= 0 then no indentation and not pretty-printing is used. The current indentation is expected to NOT be already output. Java calls the most specific subclass method automatically, so it would seem this entire method is superfluous and can be deleted.