jltools.ext.jif.extension
Class JifActsForExt

java.lang.Object
  |
  +--jltools.ext.jl.ast.Ext_c
        |
        +--jltools.ext.jif.ast.Jif_c
              |
              +--jltools.ext.jif.extension.JifStmtExt
                    |
                    +--jltools.ext.jif.extension.JifActsForExt

All Implemented Interfaces:

java.lang.Cloneable, Copy, Ext, Jif

public class JifActsForExt

extends JifStmtExt

The Jif extension of the ActsFor node.

Constructor Summary

JifActsForExt()

Method Summary

Node	labelCheckStmt(LabelChecker lc) Label check the actsFor statement.

Methods inherited from class jltools.ext.jif.extension.JifStmtExt

labelCheck

Methods inherited from class jltools.ext.jif.ast.Jif_c

ph, ph, runtimeLabel, X, X, X, X

Methods inherited from class jltools.ext.jl.ast.Ext_c

buildTypes, buildTypesOverride, copy, disambiguate, disambiguateOverride, disambiguateTypes, disambiguateTypesOverride, exceptionCheck, exceptionCheckOverride, foldConstants, foldConstantsOverride, init, node, reconstructTypes, toString, translate, typeCheck, typeCheckOverride

Methods inherited from class java.lang.Object

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

Methods inherited from interface jltools.ast.Ext

buildTypes, buildTypesOverride, copy, disambiguate, disambiguateOverride, disambiguateTypes, disambiguateTypesOverride, exceptionCheck, exceptionCheckOverride, foldConstants, foldConstantsOverride, init, reconstructTypes, translate, typeCheck, typeCheckOverride

Constructor Detail

JifActsForExt

public JifActsForExt()

Method Detail

labelCheckStmt

public Node labelCheckStmt(LabelChecker lc)
                    throws SemanticException

Label check the actsFor statement. Refer to Figure 4.25

Overrides:

labelCheckStmt in class JifStmtExt