fabil.visit
Class PrincipalDelegator

java.lang.Object
  extended by NodeVisitor
      extended by fabil.visit.PrincipalDelegator

public class PrincipalDelegator
extends NodeVisitor

Rewrites Principal constructor calls to add default delegations.


Field Summary
protected  ClassType delegatingPrincipal
           
protected  FabILNodeFactory nf
           
protected  QQ qq
           
protected  FabILTypeSystem ts
           
 
Constructor Summary
PrincipalDelegator(ExtensionInfo extInfo)
           
 
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
 

Field Detail

ts

protected FabILTypeSystem ts

nf

protected FabILNodeFactory nf

qq

protected QQ qq

delegatingPrincipal

protected final ClassType delegatingPrincipal
Constructor Detail

PrincipalDelegator

public PrincipalDelegator(ExtensionInfo extInfo)
Method Detail

leave

public Node leave(Node old,
                  Node n,
                  NodeVisitor v)