fabric.types
Class FabricSubstClassType_c

java.lang.Object
  extended by JifSubstClassType_c
      extended by fabric.types.FabricSubstClassType_c
All Implemented Interfaces:
FabricClassType, FabricSubstType

public class FabricSubstClassType_c
extends JifSubstClassType_c
implements FabricSubstType


Constructor Summary
FabricSubstClassType_c(JifTypeSystem ts, Position pos, ClassType base, JifSubst subst)
           
 
Method Summary
 Label defaultFabilFieldLabel()
          Same behavior as above, except change the field labels of Principal classes, so that they don't mention 'this'
 Label defaultFieldLabel()
          Return the label associated with this class' fields, or null if this class has no fields.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

FabricSubstClassType_c

public FabricSubstClassType_c(JifTypeSystem ts,
                              Position pos,
                              ClassType base,
                              JifSubst subst)
Method Detail

defaultFieldLabel

public Label defaultFieldLabel()
Description copied from interface: FabricClassType
Return the label associated with this class' fields, or null if this class has no fields.

Specified by:
defaultFieldLabel in interface FabricClassType
Specified by:
defaultFieldLabel in interface FabricSubstType

defaultFabilFieldLabel

public Label defaultFabilFieldLabel()
Description copied from interface: FabricClassType
Same behavior as above, except change the field labels of Principal classes, so that they don't mention 'this'

Specified by:
defaultFabilFieldLabel in interface FabricClassType