jif.ast

Class DowngradeStmt_c

java.lang.Object

polyglot.ast.Node_c

polyglot.ast.Term_c

polyglot.ast.Stmt_c

jif.ast.DowngradeStmt_c

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, DowngradeStmt, polyglot.ast.CompoundStmt, polyglot.ast.Node, polyglot.ast.NodeOps, polyglot.ast.Stmt, polyglot.ast.Term, polyglot.ast.TermOps, polyglot.util.Copy<polyglot.ast.Node>

Direct Known Subclasses:

DeclassifyStmt_c, EndorseStmt_c

public abstract class DowngradeStmt_c
extends polyglot.ast.Stmt_c
implements DowngradeStmt

An implementation of the DowngradeStmt interface.

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from interface polyglot.ast.Term

polyglot.ast.Term.Instance

Nested classes/interfaces inherited from interface polyglot.util.Copy

polyglot.util.Copy.Util

Field Summary

Fields

Modifier and Type	Field and Description
protected polyglot.ast.Stmt	body
protected LabelNode	bound
protected LabelNode	label

Fields inherited from class polyglot.ast.Term_c

exceptions, reachable

Fields inherited from class polyglot.ast.Node_c

del, error, ext, position

Fields inherited from interface polyglot.ast.Term

ENTRY, EXIT

Constructor Summary

Constructors

Constructor and Description
DowngradeStmt_c(polyglot.util.Position pos, LabelNode bound, LabelNode label, polyglot.ast.Stmt body) Deprecated.
DowngradeStmt_c(polyglot.util.Position pos, LabelNode bound, LabelNode label, polyglot.ast.Stmt body, polyglot.ast.Ext ext)

Method Summary

Modifier and Type	Method and Description
<T> java.util.List<T>	acceptCFG(polyglot.visit.CFGBuilder<?> v, java.util.List<T> succs)
polyglot.ast.Stmt	body()
protected <N extends DowngradeStmt_c> N	body(N n, polyglot.ast.Stmt body)
DowngradeStmt	body(polyglot.ast.Stmt body)
LabelNode	bound()
DowngradeStmt	bound(LabelNode b)
protected <N extends DowngradeStmt_c> N	bound(N n, LabelNode bound)
abstract java.lang.String	downgradeKind()
polyglot.ast.Term	firstChild()
LabelNode	label()
DowngradeStmt	label(LabelNode label)
protected <N extends DowngradeStmt_c> N	label(N n, LabelNode label)
void	prettyPrint(polyglot.util.CodeWriter w, polyglot.visit.PrettyPrinter tr)
protected <N extends DowngradeStmt_c> N	reconstruct(N n, LabelNode bound, LabelNode label, polyglot.ast.Stmt body)
java.lang.String	toString()
void	translate(polyglot.util.CodeWriter w, polyglot.visit.Translator tr)
polyglot.ast.Node	visitChildren(polyglot.visit.NodeVisitor v)

Methods inherited from class polyglot.ast.Term_c

exceptionCheck, exceptions, exceptions, exceptions, extRewrite, listChild, reachable, reachable, reachable

Methods inherited from class polyglot.ast.Node_c

addDecls, buildTypes, buildTypesEnter, checkConstants, childExpectedType, copy, copy, copy, copyIfNeeded, del, del, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, dump, enterChildScope, enterScope, error, error, error, exceptionCheckEnter, ext, ext, ext, ext, extRewriteEnter, extRewriteOverride, isDisambiguated, isTypeChecked, lang, position, position, position, prettyPrint, prettyPrint, prettyPrint, prettyPrint, print, printBlock, printSubStmt, throwTypes, typeCheck, typeCheckEnter, typeCheckOverride, visit, visitChild, visitEdge, visitList

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface polyglot.ast.Term

exceptions, exceptions, reachable, reachable

Methods inherited from interface polyglot.ast.Node

del, del, dump, error, error, ext, ext, ext, ext, isDisambiguated, isTypeChecked, position, position, visit, visitEdge

Methods inherited from interface polyglot.ast.NodeOps

addDecls, buildTypes, buildTypesEnter, checkConstants, childExpectedType, copy, copy, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckEnter, extRewrite, extRewriteEnter, extRewriteOverride, lang, prettyPrint, prettyPrint, prettyPrint, prettyPrint, throwTypes, typeCheck, typeCheckEnter, typeCheckOverride, visitChild, visitList

Methods inherited from interface polyglot.util.Copy

copy

Field Detail

bound

protected LabelNode bound

label

protected LabelNode label

body

protected polyglot.ast.Stmt body

Constructor Detail

DowngradeStmt_c

@Deprecated
public DowngradeStmt_c(polyglot.util.Position pos,
                                   LabelNode bound,
                                   LabelNode label,
                                   polyglot.ast.Stmt body)

Deprecated.

DowngradeStmt_c

public DowngradeStmt_c(polyglot.util.Position pos,
                       LabelNode bound,
                       LabelNode label,
                       polyglot.ast.Stmt body,
                       polyglot.ast.Ext ext)

Method Detail

label

public LabelNode label()

Specified by:

label in interface DowngradeStmt

label

public DowngradeStmt label(LabelNode label)

Specified by:

label in interface DowngradeStmt

label

protected <N extends DowngradeStmt_c> N label(N n,
                                              LabelNode label)

bound

public LabelNode bound()

Specified by:

bound in interface DowngradeStmt

bound

public DowngradeStmt bound(LabelNode b)

Specified by:

bound in interface DowngradeStmt

bound

protected <N extends DowngradeStmt_c> N bound(N n,
                                              LabelNode bound)

body

public polyglot.ast.Stmt body()

Specified by:

body in interface DowngradeStmt

body

public DowngradeStmt body(polyglot.ast.Stmt body)

Specified by:

body in interface DowngradeStmt

body

protected <N extends DowngradeStmt_c> N body(N n,
                                             polyglot.ast.Stmt body)

reconstruct

protected <N extends DowngradeStmt_c> N reconstruct(N n,
                                                    LabelNode bound,
                                                    LabelNode label,
                                                    polyglot.ast.Stmt body)

visitChildren

public polyglot.ast.Node visitChildren(polyglot.visit.NodeVisitor v)

Specified by:

visitChildren in interface polyglot.ast.NodeOps

Overrides:

visitChildren in class polyglot.ast.Node_c

firstChild

public polyglot.ast.Term firstChild()

Specified by:

firstChild in interface polyglot.ast.TermOps

Specified by:

firstChild in class polyglot.ast.Term_c

acceptCFG

public <T> java.util.List<T> acceptCFG(polyglot.visit.CFGBuilder<?> v,
                                       java.util.List<T> succs)

Specified by:

acceptCFG in interface polyglot.ast.TermOps

Specified by:

acceptCFG in class polyglot.ast.Term_c

toString

public java.lang.String toString()

Overrides:

toString in class polyglot.ast.Node_c

prettyPrint

public void prettyPrint(polyglot.util.CodeWriter w,
                        polyglot.visit.PrettyPrinter tr)

Specified by:

prettyPrint in interface polyglot.ast.NodeOps

Overrides:

prettyPrint in class polyglot.ast.Node_c

downgradeKind

public abstract java.lang.String downgradeKind()

Specified by:

downgradeKind in interface DowngradeStmt

Returns:

Name of the kind of downgrade, e.g. "declassify" or "endorse"

translate

public void translate(polyglot.util.CodeWriter w,
                      polyglot.visit.Translator tr)

Specified by:

translate in interface polyglot.ast.NodeOps

Overrides:

translate in class polyglot.ast.Node_c