jif.ast
Interface LabelIf

All Superinterfaces:

java.lang.Cloneable, polyglot.ast.CompoundStmt, polyglot.util.Copy, polyglot.ast.JL, polyglot.ast.Node, polyglot.ast.NodeOps, polyglot.ast.Stmt, polyglot.ast.Term

All Known Implementing Classes:

LabelIf_c

public interface LabelIf
extends polyglot.ast.CompoundStmt

An immutable representation of a Jif actsFor statement. Grammer: actsFor(actor, granter) statement [else statement]

Method Summary

polyglot.ast.Stmt	alternative() Gets the alternative statement.
LabelIf	alternative(polyglot.ast.Stmt alternative) Makes a copy of this node and sets the alternative statement of the copy.
polyglot.ast.Stmt	consequent() Gets the consequent statement.
LabelIf	consequent(polyglot.ast.Stmt consequent) Makes a copy of this node and sets the consequent statement of the copy.
LabelExpr	lhs() Gets the actor.
LabelIf	lhs(LabelExpr lhs) Makes a copy node and sets the lhs of the copy.
LabelExpr	rhs() Gets the rhs.
LabelIf	rhs(LabelExpr rhs) Makes a copy of this node and sets the rhs of the copy.

Methods inherited from interface polyglot.ast.Term

acceptCFG, entry, exceptions, exceptions, reachable, reachable

Methods inherited from interface polyglot.ast.Node

childExpectedType, del, del, dump, error, error, ext, ext, ext, ext, isDisambiguated, isTypeChecked, position, position, visit, visitChild, visitEdge, visitList

Methods inherited from interface polyglot.ast.JL

init, node

Methods inherited from interface polyglot.ast.NodeOps

addDecls, buildTypes, buildTypesEnter, checkConstants, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckEnter, prettyPrint, prettyPrint, prettyPrint, throwTypes, translate, typeCheck, typeCheckEnter, typeCheckOverride, visitChildren

Methods inherited from interface polyglot.util.Copy

copy

Method Detail

lhs

LabelExpr lhs()

Gets the actor.

lhs

LabelIf lhs(LabelExpr lhs)

Makes a copy node and sets the lhs of the copy.

rhs

LabelExpr rhs()

Gets the rhs.

rhs

LabelIf rhs(LabelExpr rhs)

Makes a copy of this node and sets the rhs of the copy.

consequent

polyglot.ast.Stmt consequent()

Gets the consequent statement.

consequent

LabelIf consequent(polyglot.ast.Stmt consequent)

Makes a copy of this node and sets the consequent statement of the copy.

alternative

polyglot.ast.Stmt alternative()

Gets the alternative statement.

alternative

LabelIf alternative(polyglot.ast.Stmt alternative)

Makes a copy of this node and sets the alternative statement of the copy.