fabric.types
Class FabricSubstClassType_c

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