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