jltools.ext.jif.extension
Class JifSwitchExt

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

All Implemented Interfaces:

java.lang.Cloneable, Copy, Ext, Jif

public class JifSwitchExt

extends JifStmtExt

Jif extension of the Switch node.

See Also:

Switch

Constructor Summary

JifSwitchExt()

Method Summary

Node	labelCheckStmt(LabelChecker lc) Label check the switch 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

JifSwitchExt

public JifSwitchExt()

Method Detail

labelCheckStmt

public Node labelCheckStmt(LabelChecker lc)
                    throws SemanticException

Label check the switch statement. PC(branch i) = X(branch 0).N + ... + X(branch i-1).N

Overrides:

labelCheckStmt in class JifStmtExt