fabric.visit
Class PrincipalCastAdder

java.lang.Object
  extended by AscriptionVisitor
      extended by fabric.visit.PrincipalCastAdder

public class PrincipalCastAdder
extends AscriptionVisitor


Constructor Summary
PrincipalCastAdder(Job job, TypeSystem ts, NodeFactory nf)
           
 
Method Summary
 Expr ascribe(Expr e, Type toType)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

PrincipalCastAdder

public PrincipalCastAdder(Job job,
                          TypeSystem ts,
                          NodeFactory nf)
Method Detail

ascribe

public Expr ascribe(Expr e,
                    Type toType)
             throws SemanticException
Throws:
SemanticException