fabric.types
Class FabricDynamicPrincipal_c

java.lang.Object
  DynamicPrincipal_c
      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)