fabric.types
Class FabricDynamicPrincipal_c

java.lang.Object
  extended by DynamicPrincipal_c
      extended by fabric.types.FabricDynamicPrincipal_c

public class FabricDynamicPrincipal_c
extends DynamicPrincipal_c


Constructor Summary
FabricDynamicPrincipal_c(AccessPath path, JifTypeSystem ts, Position pos, PrincipalToJavaExpr toJava)
           
 
Method Summary
 boolean equalsImpl(TypeObject o)
           
 PathMap labelCheck(JifContext A, LabelChecker lc)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

FabricDynamicPrincipal_c

public FabricDynamicPrincipal_c(AccessPath path,
                                JifTypeSystem ts,
                                Position pos,
                                PrincipalToJavaExpr toJava)
Method Detail

equalsImpl

public boolean equalsImpl(TypeObject o)

labelCheck

public PathMap labelCheck(JifContext A,
                          LabelChecker lc)