io.konig.formula

Class FormulaBuilder.PathBuilder<T extends FormulaConsumer>

java.lang.Object

io.konig.formula.FormulaBuilder.PathBuilder<T>

Direct Known Subclasses:

FormulaBuilder.BasicPathBuilder

Enclosing class:

FormulaBuilder

public static class FormulaBuilder.PathBuilder<T extends FormulaConsumer>
extends Object

Constructor Summary

Constructors

Constructor and Description
PathBuilder()
PathBuilder(T formulaConsumer)

Method Summary

Modifier and Type	Method and Description
QuantifiedExpression	build()
T	endPath()
FormulaBuilder.PathBuilder<T>	in(org.openrdf.model.URI predicate)
FormulaBuilder.PathBuilder<T>	out(org.openrdf.model.URI predicate)
FormulaBuilder.PathBuilder<T>	pop()

Methods inherited from class java.lang.Object

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

Constructor Detail

PathBuilder

public PathBuilder()

PathBuilder

public PathBuilder(T formulaConsumer)

Method Detail

out

public FormulaBuilder.PathBuilder<T> out(org.openrdf.model.URI predicate)

in

public FormulaBuilder.PathBuilder<T> in(org.openrdf.model.URI predicate)

pop

public FormulaBuilder.PathBuilder<T> pop()

build

public QuantifiedExpression build()

endPath

public T endPath()