jif.ast
Interface JifConstructorDecl

All Superinterfaces:
polyglot.ast.ClassMember, java.lang.Cloneable, polyglot.ast.CodeBlock, polyglot.ast.CodeDecl, polyglot.ast.CodeNode, polyglot.ast.ConstructorDecl, polyglot.util.Copy, JifProcedureDecl, polyglot.ast.JL, polyglot.ast.Node, polyglot.ast.NodeOps, polyglot.ast.ProcedureDecl, polyglot.ast.Term
All Known Implementing Classes:
JifConstructorDecl_c

public interface JifConstructorDecl
extends JifProcedureDecl, polyglot.ast.ConstructorDecl

An immutable representation of the Jif constructor declaration. It extends the Java constructor declaration with the start label, the return label, and various constraints, including the authority constraint, the caller constraint, and the acts-for constraint.


Method Summary
 JifConstructorDecl constraints(java.util.List constraints)
           
 JifConstructorDecl returnLabel(LabelNode returnLabel)
           
 JifConstructorDecl startLabel(LabelNode startLabel)
           
 
Methods inherited from interface jif.ast.JifProcedureDecl
constraints, returnLabel, startLabel
 
Methods inherited from interface polyglot.ast.ProcedureDecl
procedureInstance
 
Methods inherited from interface polyglot.ast.CodeBlock
body, body
 
Methods inherited from interface polyglot.ast.CodeNode
codeBody, codeInstance
 
Methods inherited from interface polyglot.ast.ClassMember
memberInstance
 
Methods inherited from interface polyglot.ast.ConstructorDecl
constructorInstance, constructorInstance, flags, flags, formals, formals, id, id, name, name, throwTypes, throwTypes
 
Methods inherited from interface polyglot.ast.ProcedureDecl
procedureInstance
 
Methods inherited from interface polyglot.ast.CodeBlock
body, body
 
Methods inherited from interface polyglot.ast.CodeNode
codeBody, codeInstance
 
Methods inherited from interface polyglot.ast.ClassMember
memberInstance
 

Method Detail

startLabel

JifConstructorDecl startLabel(LabelNode startLabel)

returnLabel

JifConstructorDecl returnLabel(LabelNode returnLabel)

constraints

JifConstructorDecl constraints(java.util.List constraints)