Package com.semedy.reasoner.parser.oologic

Class InternalOOLogicParser

java.lang.Object

com.semedy.reasoner.parser.oologic.InternalOOLogicParser

public class InternalOOLogicParser
extends Object

Parser for rules.

Author:

angele

Constructor Summary

Constructors

Constructor	Description
InternalOOLogicParser(SymbolTable symbolTable, ExternalDataTypeProvider dataTypeProvider, BuiltinProvider builtins, InvertedIndices invertedIndex)

Method Summary

Modifier and Type	Method	Description
Rule	parseRule(String s)	parse rule from a string
final List<Rule>	parseRules(String input)	parse several rules from input string
void	parseRulesOrFacts(InputStream input, Collection<Rule> parsedRules, Collection<Literal> parsedFacts)	parse rules and facts in input stream to the containers parsedRules and parsedFacts
void	parseRulesOrFacts(Reader input, Collection<Rule> parsedRules, Collection<Literal> parsedFacts)	parse rules and facts from reader to the containers parsedRules and parsedFacts
void	parseRulesOrFacts(StringReader input, Collection<Rule> parsedRules, Collection<Literal> parsedFacts)	parse rules and facts from string reader to the containers parsedRules and parsedFacts
void	parseRulesOrFacts(String input, Collection<Rule> parsedRules, Collection<Literal> parsedFacts)	parse rules and facts from string to the containers parsedRules and parsedFacts

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

InternalOOLogicParser

public InternalOOLogicParser(SymbolTable symbolTable,
 ExternalDataTypeProvider dataTypeProvider,
 BuiltinProvider builtins,
 InvertedIndices invertedIndex)

Method Details

parseRulesOrFacts

public void parseRulesOrFacts(InputStream input,
 Collection<Rule> parsedRules,
 Collection<Literal> parsedFacts)
                       throws IOException,
SemReasonerException

parse rules and facts in input stream to the containers parsedRules and parsedFacts

Parameters:

input - , input stream

parsedRules - , container to parse rules into

parsedFacts - , container to parse facts into

Throws:

IOException

SemReasonerException

parseRulesOrFacts

public void parseRulesOrFacts(StringReader input,
 Collection<Rule> parsedRules,
 Collection<Literal> parsedFacts)
                       throws IOException,
SemReasonerException

parse rules and facts from string reader to the containers parsedRules and parsedFacts

Parameters:

input - , input string reader

parsedRules - , container to parse rules into

parsedFacts - , container to parse facts into

Throws:

IOException

SemReasonerException

parseRulesOrFacts

public void parseRulesOrFacts(Reader input,
 Collection<Rule> parsedRules,
 Collection<Literal> parsedFacts)
                       throws IOException,
SemReasonerException

parse rules and facts from reader to the containers parsedRules and parsedFacts

Parameters:

input - , input reader

parsedRules - , container to parse rules into

parsedFacts - , container to parse facts into

Throws:

IOException

SemReasonerException

parseRulesOrFacts

public void parseRulesOrFacts(String input,
 Collection<Rule> parsedRules,
 Collection<Literal> parsedFacts)
                       throws SemReasonerException,
IOException

parse rules and facts from string to the containers parsedRules and parsedFacts

Parameters:

input - , input string

parsedRules - , container to parse rules into

parsedFacts - , container to parse facts into

Throws:

IOException

SemReasonerException

parseRule

public Rule parseRule(String s)
               throws IOException,
SemReasonerException

parse rule from a string

Parameters:

s - input string

Returns:

rule, resulting rule

Throws:

IOException

SemReasonerException

parseRules

public final List<Rule> parseRules(String input)
                            throws IOException,
SemReasonerException

parse several rules from input string

Parameters:

input - input string

Throws:

IOException

SemReasonerException