fabil.visit
Class PrincipalDelegator
java.lang.Object
NodeVisitor
fabil.visit.PrincipalDelegator
public class PrincipalDelegator
- extends NodeVisitor
Rewrites Principal constructor calls to add default delegations.
Method Summary |
Node |
leave(Node old,
Node n,
NodeVisitor v)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ts
protected FabILTypeSystem ts
nf
protected FabILNodeFactory nf
qq
protected QQ qq
delegatingPrincipal
protected final ClassType delegatingPrincipal
PrincipalDelegator
public PrincipalDelegator(ExtensionInfo extInfo)
leave
public Node leave(Node old,
Node n,
NodeVisitor v)