jltools.ext.jif.extension
Class JifDoExt

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

All Implemented Interfaces:

java.lang.Cloneable, Copy, Ext, Jif

public class JifDoExt

extends JifStmtExt

The Jif extension of the Do node.

See Also:

Do

Constructor Summary

JifDoExt()

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

JifDoExt

public JifDoExt()

Method Detail

labelCheckStmt

public Node labelCheckStmt(LabelChecker lc)
                    throws SemanticException

Overrides:

labelCheckStmt in class JifStmtExt