polyglot.ext.coffer.ast
Interface CofferConstructorDecl

All Superinterfaces:

ClassMember, java.lang.Cloneable, CodeDecl, ConstructorDecl, Copy, JL, Node, NodeOps, ProcedureDecl, Term

All Known Implementing Classes:

CofferConstructorDecl_c

public interface CofferConstructorDecl
extends ConstructorDecl

An immutable representation of the Coffer constructor declaration. ConstructorDecl is extended with pre- and post-conditions.

Method Summary

KeySetNode	entryKeys()
CofferConstructorDecl	entryKeys(KeySetNode entryKeys)
KeySetNode	returnKeys()
CofferConstructorDecl	returnKeys(KeySetNode returnKeys)
java.util.List	throwConstraints()
CofferConstructorDecl	throwConstraints(java.util.List throwConstraints)

Methods inherited from interface polyglot.ast.ConstructorDecl

constructorInstance, constructorInstance, flags, flags, formals, formals, name, name, throwTypes, throwTypes

Methods inherited from interface polyglot.ast.ProcedureDecl

procedureInstance

Methods inherited from interface polyglot.ast.CodeDecl

body, body, codeInstance

Methods inherited from interface polyglot.ast.Term

acceptCFG, entry, exceptions, exceptions, reachable, reachable

Methods inherited from interface polyglot.ast.Node

childExpectedType, del, del, dump, ext, ext, ext, ext, position, position, visit, visitChild, visitEdge, visitList

Methods inherited from interface polyglot.ast.JL

init, node

Methods inherited from interface polyglot.ast.NodeOps

addDecls, addMembers, addMembersEnter, buildTypes, buildTypesEnter, disambiguate, disambiguateEnter, enterScope, enterScope, exceptionCheck, exceptionCheckEnter, prettyPrint, throwTypes, translate, typeCheck, typeCheckEnter, visitChildren

Methods inherited from interface polyglot.util.Copy

copy

Method Detail

entryKeys

KeySetNode entryKeys()

entryKeys

CofferConstructorDecl entryKeys(KeySetNode entryKeys)

returnKeys

KeySetNode returnKeys()

returnKeys

CofferConstructorDecl returnKeys(KeySetNode returnKeys)

throwConstraints

java.util.List throwConstraints()

throwConstraints

CofferConstructorDecl throwConstraints(java.util.List throwConstraints)