tptp_parser

Class SimpleTptpParserOutput.TopLevelItem

java.lang.Object

tptp_parser.SimpleTptpParserOutput.TopLevelItem

All Implemented Interfaces:

TptpParserOutput.TptpInput

Direct Known Subclasses:

SimpleTptpParserOutput.AnnotatedClause, SimpleTptpParserOutput.AnnotatedFormula, SimpleTptpParserOutput.AnnotatedThfFormula, SimpleTptpParserOutput.IncludeDirective

Enclosing class:

SimpleTptpParserOutput

public static class SimpleTptpParserOutput.TopLevelItem
extends Object
implements TptpParserOutput.TptpInput

A common base for the classes AnnotatedFormula, AnnotatedClause and IncludeDirective.

Nested Class Summary

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

TptpParserOutput.TptpInput.Kind

Field Summary

Fields

Modifier and Type	Field and Description
protected TptpParserOutput.TptpInput.Kind	_kind
protected int	_lineNumber

Constructor Summary

Constructors

Constructor and Description
TopLevelItem()

Method Summary

Modifier and Type	Method and Description
TptpParserOutput.TptpInput.Kind	getKind()
int	getLineNumber()
String	toString()
String	toString(int indent)

Methods inherited from class java.lang.Object

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

Field Detail

_kind

protected TptpParserOutput.TptpInput.Kind _kind

_lineNumber

protected int _lineNumber

Constructor Detail

TopLevelItem

public TopLevelItem()

Method Detail

getKind

public TptpParserOutput.TptpInput.Kind getKind()

getLineNumber

public int getLineNumber()

toString

public String toString()

Overrides:

toString in class Object

toString

public String toString(int indent)

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.