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

Packages that use Expression
de.cau.cs.kieler.krep.compiler.exceptions Exceptions that are thrown by the compiler. 
de.cau.cs.kieler.krep.compiler.lustre Implementation of arbitrary Lustre equations. 
de.cau.cs.kieler.krep.compiler.parser   
 

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

Constructors in de.cau.cs.kieler.krep.compiler.exceptions with parameters of type Expression
ClockException(Expression ctxt, ClockList expc, ClockList act)
           
TypeException(Expression ctxt, String expct, String act)
           
 

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

Subclasses of Expression in de.cau.cs.kieler.krep.compiler.lustre
 class BinOpExpression
          Lustre binary expression this excludes when and ->.
 class CurrentExpression
          Lustre clock operator current.
 class IfExpression
          Lustre "if" Expression.
 class InitExpression
          Initialization of Lustre flows.
 class NotExpression
          Lustre "not" operator.
 class NumberExpression
          Integer constant in a Lustre program.
 class PreExpression
          Lustre previous expression.
 class VarAccessExpression
          Implement the possible immediate access to a Lustre variable.
 class WhenExpression
          Implementation of the when operator.
 

Methods in de.cau.cs.kieler.krep.compiler.lustre that return Expression
 Expression BinOpExpression.extractPre(HashMap<String,Expression> eqs)
           
 Expression CurrentExpression.extractPre(HashMap<String,Expression> eqs)
           
abstract  Expression Expression.extractPre(HashMap<String,Expression> eqs)
           
 Expression IfExpression.extractPre(HashMap<String,Expression> eqs)
           
 Expression InitExpression.extractPre(HashMap<String,Expression> eqs)
           
 Expression NotExpression.extractPre(HashMap<String,Expression> eqs)
           
 Expression NumberExpression.extractPre(HashMap<String,Expression> eqs)
           
 Expression PreExpression.extractPre(HashMap<String,Expression> eqs)
           
 Expression VarAccessExpression.extractPre(HashMap<String,Expression> eqs)
           
 Expression WhenExpression.extractPre(HashMap<String,Expression> eqs)
           
 Expression WhenExpression.getExpression()
           
 Expression Expression.getInit()
           
 Expression BinOpExpression.liftClock()
           
 Expression CurrentExpression.liftClock()
           
abstract  Expression Expression.liftClock()
           
 Expression IfExpression.liftClock()
           
 Expression InitExpression.liftClock()
           
 Expression NotExpression.liftClock()
           
 Expression NumberExpression.liftClock()
           
 Expression PreExpression.liftClock()
           
 Expression VarAccessExpression.liftClock()
           
 Expression WhenExpression.liftClock()
           
 Expression BinOpExpression.propagatePre(HashMap<String,Expression> eqs)
           
 Expression CurrentExpression.propagatePre(HashMap<String,Expression> eqs)
           
abstract  Expression Expression.propagatePre(HashMap<String,Expression> eqs)
          make sure only simple variables are inside of pre operators.
 Expression IfExpression.propagatePre(HashMap<String,Expression> eqs)
           
 Expression InitExpression.propagatePre(HashMap<String,Expression> eqs)
           
 Expression NotExpression.propagatePre(HashMap<String,Expression> eqs)
           
 Expression NumberExpression.propagatePre(HashMap<String,Expression> eqs)
           
 Expression PreExpression.propagatePre(HashMap<String,Expression> eqs)
           
 Expression VarAccessExpression.propagatePre(HashMap<String,Expression> eqs)
           
 Expression WhenExpression.propagatePre(HashMap<String,Expression> eqs)
           
 

Methods in de.cau.cs.kieler.krep.compiler.lustre with parameters of type Expression
 void Lustre.addEq(String s, Expression e)
           
 void WhenExpression.setExpression(Expression e)
           
 void Expression.setInit(Expression e)
           
 

Method parameters in de.cau.cs.kieler.krep.compiler.lustre with type arguments of type Expression
 Expression BinOpExpression.extractPre(HashMap<String,Expression> eqs)
           
 Expression CurrentExpression.extractPre(HashMap<String,Expression> eqs)
           
abstract  Expression Expression.extractPre(HashMap<String,Expression> eqs)
           
 Expression IfExpression.extractPre(HashMap<String,Expression> eqs)
           
 Expression InitExpression.extractPre(HashMap<String,Expression> eqs)
           
 Expression NotExpression.extractPre(HashMap<String,Expression> eqs)
           
 Expression NumberExpression.extractPre(HashMap<String,Expression> eqs)
           
 Expression PreExpression.extractPre(HashMap<String,Expression> eqs)
           
 Expression VarAccessExpression.extractPre(HashMap<String,Expression> eqs)
           
 Expression WhenExpression.extractPre(HashMap<String,Expression> eqs)
           
 Expression BinOpExpression.propagatePre(HashMap<String,Expression> eqs)
           
 Expression CurrentExpression.propagatePre(HashMap<String,Expression> eqs)
           
abstract  Expression Expression.propagatePre(HashMap<String,Expression> eqs)
          make sure only simple variables are inside of pre operators.
 Expression IfExpression.propagatePre(HashMap<String,Expression> eqs)
           
 Expression InitExpression.propagatePre(HashMap<String,Expression> eqs)
           
 Expression NotExpression.propagatePre(HashMap<String,Expression> eqs)
           
 Expression NumberExpression.propagatePre(HashMap<String,Expression> eqs)
           
 Expression PreExpression.propagatePre(HashMap<String,Expression> eqs)
           
 Expression VarAccessExpression.propagatePre(HashMap<String,Expression> eqs)
           
 Expression WhenExpression.propagatePre(HashMap<String,Expression> eqs)
           
 

Constructors in de.cau.cs.kieler.krep.compiler.lustre with parameters of type Expression
BinOpExpression(String name, Expression e1, Expression e2, Operator op)
          generate new binary operation.
CurrentExpression(String name, Expression e)
           
IfExpression(String name, Expression e1, Expression e2, Expression e3)
           
InitExpression(String name, Expression e1, Expression e2)
          generate new initial operation.
NotExpression(String name, Expression e)
           
PreExpression(String name, Expression e)
           
WhenExpression(String name, Expression e, VarAccessExpression c)
          generate new when operator.
 

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

Methods in de.cau.cs.kieler.krep.compiler.parser that return Expression
 Expression lustreParser.expression(String name)
           
 Expression lustreParser.rbinop(String name, Expression e1)
           
 

Methods in de.cau.cs.kieler.krep.compiler.parser with parameters of type Expression
 Expression lustreParser.rbinop(String name, Expression e1)