Uses of Class
de.cau.cs.kieler.krep.compiler.exceptions.TypeException

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.