fabric.extension

Class NewExt_c

java.lang.Object

Ext_c

fabric.extension.NodeExt_c

fabric.extension.LocatedExt_c

fabric.extension.NewExt_c

All Implemented Interfaces:

FabricExt

public class NewExt_c
extends LocatedExt_c
implements FabricExt

Field Summary

Fields inherited from class fabric.extension.LocatedExt_c

location, storePrincipal

Constructor Summary

Constructors

Constructor and Description
NewExt_c()

Method Summary

Modifier and Type	Method and Description
protected Label	referenceLabel(FabricContext ctx) Returns a precise bound on the label of the reference of the allocated object.
protected boolean	requiresLocation(FabricTypeSystem ts) Returns true if this located expression requires a location.

Methods inherited from class fabric.extension.LocatedExt_c

dump, labelCheck, location, location, storePrincipal, storePrincipal

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

NewExt_c

public NewExt_c()

Method Detail

requiresLocation

protected boolean requiresLocation(FabricTypeSystem ts)

Description copied from class: LocatedExt_c

Returns true if this located expression requires a location.

Overrides:

requiresLocation in class LocatedExt_c

Returns:

referenceLabel

protected Label referenceLabel(FabricContext ctx)

Description copied from class: LocatedExt_c

Returns a precise bound on the label of the reference of the allocated object. Can only be called during label checking of a constructor call.

Specified by:

referenceLabel in class LocatedExt_c