jif.extension
Class JifConstructorCallExt

java.lang.Object
  polyglot.ast.Ext_c
      jif.ast.Jif_c
          jif.extension.JifStmtExt_c
              jif.extension.JifConstructorCallExt

All Implemented Interfaces:

java.lang.Cloneable, Jif, JifStmtExt, polyglot.ast.Ext, polyglot.util.Copy

public class JifConstructorCallExt
extends JifStmtExt_c

The Jif extension of the ConstructorCall node.

See Also:

ConstructorCall

Field Summary

protected ConstructorChecker

constructorChecker

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

JifConstructorCallExt(ToJavaExt toJava)

Method Summary

polyglot.ast.Node

labelCheckStmt(LabelChecker lc)

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

Field Detail

constructorChecker

protected ConstructorChecker constructorChecker

Constructor Detail

JifConstructorCallExt

public JifConstructorCallExt(ToJavaExt toJava)

Method Detail

labelCheckStmt

public polyglot.ast.Node labelCheckStmt(LabelChecker lc)
                                 throws polyglot.types.SemanticException

Specified by:

labelCheckStmt in interface JifStmtExt

Specified by:

labelCheckStmt in class JifStmtExt_c

Throws:

polyglot.types.SemanticException