Uses of Class
liquidjava.rj_language.ast.Expression

Packages that use Expression

Package	Description
liquidjava.diagnostics.errors
liquidjava.processor.facade
liquidjava.rj_language
liquidjava.rj_language.ast
liquidjava.rj_language.ast.typing
liquidjava.rj_language.opt
liquidjava.rj_language.opt.derivation_node
liquidjava.rj_language.parsing
liquidjava.rj_language.visitors

Uses of Expression in liquidjava.diagnostics.errors

Constructors in liquidjava.diagnostics.errors with parameters of type Expression

Modifier	Constructor	Description
	RefinementError(spoon.reflect.cu.SourcePosition position, Expression expected, ValDerivationNode found, TranslationTable translationTable)
	StateConflictError(spoon.reflect.cu.SourcePosition position, Expression state, TranslationTable translationTable)
	StateRefinementError(spoon.reflect.cu.SourcePosition position, Expression expected, Expression found, TranslationTable translationTable)

Uses of Expression in liquidjava.processor.facade

Methods in liquidjava.processor.facade that return Expression

Modifier and Type	Method	Description
Expression	AliasDTO.getExpression()

Constructors in liquidjava.processor.facade with parameters of type Expression

Modifier	Constructor	Description
	AliasDTO(String name, List<spoon.reflect.reference.CtTypeReference<?>> varTypes, List<String> varNames, Expression expression)

Uses of Expression in liquidjava.rj_language

Fields in liquidjava.rj_language declared as Expression

Modifier and Type	Field	Description
protected Expression	Predicate.exp

Methods in liquidjava.rj_language that return Expression

Modifier and Type	Method	Description
Expression	Predicate.getExpression()
protected Expression	Predicate.innerParse(String ref, String prefix)
protected Expression	Predicate.parse(String ref, spoon.reflect.declaration.CtElement element)

Constructors in liquidjava.rj_language with parameters of type Expression

Modifier	Constructor	Description
	Predicate(Expression e)	Create a predicate with the expression true

Uses of Expression in liquidjava.rj_language.ast

Subclasses of Expression in liquidjava.rj_language.ast

Modifier and Type	Class	Description
class	AliasInvocation
class	BinaryExpression
class	FunctionInvocation
class	GroupExpression
class	Ite
class	LiteralBoolean
class	LiteralInt
class	LiteralReal
class	LiteralString
class	UnaryExpression
class	Var

Methods in liquidjava.rj_language.ast that return Expression

Modifier and Type	Method	Description
Expression	Expression.changeAlias(Map<String,AliasDTO> alias, Context ctx, spoon.reflect.factory.Factory f)
Expression	AliasInvocation.clone()
Expression	BinaryExpression.clone()
abstract Expression	Expression.clone()
Expression	FunctionInvocation.clone()
Expression	GroupExpression.clone()
Expression	Ite.clone()
Expression	LiteralBoolean.clone()
Expression	LiteralInt.clone()
Expression	LiteralReal.clone()
Expression	LiteralString.clone()
Expression	UnaryExpression.clone()
Expression	Var.clone()
Expression	Ite.getCondition()
Expression	Ite.getElse()
Expression	GroupExpression.getExpression()
Expression	UnaryExpression.getExpression()
Expression	BinaryExpression.getFirstOperand()
Expression	BinaryExpression.getSecondOperand()
Expression	Ite.getThen()
Expression	Expression.substitute(Expression from, Expression to)	Substitutes the expression first given expression by the second
Expression	Expression.substituteState(Map<String, Expression> subMap, String[] toChange)

Methods in liquidjava.rj_language.ast that return types with arguments of type Expression

Modifier and Type	Method	Description
List<Expression>	AliasInvocation.getArgs()
List<Expression>	FunctionInvocation.getArgs()
List<Expression>	Expression.getChildren()

Methods in liquidjava.rj_language.ast with parameters of type Expression

Modifier and Type	Method	Description
void	Expression.addChild(Expression e)
void	Expression.setChild(int index, Expression element)
void	FunctionInvocation.setChild(int index, Expression element)
Expression	Expression.substitute(Expression from, Expression to)	Substitutes the expression first given expression by the second
void	Expression.substituteFunction(String functionName, List<Expression> parameters, Expression sub)	Substitutes the function call with the given parameter to the expression e

Method parameters in liquidjava.rj_language.ast with type arguments of type Expression

Modifier and Type	Method	Description
boolean	FunctionInvocation.argumentsEqual(List<Expression> parameters)
void	Expression.substituteFunction(String functionName, List<Expression> parameters, Expression sub)	Substitutes the function call with the given parameter to the expression e
Expression	Expression.substituteState(Map<String, Expression> subMap, String[] toChange)

Constructors in liquidjava.rj_language.ast with parameters of type Expression

Modifier	Constructor	Description
	BinaryExpression(Expression e1, String op, Expression e2)
	GroupExpression(Expression e)
	Ite(Expression e1, Expression e2, Expression e3)
	UnaryExpression(String op, Expression e)

Constructor parameters in liquidjava.rj_language.ast with type arguments of type Expression

Modifier	Constructor	Description
	AliasInvocation(String name, List<Expression> args)
	FunctionInvocation(String name, List<Expression> args)

Uses of Expression in liquidjava.rj_language.ast.typing

Methods in liquidjava.rj_language.ast.typing with parameters of type Expression

Modifier and Type	Method	Description
static boolean	TypeInfer.checkCompatibleType(String type, Expression e, Context ctx, spoon.reflect.factory.Factory factory)
static Optional<spoon.reflect.reference.CtTypeReference<?>>	TypeInfer.getType(Context ctx, spoon.reflect.factory.Factory factory, Expression e)

Uses of Expression in liquidjava.rj_language.opt

Methods in liquidjava.rj_language.opt that return types with arguments of type Expression

Modifier and Type	Method	Description
static Map<String, Expression>	VariableResolver.resolve(Expression exp)	Extracts variables with constant values from an expression Returns a map from variable names to their values

Methods in liquidjava.rj_language.opt with parameters of type Expression

Modifier and Type	Method	Description
static ValDerivationNode	ConstantPropagation.propagate(Expression exp)	Performs constant propagation on an expression, by substituting variables with their constant values.
static Map<String, Expression>	VariableResolver.resolve(Expression exp)	Extracts variables with constant values from an expression Returns a map from variable names to their values
static ValDerivationNode	ExpressionSimplifier.simplify(Expression exp)	Simplifies an expression by applying constant propagation, constant folding and removing redundant conjuncts Returns a derivation node representing the tree of simplifications applied

Uses of Expression in liquidjava.rj_language.opt.derivation_node

Methods in liquidjava.rj_language.opt.derivation_node that return Expression

Modifier and Type	Method	Description
Expression	ValDerivationNode.getValue()

Constructors in liquidjava.rj_language.opt.derivation_node with parameters of type Expression

Modifier	Constructor	Description
	ValDerivationNode(Expression exp, DerivationNode origin)

Uses of Expression in liquidjava.rj_language.parsing

Methods in liquidjava.rj_language.parsing that return Expression

Modifier and Type	Method	Description
static Expression	RefinementsParser.createAST(String toParse, String prefix)

Uses of Expression in liquidjava.rj_language.visitors

Methods in liquidjava.rj_language.visitors that return Expression

Modifier and Type	Method	Description
Expression	CreateASTVisitor.create(org.antlr.v4.runtime.tree.ParseTree rc)