jif.extension
Class JifSwitchExt

java.lang.Object
  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:
Switch

Field Summary
 
Fields inherited from class jif.extension.JifStmtExt_c
stmtDel
 
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

JifSwitchExt

public JifSwitchExt(ToJavaExt toJava)
Method Detail

labelCheckStmt

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
Throws:
polyglot.types.SemanticException