Changes between Version 14 and Version 15 of CurrentlyProposedLanguage
- Timestamp:
- Nov 5, 2010 1:56:54 PM (13 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
CurrentlyProposedLanguage
v14 v15 27 27 == Temporal operators == 28 28 We want to be able to denote order and concurrency of events and state changes, and duration of events. 29 ||'''Meaning ''' ||''' Operator and example '''|| Precedence||29 ||'''Meaning ''' ||''' Operator and example '''|| '''Precedence''' || 30 30 ||A occurs after B || B -> A || Highest for binary operators || 31 31 ||A and B occur concurrently || A | | B || Lowest for binary operators || … … 42 42 Cardinality and modality of occurence: 43 43 44 ||'''Meaning''' || '''Operator and example''' || Precedence||44 ||'''Meaning''' || '''Operator and example''' || '''Precedence''' || 45 45 ||A must occur || A || None, no explicit operator || 46 46 ||A may occur || [A] || Same as parentheses || … … 50 50 == Conditions and loops == 51 51 We want to be able to express that an event occurs under certain conditions. 52 ||'''Meaning'''||'''Operator and example''' || Precedence||52 ||'''Meaning'''||'''Operator and example''' || '''Precedence''' || 53 53 ||if condition cond holds then A occurs else B occurs || if cond then A else B || Lowest || 54 54 ||Repeat some action while condition cond holds ||do A while cond || Same as if ||
