This wiki has undergone a migration to Confluence found Here
Difference between revisions of "Datatypes R2 Issue 50"
Jump to navigation
Jump to search
| Line 2: | Line 2: | ||
== Introduction == | == Introduction == | ||
| + | This constraint is wrong: | ||
| + | invariant(CD x) | ||
| + | where x.originalText.nonNull { | ||
| + | ((ST)x).equal(x.originalText); | ||
| + | }; | ||
| − | + | == Discussion == | |
| − | + | it should be | |
| + | invariant(CD x) | ||
| + | where x.originalText.nonNull { | ||
| + | ((ED)x).equal(x.originalText); | ||
| + | }; | ||
== Links == | == Links == | ||
Back to [[Data Types R2 issues]] | Back to [[Data Types R2 issues]] | ||
Latest revision as of 23:06, 11 June 2007
Data Types Issue 50: CD.original text demotion
Introduction
This constraint is wrong:
invariant(CD x)
where x.originalText.nonNull {
((ST)x).equal(x.originalText);
};
Discussion
it should be
invariant(CD x)
where x.originalText.nonNull {
((ED)x).equal(x.originalText);
};
Links
Back to Data Types R2 issues
