| [module numericServices('http://www.eclipse.org/emf/2002/Ecore')/] |
| |
| [comment @main/] |
| [template public test(p : ecore::EPackage)] |
| |
| [file ('integerTests', overwrite)] |
| [let var1 : Integer = 1] |
| [let var2 : Integer = 2] |
| @Test var2.oclAsType(Integer) => [var2.oclAsType(Integer)/] |
| @Test var2.oclIsUndefined() => [var2 = null/] |
| @Test var2.oclIsTypeOf(Integer) => [var2.oclIsTypeOf(Integer)/] |
| @Test var2.oclIsTypeOf(EPackage) => [var2.oclIsTypeOf(ecore::EPackage)/] |
| @Test var2.oclIsKindOf(Integer) => [var2.oclIsKindOf(Integer)/] |
| @Test var2.oclIsKindOf(EPackage) => [var2.oclIsKindOf(ecore::EPackage)/] |
| @Test var1 = var2 => [var1 = var2/] |
| @Test var1 = var1 => [var1 = var1/] |
| @Test var1 <> var2 => [var1 <> var2/] |
| @Test var1 <> var1 => [var1 <> var1/] |
| @Test var2.toString() => [var2.toString()/] |
| @Test var1 + var2 => [var1 + var2/] |
| @Test var1 - var2 => [var1 - var2/] |
| @Test var2 - var1 => [var2 - var1/] |
| @Test var1 * var2 => [var1 * var2/] |
| @Test var1 < var2 => [var1 < var2/] |
| @Test var2 < var1 => [var2 < var1/] |
| @Test var1 > var2 => [var1 > var2/] |
| @Test var2 > var1 => [var2 > var1/] |
| @Test var1 <= var1 => [var1 <= var1/] |
| @Test var1 <= var2 => [var1 <= var2/] |
| @Test var2 <= var1 => [var2 <= var1/] |
| @Test var1 >= var1 => [var1 >= var1/] |
| @Test var1 >= var2 => [var1 >= var2/] |
| @Test var2 >= var1 => [var2 >= var1/] |
| @Test var1.abs() => [var1.abs()/] |
| @Test var2.abs() => [var2.abs()/] |
| @Test var1.div(var2) => [var1.div(var2)/] |
| @Test var2.div(var1) => [var2.div(var1)/] |
| @Test var1.floor() => [var1.floor()/] |
| @Test var2.floor() => [var2.floor()/] |
| @Test var1.max(var2) => [var1.max(var2)/] |
| @Test var2.max(var1) => [var2.max(var1)/] |
| @Test var1.min(var2) => [var1.min(var2)/] |
| @Test var2.min(var1) => [var2.min(var1)/] |
| @Test var1.mod(var2) => [var1.mod(var2)/] |
| @Test var2.mod(var1) => [var2.mod(var1)/] |
| @Test var1.round() => [var1.round()/] |
| @Test var2.round() => [var2.round()/] |
| @Test var1.toString() => [var1.toString()/] |
| @Test var2.toString() => [var2.toString()/] |
| [/let] |
| [/let] |
| @Test 1 + (2 - 1)*3 >= 4 + 2 => [1 + (2 - 1) * 3 >= 4 + 2/] |
| [/file] |
| |
| [file ('realTests', overwrite)] |
| [let var1 : Real = 1.2] |
| [let var2 : Real = 2.3] |
| @Test var1.oclAsType(Real) => [var1.oclAsType(Real)/] |
| @Test var1.oclIsUndefined() => [var1 = null/] |
| @Test var1.oclIsTypeOf(Real) => [var1.oclIsTypeOf(Real)/] |
| @Test var1.oclIsTypeOf(EPackage) => [var1.oclIsTypeOf(ecore::EPackage)/] |
| @Test var1.oclIsKindOf(Real) => [var1.oclIsKindOf(Real)/] |
| @Test var1.oclIsKindOf(EPackage) => [var1.oclIsKindOf(ecore::EPackage)/] |
| @Test var1 <> var1 => [var1 <> var1/] |
| @Test var1 <> var2 => [var1 <> var2/] |
| @Test var1 = var1 => [var1 = var1/] |
| @Test var1 = var2 => [var1 = var2/] |
| @Test var1.toString() => [var1.toString()/] |
| @Test var1 + var2 => [var1 + var2/] |
| @Test var1 - var2 => [var1 - var2/] |
| @Test var2 - var1 => [var2 - var1/] |
| @Test var1 * var2 => [var1 * var2/] |
| @Test var2 / var1 => [var2 / var1/] |
| @Test var1 / var2 => [var1 / var2/] |
| @Test var1 < var2 => [var1 < var2/] |
| @Test var2 < var1 => [var2 < var1/] |
| @Test var1 > var2 => [var1 > var2/] |
| @Test var2 > var1 => [var2 > var1/] |
| @Test var1 <= var1 => [var1 <= var1/] |
| @Test var1 <= var2 => [var1 <= var2/] |
| @Test var2 <= var1 => [var2 <= var1/] |
| @Test var1 >= var1 => [var1 >= var1/] |
| @Test var1 >= var2 => [var1 >= var2/] |
| @Test var2 >= var1 => [var2 >= var1/] |
| @Test var1.abs() => [var1.abs()/] |
| @Test var2.abs() => [var2.abs()/] |
| @Test var1.floor() => [var1.floor()/] |
| @Test var2.floor() => [var2.floor()/] |
| @Test var1.max(var2) => [var1.max(var2)/] |
| @Test var2.max(var1) => [var2.max(var1)/] |
| @Test var1.min(var2) => [var1.min(var2)/] |
| @Test var2.min(var1) => [var2.min(var1)/] |
| @Test var1.round() => [var1.round()/] |
| @Test var2.round() => [var2.round()/] |
| @Test var1.toString() => [var1.toString()/] |
| @Test var2.toString() => [var2.toString()/] |
| @Test 3.0 / 1.5 => [3.0 / 1.5/] |
| @Test 0.5 * 2.0 => [0.5 * 2.0/] |
| [/let] |
| [/let] |
| @Test 1.5 + (2.2 - 1.0)*3.2 >= 4.6 / 2.1 => [1.5 + (2.2 - 1.0) * 3.2 >= 4.6 / 2.1/] |
| [/file] |
| |
| |
| [/template] |