Uses of Interface
tptp_parser.TptpParserOutput.Source

Packages that use TptpParserOutput.Source

Package	Description
tptp_parser

Uses of TptpParserOutput.Source in tptp_parser

Classes in tptp_parser that implement TptpParserOutput.Source

Modifier and Type	Class and Description
static class	SimpleTptpParserOutput.Source
static class	SimpleTptpParserOutput.Source.Creator
static class	SimpleTptpParserOutput.Source.File
static class	SimpleTptpParserOutput.Source.Inference
static class	SimpleTptpParserOutput.Source.Internal
static class	SimpleTptpParserOutput.Source.ListOfSources
static class	SimpleTptpParserOutput.Source.Name
static class	SimpleTptpParserOutput.Source.Theory

Methods in tptp_parser that return TptpParserOutput.Source

Modifier and Type	Method and Description
TptpParserOutput.Source	TptpParserOutput.createInternalSource(String introType, Iterable<TptpParserOutput.InfoItem> introInfo) A correct implementation must return an object representing an instance of <source> corresponding to an instance of <internal source> with the specified constituents.
TptpParserOutput.Source	SimpleTptpParserOutput.createInternalSource(String introType, Iterable<TptpParserOutput.InfoItem> introInfo) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.Source	TptpParserOutput.createSourceFromCreator(String creatorName, Iterable<TptpParserOutput.InfoItem> usefulInfo) A correct implementation must return an object representing an instance of <source> corresponding to the specified creator.
TptpParserOutput.Source	SimpleTptpParserOutput.createSourceFromCreator(String creatorName, Iterable<TptpParserOutput.InfoItem> usefulInfo) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.Source	TptpParserOutput.createSourceFromFile(String fileName, String fileInfo) A correct implementation must return an object representing an instance of <source> corresponding to the specified location in a file.
TptpParserOutput.Source	SimpleTptpParserOutput.createSourceFromFile(String fileName, String fileInfo) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.Source	TptpParserOutput.createSourceFromInferenceRecord(String inferenceRule, Iterable<TptpParserOutput.InfoItem> usefulInfo, Iterable<TptpParserOutput.ParentInfo> parentInfoList) A correct implementation must return an object representing an instance of <source> corresponding to an instance of <inference record> with the specified constituents.
TptpParserOutput.Source	SimpleTptpParserOutput.createSourceFromInferenceRecord(String inferenceRule, Iterable<TptpParserOutput.InfoItem> usefulInfo, Iterable<TptpParserOutput.ParentInfo> parentInfoList) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.Source	TptpParserOutput.createSourceFromListOfSources(Iterable<TptpParserOutput.Source> listOfSources) A correct implementation must return an object representing an instance of <source> corresponding to a list of <sources> with the specified constituents.
TptpParserOutput.Source	SimpleTptpParserOutput.createSourceFromListOfSources(Iterable<TptpParserOutput.Source> listOfSources) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.Source	TptpParserOutput.createSourceFromName(String name) A correct implementation must return an object representing an instance of <source> corresponding to name .
TptpParserOutput.Source	SimpleTptpParserOutput.createSourceFromName(String name) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.Source	TptpParserOutput.createSourceFromTheory(String theoryName, Iterable<TptpParserOutput.InfoItem> usefulInfo) A correct implementation must return an object representing an instance of <source> corresponding to the specified theory.
TptpParserOutput.Source	SimpleTptpParserOutput.createSourceFromTheory(String theoryName, Iterable<TptpParserOutput.InfoItem> usefulInfo) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.Source	TptpParser.file_source(TptpParserOutput out)
TptpParserOutput.Source	TptpParser.source(TptpParserOutput out)

Methods in tptp_parser that return types with arguments of type TptpParserOutput.Source

Modifier and Type	Method and Description
Iterable<TptpParserOutput.Source>	SimpleTptpParserOutput.Source.ListOfSources.getListOfSources()
Iterable<TptpParserOutput.Source>	SimpleTptpParserOutput.Source.ListOfSources.listOfSources()
LinkedList<TptpParserOutput.Source>	TptpParser.sources(TptpParserOutput out)

Methods in tptp_parser with parameters of type TptpParserOutput.Source

Modifier and Type	Method and Description
void	SimpleTptpParserOutput.Source.ListOfSources.addSource(TptpParserOutput.Source oneSource)
TptpParserOutput.Annotations	TptpParserOutput.createAnnotations(TptpParserOutput.Source source, Iterable<TptpParserOutput.InfoItem> usefulInfo) A correct implementation must return an object representing an instance of <annotations> composed of source and usefulInfo .
TptpParserOutput.Annotations	SimpleTptpParserOutput.createAnnotations(TptpParserOutput.Source source, Iterable<TptpParserOutput.InfoItem> usefulInfo) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.ParentInfo	TptpParserOutput.createParentInfo(TptpParserOutput.Source source, TptpParserOutput.GeneralTerm parentDetails) A correct implementation must return an object representing the parent info item with the specified parameters.
TptpParserOutput.ParentInfo	SimpleTptpParserOutput.createParentInfo(TptpParserOutput.Source source, TptpParserOutput.GeneralTerm parentDetails) Implements the corresponding spec in TptpParserOutput.
TptpParserOutput.InfoItem	TptpParserOutput.createRefutationInfoItem(TptpParserOutput.Source fileSource) A correct implementation must return an object representing an instance of <info item> corresponding to an instance of <refutation> with the specified parameter.
TptpParserOutput.InfoItem	SimpleTptpParserOutput.createRefutationInfoItem(TptpParserOutput.Source fileSource) Implements the corresponding spec in TptpParserOutput.

Method parameters in tptp_parser with type arguments of type TptpParserOutput.Source

Modifier and Type	Method and Description
TptpParserOutput.Source	TptpParserOutput.createSourceFromListOfSources(Iterable<TptpParserOutput.Source> listOfSources) A correct implementation must return an object representing an instance of <source> corresponding to a list of <sources> with the specified constituents.
TptpParserOutput.Source	SimpleTptpParserOutput.createSourceFromListOfSources(Iterable<TptpParserOutput.Source> listOfSources) Implements the corresponding spec in TptpParserOutput.
void	SimpleTptpParserOutput.Source.ListOfSources.setListOfSources(Iterable<TptpParserOutput.Source> newListOfSources)

Constructors in tptp_parser with parameters of type TptpParserOutput.Source

Constructor and Description
Annotations(TptpParserOutput.Source source, Iterable<TptpParserOutput.InfoItem> usefulInfo)
ParentInfo(TptpParserOutput.Source source, TptpParserOutput.GeneralTerm parentDetails)
Refutation(TptpParserOutput.Source fileSource)

Constructor parameters in tptp_parser with type arguments of type TptpParserOutput.Source

Constructor and Description
ListOfSources(Iterable<TptpParserOutput.Source> listOfSources)