Uses of Class
de.cau.cs.kieler.krep.compiler.ceq.Expression

Packages that use Expression
de.cau.cs.kieler.krep.compiler.ceq Implementation of clocked equations. 
de.cau.cs.kieler.krep.compiler.parser   
 

Uses of Expression in de.cau.cs.kieler.krep.compiler.ceq
 

Subclasses of Expression in de.cau.cs.kieler.krep.compiler.ceq
 class BinOpExpression
          CEQ binary operations, this includes comparison, arithmetic and logical operators.
 class ConstExpression
          Constant, can either be an integer number or a boolean.
 class IfExpression
          Conditional: if e1 then e2 else e3.
 class NotExpression
          A boolean not.
 class VarAccessExpression
          A Variable access in ceq.
 

Methods in de.cau.cs.kieler.krep.compiler.ceq that return Expression
 Expression BinOpExpression.flatten(String name, HashMap<String,Variable> vars, LinkedList<Expression> es)
           
 Expression ConstExpression.flatten(String name, HashMap<String,Variable> vars, LinkedList<Expression> es)
           
abstract  Expression Expression.flatten(String n, HashMap<String,Variable> vars, LinkedList<Expression> es)
          extract sub-expressions from operations.
 Expression IfExpression.flatten(String name, HashMap<String,Variable> vars, LinkedList<Expression> es)
           
 Expression NotExpression.flatten(String name, HashMap<String,Variable> vars, LinkedList<Expression> es)
           
 Expression VarAccessExpression.flatten(String name, HashMap<String,Variable> vars, LinkedList<Expression> es)
           
 Expression Equation.getExpr()
           
 Expression Equation.getInit()
           
 Expression BinOpExpression.padDelay(HashMap<String,Integer> delay, int n)
           
 Expression ConstExpression.padDelay(HashMap<String,Integer> delay, int n)
           
abstract  Expression Expression.padDelay(HashMap<String,Integer> delay, int n)
          add additional pre operators, to use all variables with the right tick.
 Expression IfExpression.padDelay(HashMap<String,Integer> delay, int n)
           
 Expression NotExpression.padDelay(HashMap<String,Integer> delay, int n)
           
 Expression VarAccessExpression.padDelay(HashMap<String,Integer> delay, int n)
           
 Expression BinOpExpression.replace(String var, Expression expr)
           
 Expression ConstExpression.replace(String var, Expression expr)
           
abstract  Expression Expression.replace(String var, Expression expr)
          Replace each occurrence of a variable by an expression.
 Expression IfExpression.replace(String var, Expression expr)
           
 Expression NotExpression.replace(String var, Expression e)
           
 Expression VarAccessExpression.replace(String variable, Expression expr)
           
 Expression BinOpExpression.staticEval()
           
 Expression ConstExpression.staticEval()
           
abstract  Expression Expression.staticEval()
          Perform static evaluation, remove operations on constant values by the result of the operation.
 Expression IfExpression.staticEval()
           
 Expression NotExpression.staticEval()
           
 Expression VarAccessExpression.staticEval()
           
 

Methods in de.cau.cs.kieler.krep.compiler.ceq with parameters of type Expression
 void ScadeProgram.addEq(String s, Expression e)
           
 Expression BinOpExpression.replace(String var, Expression expr)
           
 Expression ConstExpression.replace(String var, Expression expr)
           
abstract  Expression Expression.replace(String var, Expression expr)
          Replace each occurrence of a variable by an expression.
 Expression IfExpression.replace(String var, Expression expr)
           
 Expression NotExpression.replace(String var, Expression e)
           
 Expression VarAccessExpression.replace(String variable, Expression expr)
           
 void Equation.setExpr(Expression expr)
           
 void Equation.setInit(Expression init)
           
 

Method parameters in de.cau.cs.kieler.krep.compiler.ceq with type arguments of type Expression
 Expression BinOpExpression.flatten(String name, HashMap<String,Variable> vars, LinkedList<Expression> es)
           
 Expression ConstExpression.flatten(String name, HashMap<String,Variable> vars, LinkedList<Expression> es)
           
abstract  Expression Expression.flatten(String n, HashMap<String,Variable> vars, LinkedList<Expression> es)
          extract sub-expressions from operations.
 Expression IfExpression.flatten(String name, HashMap<String,Variable> vars, LinkedList<Expression> es)
           
 Expression NotExpression.flatten(String name, HashMap<String,Variable> vars, LinkedList<Expression> es)
           
 Expression VarAccessExpression.flatten(String name, HashMap<String,Variable> vars, LinkedList<Expression> es)
           
 

Constructors in de.cau.cs.kieler.krep.compiler.ceq with parameters of type Expression
BinOpExpression(String name, Expression expr1, Expression expr2, Operator operator, Program p)
          Generate binary operator.
Equation(String id, Expression expr)
          generate Equation without initializer which runs on the base clock.
Equation(String id, Expression i, Expression e, String clk)
          Construct a new clocked equation.
IfExpression(String name, Expression e1, Expression e2, Expression e3, Program p)
          Generate new expression if e1 then e2 else e3.
NotExpression(String name, Expression e, Program p)
           
Transition(Expression triggerExpr, String targetState)
           
 

Uses of Expression in de.cau.cs.kieler.krep.compiler.parser
 

Fields in de.cau.cs.kieler.krep.compiler.parser declared as Expression
 Expression scadeParser.emission_body_return.expr
           
 

Methods in de.cau.cs.kieler.krep.compiler.parser that return Expression
 Expression scadeParser.atom()
           
 Expression scadeParser.bool_atom()
           
 Expression scadeParser.expr()
           
 Expression scadeParser.id_expr()