jif.extension
Interface JifStmtExt

All Superinterfaces:

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

All Known Implementing Classes:

JifBlockExt, JifBranchExt, JifCaseExt, JifCheckedEndorseStmtExt, JifConstructorCallExt, JifDeclassifyStmtExt, JifDoExt, JifDowngradeStmtExt, JifEmptyExt, JifEndorseStmtExt, JifEvalExt, JifForExt, JifIfExt, JifLabeledExt, JifLocalDeclExt, JifReturnExt, JifStmtExt_c, JifSwitchExt, JifSynchronizedExt, JifThrowExt, JifTryExt, JifWhileExt

public interface JifStmtExt
extends polyglot.ast.Ext

The root of all kinds of Jif extensions for statements. It provides a generic labelCheck method, which will invoke the labelCheckStmt methods provided by the subclasses of this class.

Method Summary

polyglot.ast.Node	labelCheckStmt(LabelChecker lc)
JifStmtExt	stmtDel()
JifStmtExt	stmtDel(JifStmtExt stmtDel)

Methods inherited from interface polyglot.ast.Ext

dump, ext, ext, init, node

Methods inherited from interface polyglot.util.Copy

copy

Method Detail

stmtDel

JifStmtExt stmtDel()

stmtDel

JifStmtExt stmtDel(JifStmtExt stmtDel)

labelCheckStmt

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

Throws:

polyglot.types.SemanticException