jif.extension
Class JifDeclassifyStmtExt

java.lang.Object
  |
  +--polyglot.ext.jl.ast.Ext_c
        |
        +--jif.ast.Jif_c
              |
              +--jif.extension.JifStmtExt_c
                    |
                    +--jif.extension.JifDeclassifyStmtExt

All Implemented Interfaces:

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

public class JifDeclassifyStmtExt

extends JifStmtExt_c

The Jif extension of the DeclassifyStmt node.

See Also:

DeclassifyStmt

Field Summary

Fields inherited from class jif.extension.JifStmtExt_c

stmtDel

Fields inherited from class jif.ast.Jif_c

del, ph, toJava, X

Fields inherited from class polyglot.ext.jl.ast.Ext_c

ext, node

Constructor Summary

JifDeclassifyStmtExt(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

del, del, ph, ph, ph, ph, runtimeLabel_s, runtimeLabel, runtimePrincipal_s, toJava, toJava, X, X, X, X

Methods inherited from class polyglot.ext.jl.ast.Ext_c

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

ext, ext, node

Constructor Detail

JifDeclassifyStmtExt

public JifDeclassifyStmtExt(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

polyglot.types.SemanticException