fabric.visit

Class CoercePrincipals

java.lang.Object

AscriptionVisitor

fabric.visit.CoercePrincipals

public class CoercePrincipals
extends AscriptionVisitor

Constructor Summary

Constructors

Constructor and Description
CoercePrincipals(Job job, TypeSystem ts, NodeFactory nf)

Method Summary

Modifier and Type	Method and Description
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

CoercePrincipals

public CoercePrincipals(Job job,
                        TypeSystem ts,
                        NodeFactory nf)

Method Detail

ascribe

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

Throws:

SemanticException