Package mepk.kernel

Class App

java.lang.Object

mepk.kernel.App

All Implemented Interfaces:

Expression.Internal

public class App
extends Object
implements Expression.Internal

A constant-application expression. Instances are obtained through Expression.asApp(), for expressions which have been created through Expression.App(String, Expression...) and related methods.

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	getConstName()	Returns the constant name of this constant-application expression.
List<Expression>	getSubexpressions()	Returns the subexpressions of this constant-application expression.
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

getConstName

public String getConstName()

Returns the constant name of this constant-application expression.

Returns:

the constant name of this expression

getSubexpressions

public List<Expression> getSubexpressions()

Returns the subexpressions of this constant-application expression.

Returns:

the subexpressions of this expression.

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

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

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