io.konig.formula

Class WhenThenClause

java.lang.Object

io.konig.formula.AbstractFormula

io.konig.formula.WhenThenClause

All Implemented Interfaces:

Formula

public class WhenThenClause
extends AbstractFormula

Constructor Summary

Constructors

Constructor and Description
WhenThenClause(Expression when, Expression then)

Method Summary

Modifier and Type	Method and Description
WhenThenClause	clone()
void	dispatch(FormulaVisitor visitor)
Expression	getThen()
Expression	getWhen()
void	print(PrettyPrintWriter out)

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

Constructor Detail

WhenThenClause

public WhenThenClause(Expression when,
                      Expression then)

Method Detail

getWhen

public Expression getWhen()

clone

public WhenThenClause clone()

Specified by:

clone in class AbstractFormula

getThen

public Expression getThen()

print

public void print(PrettyPrintWriter out)

dispatch

public void dispatch(FormulaVisitor visitor)