com.veromodo.tempo.sem
Class CheckExprInfer

java.lang.Object
  extended by com.veromodo.tempo.sem.CheckExpr
      extended by com.veromodo.tempo.sem.CheckExprInfer

public class CheckExprInfer
extends CheckExpr


Constructor Summary
CheckExprInfer(Environment e, ISymbolAdder sa)
           
 
Method Summary
 void analyze(ASTExpr n, SetOfType context)
           
 
Methods inherited from class com.veromodo.tempo.sem.CheckExpr
analyze, analyze
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

CheckExprInfer

public CheckExprInfer(Environment e,
                      ISymbolAdder sa)
Method Detail

analyze

public void analyze(ASTExpr n,
                    SetOfType context)
Overrides:
analyze in class CheckExpr