fabric.extension

Class LocatedExt_c

java.lang.Object

Ext_c

fabric.extension.NodeExt_c

fabric.extension.LocatedExt_c

All Implemented Interfaces:

FabricExt

Direct Known Subclasses:

NewExt_c, NewFabricArrayExt_c, NewLabelExt_c, PrincipalExprExt_c

public abstract class LocatedExt_c
extends NodeExt_c
implements FabricExt

A located expressions is any allocation that may be assigned a location. This includes Fabric classes, arrays, labels, and principals. The default location of a located expression is the location of the enclosing instance. In static or non-Fabric contexts, a location must always be specified.

Field Summary

Fields

Modifier and Type	Field and Description
protected Expr	location
protected Principal	storePrincipal

Constructor Summary

Constructors

Constructor and Description
LocatedExt_c()

Method Summary

Modifier and Type	Method and Description
void	dump(CodeWriter w)
void	labelCheck(LabelChecker lc, Label objectLabel, Label accessLabel, Label referenceLabel) Checks that the location is compatible with the objectLabel and accessLabel
Expr	location()
LocatedExt_c	location(Expr location)
protected abstract 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.
Principal	storePrincipal()
LocatedExt_c	storePrincipal(Principal p)

Methods inherited from class java.lang.Object

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

Field Detail

location

protected Expr location

storePrincipal

protected Principal storePrincipal

Constructor Detail

LocatedExt_c

public LocatedExt_c()

Method Detail

location

public Expr location()

location

public LocatedExt_c location(Expr location)

storePrincipal

public Principal storePrincipal()

storePrincipal

public LocatedExt_c storePrincipal(Principal p)

dump

public void dump(CodeWriter w)

referenceLabel

protected abstract Label referenceLabel(FabricContext ctx)

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.

requiresLocation

protected boolean requiresLocation(FabricTypeSystem ts)

Returns true if this located expression requires a location.

Parameters:

ts -

Returns:

labelCheck

public void labelCheck(LabelChecker lc,
                       Label objectLabel,
                       Label accessLabel,
                       Label referenceLabel)
                throws SemanticException

Checks that the location is compatible with the objectLabel and accessLabel

Parameters:

lc -

objectLabel -

accessLabel -

Throws:

SemanticException