Add files via upload

Author: kevinlano

cg/mathocl2ocl.cstl

@@ -75,6 +75,8 @@ formula::
 Define _1 |-->
 Define _1 = _2 |-->\n\n  operation _1`operationName(_1`operationParameters) : double\n  pre: true\n  post: result = _2;
 Define _1 ~ _2 |-->
+Define _1 : _2 |-->
+Define _1 : _2 = _3 |-->\n\n  operation _1`operationName(_1`operationParameters) : _2\n  pre: true\n  post: result = _3;
 
 
 factorBy::
@@ -98,6 +100,7 @@ Define _1 = _2 |-->\n  attribute _1 : double := _2;<when> _1`isIdentifier true
 Define _1 |-->\n  attribute _1 : double;
 Define _1 ~ _2 |-->\n  attribute _1 : OclRandom := OclRandom.newOclRandom_2`randomParameters; 
 Define _1 : _2 |-->\n  attribute _1 : _2;
+Define _1 : _2 = _3 |-->\n  attribute _1 : _2 := _3;<when> _1`isIdentifier true
 
 _1 |-->_1`definesToAttributes<when> _1 formula
 Constraint on _1 | _2 |-->
@@ -125,6 +128,7 @@ Function ( _1 , _2 ) |-->Function(_1,_2)
 � |-->int
 � |-->int
 � |-->double
+Date |-->OclDate
 _1 |-->_1
 
 

cg/simplify.cstl

@@ -73,6 +73,8 @@ Define g { _1 } |-->  Define g{_1}
 Define _1 = _2 |-->  Define _1 = _2<action> _1`value _2
 Define _1 ~ _2 |-->  Define _1 ~ _2<action> _1`distribution _2`distributionName, _1`mean _2`distributionMean, _1`variance _2`distributionVariance
 Define _1 : _2 |-->  Define _1 : _2
+Define _1 : _2 = _3 |-->  Define _1 : _2 = _3
+
 
 
 instruction::