|
ENTITY Repeat_while SUBTYPE OF (Looping_element); condition : Condition; END_ENTITY; -- Repeat_while |
Entity data types and their attributesActivity_methodname: STRING; (OPT) description: STRING; (OPT) consequence: STRING; purpose: STRING; Task_element - Structured_task_element - Looping_element repeated_element: Task_element; Repeat_while condition: Condition; |
Global rules for this entity data type- |