io.konig.formula

Class PathExpression

java.lang.Object

io.konig.formula.AbstractFormula

io.konig.formula.PathExpression

All Implemented Interfaces:

Formula, PrimaryExpression

public class PathExpression
extends AbstractFormula
implements PrimaryExpression

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	PathExpression.PathExpressionBuilder

Constructor Summary

Constructors

Constructor and Description
PathExpression()

Method Summary

Modifier and Type	Method and Description
void	add(PathStep step)
static PathExpression.PathExpressionBuilder	builder()
PathExpression	clone()
DirectionStep	directionStepAfter(int i)
DirectionStep	directionStepBefore(int i)
void	dispatch(FormulaVisitor visitor)
List<PathStep>	getStepList()
void	print(PrettyPrintWriter out)
String	simpleText()
static PathExpression	toPathExpression(QuantifiedExpression formula)

Methods inherited from class io.konig.formula.AbstractFormula

asBinaryRelationalExpression, asPrimaryExpression, toSimpleString, toString

Methods inherited from class java.lang.Object

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

Methods inherited from interface io.konig.formula.Formula

asBinaryRelationalExpression, asPrimaryExpression

Constructor Detail

PathExpression

public PathExpression()

Method Detail

builder

public static PathExpression.PathExpressionBuilder builder()

clone

public PathExpression clone()

Specified by:

clone in interface PrimaryExpression

Specified by:

clone in class AbstractFormula

add

public void add(PathStep step)

getStepList

public List<PathStep> getStepList()

print

public void print(PrettyPrintWriter out)

Specified by:

print in interface Formula

simpleText

public String simpleText()

dispatch

public void dispatch(FormulaVisitor visitor)

Specified by:

dispatch in interface Formula

toPathExpression

public static PathExpression toPathExpression(QuantifiedExpression formula)

directionStepAfter

public DirectionStep directionStepAfter(int i)

directionStepBefore

public DirectionStep directionStepBefore(int i)