Package mepk.kernel

Class Var

java.lang.Object

mepk.kernel.Var

All Implemented Interfaces:

Expression.Internal

public class Var
extends Object
implements Expression.Internal

A variable expression. Instances are obtained through Expression.asVar(), for expressions which have been created through Expression.Var(String).

Nested Class Summary

Nested classes/interfaces inherited from interface mepk.kernel.Expression.Internal

Expression.Internal.Wrapper

Method Summary

Modifier and Type	Method	Description
void	addVarNamesTo(Set<String> result)	Find all variable names in this expression, and add them to the given set.
boolean	equals(Object obj)
Expression	expand(Abbreviation abbreviation, StatementAbbrExpState accu, Expression.Internal.Wrapper wrapper)	Create a new expression by expanding all instances of the given abbreviation, and collect all conditions in accu.
String	getVarName()	Returns the name of this variable.
int	hashCode()
Expression	substitute(String varName, Expression.Internal replacement, Expression.Internal.Wrapper wrapper)	Create a new internal expression by replacing a variable by an internal expression.
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Method Details

getVarName

public String getVarName()

Returns the name of this variable.

Returns:

the name of this variable

hashCode

public int hashCode()

Specified by:

hashCode in interface Expression.Internal

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Specified by:

equals in interface Expression.Internal

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object

substitute

public Expression substitute(String varName,
 Expression.Internal replacement,
 Expression.Internal.Wrapper wrapper)

Description copied from interface: Expression.Internal

Create a new internal expression by replacing a variable by an internal expression.

Specified by:

substitute in interface Expression.Internal

Parameters:

varName - the variable to replace

replacement - the replacement expression

wrapper - expression wrapper

Returns:

the new expression

expand

public Expression expand(Abbreviation abbreviation,
 StatementAbbrExpState accu,
 Expression.Internal.Wrapper wrapper)

Description copied from interface: Expression.Internal

Create a new expression by expanding all instances of the given abbreviation, and collect all conditions in accu.

Specified by:

expand in interface Expression.Internal

Parameters:

abbreviation - the abbreviation to expand

accu - the accumulator for the (expanded) conditions

wrapper - expression wrapper

Returns:

the new expression

addVarNamesTo

public void addVarNamesTo(Set<String> result)

Description copied from interface: Expression.Internal

Find all variable names in this expression, and add them to the given set.

Specified by:

addVarNamesTo in interface Expression.Internal

Parameters:

result - the accumulating set