jltools.ext.jif.extension
Class JifForExt

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

All Implemented Interfaces:

java.lang.Cloneable, Copy, Ext, Jif

public class JifForExt

extends JifStmtExt

The Jif extension of the For node.

See Also:

For

Constructor Summary

JifForExt()

Method Summary

Node	labelCheckStmt(LabelChecker lc)

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

JifForExt

public JifForExt()

Method Detail

labelCheckStmt

public Node labelCheckStmt(LabelChecker lc)
                    throws SemanticException

Overrides:

labelCheckStmt in class JifStmtExt