public interface ParamAction extends ActionD
| Modifier and Type | Method and Description |
|---|---|
boolean |
isParamCommand()
This method characterises parameterised commands and actions according to the
expected (specific and disjoint) structure both have, yet they share the same
AST class due to their similar nature and to minimize AST numbers.
|
getDeclList, getZDeclList, setDeclListgetCircusAction, setCircusActionboolean isParamCommand()
This method characterises parameterised commands and actions according to the expected (specific and disjoint) structure both have, yet they share the same AST class due to their similar nature and to minimize AST numbers. This choice is similar to AxPara in Z, which represents various Z boxes.
The protocol is as follows: parameterised commands MUST have a ZDeclList with QualifiedDecl only; whereas parameterised actions only allow VarDecl.
Copyright © 2003–2016 Community Z Tools Project. All rights reserved.