|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use TypeException | |
---|---|
de.cau.cs.kieler.krep.compiler.ceq | Implementation of clocked equations. |
de.cau.cs.kieler.krep.compiler.lustre | Implementation of arbitrary Lustre equations. |
Uses of TypeException in de.cau.cs.kieler.krep.compiler.ceq |
---|
Constructors in de.cau.cs.kieler.krep.compiler.ceq that throw TypeException | |
---|---|
ScadeProgram(InputStream in)
parse input stream which is expected to be a Scade textual file. |
Uses of TypeException in de.cau.cs.kieler.krep.compiler.lustre |
---|
Methods in de.cau.cs.kieler.krep.compiler.lustre that throw TypeException | |
---|---|
protected void |
BinOpExpression.inferType()
|
protected void |
CurrentExpression.inferType()
|
protected abstract void |
Expression.inferType()
compute types and set type member recursively in all sub-expressions. |
protected void |
IfExpression.inferType()
|
protected void |
InitExpression.inferType()
|
protected void |
NotExpression.inferType()
|
protected void |
NumberExpression.inferType()
|
protected void |
PreExpression.inferType()
|
protected void |
VarAccessExpression.inferType()
|
protected void |
WhenExpression.inferType()
|
Constructors in de.cau.cs.kieler.krep.compiler.lustre that throw TypeException | |
---|---|
Lustre(InputStream in)
parse input stream which is expected to be a Lustre file. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |