-
dblcdblu committed revision 2069 to the Dresden OCL Toolkit SVN repository, changing 59 files.
2009-11-11 06:23:26 UTC in Dresden OCL Toolkit
-
The same behviour occurs during parsing of the obviously wrong constraint
context Type1
def: getAnotherVoid() = OclVoid.
2009-11-11 06:20:41 UTC in Dresden OCL Toolkit
-
The constraint
context Type1::getInteger()
pre: true
is parsed without errors although the operation getInteger() has the result type Integer and not OclVoid.
The same problem exists during parsing of Properties (derive, init, def) although, Warmer and Kleppe use Property declarations without Types, the Standard requires and explicit Type annotation.
2009-11-11 06:07:50 UTC in Dresden OCL Toolkit
-
The parsing of the constraint
context Type1::getVoid()
body: OclVoid
Should fail because body Expressions must have a result type. Nevertheless, the parser fails with an NullPointerException internally instead.
2009-11-11 05:27:08 UTC in Dresden OCL Toolkit
-
Currently, the OCL2 Parser does not support multiple package declarations in the same file.
According to the OCL2.1 (BETA) Specification, multiple package declarations are allowed in the same file.
Nevertheless, parsing the constraint
package package1
context Type1
inv: true
endpackage
package package2
context Type2
inv: true
endpackage
fails with an error pointer on the...
2009-11-11 05:18:59 UTC in Dresden OCL Toolkit
-
dblcdblu committed revision 2068 to the Dresden OCL Toolkit SVN repository, changing 43 files.
2009-11-10 05:44:00 UTC in Dresden OCL Toolkit
-
Parsing the Constraint
context Type1::anInteger
derive: 'fourty-two'
where anInteger represents a Property of the Type Integer is parsed without an Exception although the result of the derive clause is definitely not of an Integer type.
2009-11-10 05:41:40 UTC in Dresden OCL Toolkit
-
dblcdblu committed revision 2067 to the Dresden OCL Toolkit SVN repository, changing 1 files.
2009-11-09 22:26:41 UTC in Dresden OCL Toolkit
-
dblcdblu committed revision 2066 to the Dresden OCL Toolkit SVN repository, changing 35 files.
2009-11-09 20:54:57 UTC in Dresden OCL Toolkit
-
dblcdblu committed revision 2065 to the Dresden OCL Toolkit SVN repository, changing 1 files.
2009-11-09 07:00:28 UTC in Dresden OCL Toolkit