|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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()
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |