Class JifSynchronizedExt

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

public class JifSynchronizedExt
extends JifStmtExt_c

Jif extension of the Synchronized 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
JifSynchronizedExt(ToJavaExt toJava)
Method Summary
 polyglot.ast.Node labelCheckStmt(LabelChecker lc)
          Label check the synchronized 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 JifSynchronizedExt(ToJavaExt toJava)
Method Detail


public polyglot.ast.Node labelCheckStmt(LabelChecker lc)
                                 throws polyglot.types.SemanticException
Label check the synchronized statement. Just lets the label checker visit its children.

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