Existential construct.
More...
#include <oneof.h>
List of all members.
Detailed Description
template<class BaseNode, class RoleType, class MessageType, class VisitorType>
class sesstype::parameterised::OneofNodeTmpl< BaseNode, RoleType, MessageType, VisitorType >
Existential construct.
Constructor & Destructor Documentation
template<class BaseNode, class RoleType, class MessageType, class VisitorType>
OneofNode constructor.
- Parameters:
-
[in] | selector_role | Role to use as selector. |
[in] | dimen | of the Role parameters to use as selector index domain. |
Member Function Documentation
template<class BaseNode, class RoleType, class MessageType, class VisitorType>
- Returns:
- true if this is a repeat-oneof.
template<class BaseNode, class RoleType, class MessageType, class VisitorType>
- Returns:
- true if allow unordered access.
template<class BaseNode, class RoleType, class MessageType, class VisitorType>
- Returns:
- range of selection.
template<class BaseNode, class RoleType, class MessageType, class VisitorType>
- Returns:
- selector Role dimension.
template<class BaseNode, class RoleType, class MessageType, class VisitorType>
template<class BaseNode, class RoleType, class MessageType, class VisitorType>
- Parameters:
-
[in] | range | without variable. |
template<class BaseNode, class RoleType, class MessageType, class VisitorType>
- Parameters:
-
[in] | repeat | boolean to indicate whether or not this is "repeat". |
template<class BaseNode, class RoleType, class MessageType, class VisitorType>
- Parameters:
-
[in] | selector_role | Role to use as selector. |
[in] | dimen | of the Role parameters to use as selector index domain. |
template<class BaseNode, class RoleType, class MessageType, class VisitorType>
template<class BaseNode, class RoleType, class MessageType, class VisitorType>
- Parameters:
-
[in] | var | to be used as existential variable name. |
template<class BaseNode, class RoleType, class MessageType, class VisitorType>
- Returns:
- existential variable.
The documentation for this class was generated from the following files:
- oneof.h
- parameterised/util/node_visitor.cc