tptp_parser

Class SimpleTptpParserOutput.Annotations

java.lang.Object

tptp_parser.SimpleTptpParserOutput.Annotations

All Implemented Interfaces:

TptpParserOutput.Annotations

Enclosing class:

SimpleTptpParserOutput

public static class SimpleTptpParserOutput.Annotations
extends Object
implements TptpParserOutput.Annotations

Constructor Summary

Constructors

Constructor and Description
Annotations(TptpParserOutput.Source source, Iterable<TptpParserOutput.InfoItem> usefulInfo)

Method Summary

Modifier and Type	Method and Description
void	addSource(SimpleTptpParserOutput.Source newSource)
void	addUsefulInfo(SimpleTptpParserOutput.InfoItem oneUsefulInfo)
SimpleTptpParserOutput.Source	getSource()
void	setSource(SimpleTptpParserOutput.Source newSource)
void	setUsefulInfo(Iterable<TptpParserOutput.InfoItem> newUsefulInfo)
String	toString()
String	toString(int indent)
Iterable<SimpleTptpParserOutput.InfoItem>	usefulInfo()

Methods inherited from class java.lang.Object

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

Constructor Detail

Annotations

public Annotations(TptpParserOutput.Source source,
                   Iterable<TptpParserOutput.InfoItem> usefulInfo)

Method Detail

getSource

public SimpleTptpParserOutput.Source getSource()

setSource

public void setSource(SimpleTptpParserOutput.Source newSource)

usefulInfo

public Iterable<SimpleTptpParserOutput.InfoItem> usefulInfo()

addSource

public void addSource(SimpleTptpParserOutput.Source newSource)

setUsefulInfo

public void setUsefulInfo(Iterable<TptpParserOutput.InfoItem> newUsefulInfo)

addUsefulInfo

public void addUsefulInfo(SimpleTptpParserOutput.InfoItem oneUsefulInfo)

toString

public String toString()

Overrides:

toString in class Object

toString

public String toString(int indent)