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.
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 |
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)