| commit | 38811c7e3066bff33f5c6dd0786edb787232798a | [log] [tgz] |
|---|---|---|
| author | Ed Willink <ed@willink.me.uk> | Fri Nov 30 16:30:14 2018 +0000 |
| committer | Ed Willink <ed@willink.me.uk> | Wed Dec 05 11:15:06 2018 +0000 |
| tree | 8b0641d50ba10505209a42cdca27e559c297349b | |
| parent | 49f3b417b661cdb15401268cdc98181f481c4cae [diff] |
[514590] Support observed properties for checked statements
diff --git a/plugins/org.eclipse.qvtd.xtext.qvtimperative/src/org/eclipse/qvtd/xtext/qvtimperative/QVTimperative.xtext b/plugins/org.eclipse.qvtd.xtext.qvtimperative/src/org/eclipse/qvtd/xtext/qvtimperative/QVTimperative.xtext index 5ee23a1..f2b25a5 100644 --- a/plugins/org.eclipse.qvtd.xtext.qvtimperative/src/org/eclipse/qvtd/xtext/qvtimperative/QVTimperative.xtext +++ b/plugins/org.eclipse.qvtd.xtext.qvtimperative/src/org/eclipse/qvtd/xtext/qvtimperative/QVTimperative.xtext
@@ -37,7 +37,8 @@ CommitStatementCS returns StatementCS: NewStatementCS | SetStatementCS; -CheckStatementCS: 'check' ownedCondition=ExpCS ';'; +CheckStatementCS: ('observe' observedProperties+=PathNameCS (',' observedProperties+=PathNameCS)*)? + 'check' ownedCondition=ExpCS ';'; ControlStatementCS returns MappingStatementCS: AddStatementCS | MappingCallCS | MappingLoopCS;