Uses of Class
liquidjava.rj_language.ast.Expression
Packages that use Expression
Package
Description
-
Uses of Expression in liquidjava.diagnostics.errors
Constructors in liquidjava.diagnostics.errors with parameters of type ExpressionModifierConstructorDescriptionRefinementError(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 ExpressionConstructors in liquidjava.processor.facade with parameters of type Expression -
Uses of Expression in liquidjava.rj_language
Fields in liquidjava.rj_language declared as ExpressionMethods in liquidjava.rj_language that return ExpressionModifier and TypeMethodDescriptionPredicate.getExpression()protected ExpressionPredicate.innerParse(String ref, String prefix) protected ExpressionConstructors in liquidjava.rj_language with parameters of type ExpressionModifierConstructorDescriptionCreate a predicate with the expression true -
Uses of Expression in liquidjava.rj_language.ast
Subclasses of Expression in liquidjava.rj_language.astModifier and TypeClassDescriptionclassclassclassclassclassclassclassclassclassclassclassMethods in liquidjava.rj_language.ast that return ExpressionModifier and TypeMethodDescriptionExpression.changeAlias(Map<String, AliasDTO> alias, Context ctx, spoon.reflect.factory.Factory f) AliasInvocation.clone()BinaryExpression.clone()abstract ExpressionExpression.clone()FunctionInvocation.clone()GroupExpression.clone()Ite.clone()LiteralBoolean.clone()LiteralInt.clone()LiteralReal.clone()LiteralString.clone()UnaryExpression.clone()Var.clone()Ite.getCondition()Ite.getElse()GroupExpression.getExpression()UnaryExpression.getExpression()BinaryExpression.getFirstOperand()BinaryExpression.getSecondOperand()Ite.getThen()Expression.substitute(Expression from, Expression to) Substitutes the expression first given expression by the secondExpression.substituteState(Map<String, Expression> subMap, String[] toChange) Methods in liquidjava.rj_language.ast that return types with arguments of type ExpressionModifier and TypeMethodDescriptionAliasInvocation.getArgs()FunctionInvocation.getArgs()Expression.getChildren()Methods in liquidjava.rj_language.ast with parameters of type ExpressionModifier and TypeMethodDescriptionvoidExpression.addChild(Expression e) voidExpression.setChild(int index, Expression element) voidFunctionInvocation.setChild(int index, Expression element) Expression.substitute(Expression from, Expression to) Substitutes the expression first given expression by the secondvoidExpression.substituteFunction(String functionName, List<Expression> parameters, Expression sub) Substitutes the function call with the given parameter to the expression eMethod parameters in liquidjava.rj_language.ast with type arguments of type ExpressionModifier and TypeMethodDescriptionbooleanFunctionInvocation.argumentsEqual(List<Expression> parameters) voidExpression.substituteFunction(String functionName, List<Expression> parameters, Expression sub) Substitutes the function call with the given parameter to the expression eExpression.substituteState(Map<String, Expression> subMap, String[] toChange) Constructors in liquidjava.rj_language.ast with parameters of type ExpressionModifierConstructorDescriptionBinaryExpression(Expression e1, String op, Expression e2) Ite(Expression e1, Expression e2, Expression e3) UnaryExpression(String op, Expression e) Constructor parameters in liquidjava.rj_language.ast with type arguments of type ExpressionModifierConstructorDescriptionAliasInvocation(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 ExpressionModifier and TypeMethodDescriptionstatic booleanTypeInfer.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 ExpressionModifier and TypeMethodDescriptionstatic Map<String, Expression> VariableResolver.resolve(Expression exp) Extracts variables with constant values from an expression Returns a map from variable names to their valuesMethods in liquidjava.rj_language.opt with parameters of type ExpressionModifier and TypeMethodDescriptionstatic ValDerivationNodeConstantPropagation.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 valuesstatic ValDerivationNodeExpressionSimplifier.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 ExpressionConstructors in liquidjava.rj_language.opt.derivation_node with parameters of type Expression -
Uses of Expression in liquidjava.rj_language.parsing
Methods in liquidjava.rj_language.parsing that return Expression -
Uses of Expression in liquidjava.rj_language.visitors
Methods in liquidjava.rj_language.visitors that return ExpressionModifier and TypeMethodDescriptionCreateASTVisitor.create(org.antlr.v4.runtime.tree.ParseTree rc)