Class JifSwitchExt

  extended by polyglot.ast.Ext_c
      extended by jif.ast.Jif_c
          extended by jif.extension.JifStmtExt_c
              extended by jif.extension.JifSwitchExt
All Implemented Interfaces:
java.lang.Cloneable, Jif, JifStmtExt, polyglot.ast.Ext, polyglot.util.Copy

public class JifSwitchExt
extends JifStmtExt_c

Jif extension of the Switch node.

See Also:

Field Summary
Fields inherited from class jif.extension.JifStmtExt_c
Fields inherited from class jif.ast.Jif_c
toJava, X
Fields inherited from class polyglot.ast.Ext_c
ext, node
Constructor Summary
JifSwitchExt(ToJavaExt toJava)
Method Summary
 polyglot.ast.Node labelCheckStmt(LabelChecker lc)
          Label check the switch statement.
Methods inherited from class jif.extension.JifStmtExt_c
copy, init, labelCheck, stmtDel, stmtDel
Methods inherited from class jif.ast.Jif_c
checkAndRemoveThrowType, checkThrowTypes, getPathMap, integerBoundsCalculated, toJava, toJava, updatePathMap, X, X
Methods inherited from class polyglot.ast.Ext_c
dump, ext, ext, node, toString
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
Methods inherited from interface polyglot.ast.Ext
dump, ext, ext, node

Constructor Detail


public JifSwitchExt(ToJavaExt toJava)
Method Detail


public polyglot.ast.Node labelCheckStmt(LabelChecker lc)
                                 throws polyglot.types.SemanticException
Label check the switch statement. PC(branch i) = X(branch 0).N + ... + X(branch i-1).N

Specified by:
labelCheckStmt in interface JifStmtExt
Specified by:
labelCheckStmt in class JifStmtExt_c