|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface JifConstructorDecl
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 |
---|
JifConstructorDecl startLabel(LabelNode startLabel)
JifConstructorDecl returnLabel(LabelNode returnLabel)
JifConstructorDecl constraints(java.util.List constraints)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |