com.veromodo.tempo.sem
Class CheckExpr

java.lang.Object
  extended by com.veromodo.tempo.sem.CheckExpr
Direct Known Subclasses:
CheckExprInfer

public class CheckExpr
extends java.lang.Object


Constructor Summary
CheckExpr(Environment e)
           
 
Method Summary
 void analyze(ASTExpr n)
           
 void analyze(ASTExpr n, SetOfType context)
           
 void analyze(ASTExpr n, Type candidate)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

CheckExpr

public CheckExpr(Environment e)
Method Detail

analyze

public void analyze(ASTExpr n)

analyze

public void analyze(ASTExpr n,
                    Type candidate)

analyze

public void analyze(ASTExpr n,
                    SetOfType context)