io.konig.formula

Class FormulaParser

java.lang.Object

io.konig.formula.FormulaParser

public class FormulaParser
extends Object

Constructor Summary

Constructors

Constructor and Description
FormulaParser()
FormulaParser(PropertyOracle propertyOracle)
FormulaParser(PropertyOracle propertyOracle, LocalNameService localNameService)
FormulaParser(PropertyOracle propertyOracle, LocalNameService localNameService, NamespaceMap nsMap)

Method Summary

Modifier and Type	Method and Description
Expression	expression(Reader reader)
Expression	expression(String text)
LocalNameService	getLocalNameService()
NamespaceMap	getNamespaceMap()
PropertyOracle	getPropertyOracle()
QuantifiedExpression	quantifiedExpression(Reader reader)
QuantifiedExpression	quantifiedExpression(String text)
QuantifiedExpression	quantifiedExpression(String formula, org.openrdf.model.URI... terms)

Methods inherited from class java.lang.Object

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

Constructor Detail

FormulaParser

public FormulaParser()

FormulaParser

public FormulaParser(PropertyOracle propertyOracle)

FormulaParser

public FormulaParser(PropertyOracle propertyOracle,
                     LocalNameService localNameService)

FormulaParser

public FormulaParser(PropertyOracle propertyOracle,
                     LocalNameService localNameService,
                     NamespaceMap nsMap)

Method Detail

quantifiedExpression

public QuantifiedExpression quantifiedExpression(String formula,
                                                 org.openrdf.model.URI... terms)
                                          throws org.openrdf.rio.RDFParseException,
                                                 IOException

Throws:

org.openrdf.rio.RDFParseException

IOException

getPropertyOracle

public PropertyOracle getPropertyOracle()

getLocalNameService

public LocalNameService getLocalNameService()

getNamespaceMap

public NamespaceMap getNamespaceMap()

quantifiedExpression

public QuantifiedExpression quantifiedExpression(String text)
                                          throws org.openrdf.rio.RDFParseException,
                                                 IOException

Throws:

org.openrdf.rio.RDFParseException

IOException

quantifiedExpression

public QuantifiedExpression quantifiedExpression(Reader reader)
                                          throws org.openrdf.rio.RDFParseException,
                                                 IOException

Throws:

org.openrdf.rio.RDFParseException

IOException

expression

public Expression expression(String text)
                      throws org.openrdf.rio.RDFParseException,
                             IOException

Throws:

org.openrdf.rio.RDFParseException

IOException

expression

public Expression expression(Reader reader)
                      throws org.openrdf.rio.RDFParseException,
                             IOException

Throws:

org.openrdf.rio.RDFParseException

IOException