fabric.extension
Class LocatedExt_c

java.lang.Object
  extended by Ext_c
      extended by fabric.extension.NodeExt_c
          extended by 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


Field Summary
protected  Expr location
           
protected  Principal storePrincipal
           
 
Constructor Summary
LocatedExt_c()
           
 
Method Summary
 void dump(CodeWriter w)
           
 void labelCheck(LabelChecker lc, Label objectLabel)
          Checks that the location is compatible with the objectLabel.
 Expr location()
           
 LocatedExt_c location(Expr 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)

labelCheck

public void labelCheck(LabelChecker lc,
                       Label objectLabel)
                throws SemanticException
Checks that the location is compatible with the objectLabel.

Parameters:
lc -
objectLabel -
Throws:
SemanticException