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
public abstract class LocatedExt_c
- extends NodeExt_c
- implements FabricExt
This class provides common functionality to the New and NewArray for managing
a location field
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
location
protected Expr location
storePrincipal
protected Principal storePrincipal
LocatedExt_c
public LocatedExt_c()
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)
labelCheck
public void labelCheck(LabelChecker lc,
Label objectLabel)
throws SemanticException
- Checks that the location is compatible with the
objectLabel
.
- Parameters:
lc
- objectLabel
-
- Throws:
SemanticException