Uses of Class
de.cau.cs.kieler.krep.compiler.util.Type

Packages that use Type
de.cau.cs.kieler.krep.compiler.ceq Implementation of clocked equations. 
de.cau.cs.kieler.krep.compiler.klp Klp instructions. 
de.cau.cs.kieler.krep.compiler.lustre Implementation of arbitrary Lustre equations. 
de.cau.cs.kieler.krep.compiler.parser   
de.cau.cs.kieler.krep.compiler.util   
 

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

Methods in de.cau.cs.kieler.krep.compiler.ceq that return Type
 Type BinOpExpression.getType()
           
 Type ConstExpression.getType()
           
 Type Equation.getType()
           
abstract  Type Expression.getType()
          Return the inferred type of the expression.
 Type IfExpression.getType()
           
 Type NotExpression.getType()
           
 Type VarAccessExpression.getType()
           
 Type Variable.getType()
           
 

Methods in de.cau.cs.kieler.krep.compiler.ceq with parameters of type Type
 void ScadeProgram.addInput(String s, Type t)
           
 Variable Program.getTemp(String prefix, Type type)
           
 Variable Expression.getVar(String n, Variable.Kind k, Type t)
          Generate new, unique variable.
 Variable Program.getVar(String n, Variable.Kind kind, Type type)
          Generate new, unique variable.
 

Constructors in de.cau.cs.kieler.krep.compiler.ceq with parameters of type Type
Variable(String n, Variable.Kind kind, Type t)
          generate new Variable declaration.
 

Uses of Type in de.cau.cs.kieler.krep.compiler.klp
 

Methods in de.cau.cs.kieler.krep.compiler.klp that return Type
 Type RegAccess.getType()
           
 

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

Methods in de.cau.cs.kieler.krep.compiler.lustre that return Type
 Type Expression.getType()
           
 Type Variable.getType()
           
 

Methods in de.cau.cs.kieler.krep.compiler.lustre with parameters of type Type
static Variable Variable.getTemp(String prefix, Type type, String clock)
           
protected  void Expression.setType(Type t)
           
 

Constructors in de.cau.cs.kieler.krep.compiler.lustre with parameters of type Type
Variable(String n, Type t)
           
Variable(String n, Type t, String clk)
           
 

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

Fields in de.cau.cs.kieler.krep.compiler.parser declared as Type
 Type scadeParser.var_decls_return.type
           
 

Methods in de.cau.cs.kieler.krep.compiler.parser that return Type
 Type lustreParser.predefinedType()
           
 Type scadeParser.type_expr()
           
 Type lustreParser.type()
           
 

Uses of Type in de.cau.cs.kieler.krep.compiler.util
 

Methods in de.cau.cs.kieler.krep.compiler.util that return Type
static Type Type.valueOf(String name)
          Returns the enum constant of this type with the specified name.
static Type[] Type.values()
          Returns an array containing the constants of this enum type, in the order they are declared.