public interface CircusAction extends Term
An abstract Circus action definition. It represents the ParAction grammar rule. Available extensions are recursion; prefixing; guarded actions; action call; all forms of unary, binary, iterated, and indexed actions; actions involving expressions; and actions involving declarations.
The parser is responsible to enforce restrictions over action definitions involving parameters
within some binary productions. For instance, the parse must rule out cases such as
(x: nat @ A) [] (y: nat @ B), since parameterised actions can only appear in an
external choice whenever the actual parameters are given.
This allows us to represent the grammar rules ParAction, Action, and CSPAction with a single class. The main advantage is that we can treat unary action definitions uniformly through a single hierarchy tree.
Naming this class Action would have been a better choice but it often conflicts with
other main stream Java libraries class names.
Copyright © 2003–2016 Community Z Tools Project. All rights reserved.