tests/org.eclipse.acceleo.aql.migration.tests/resources/services/booleanServices/booleanServices-expected.mtl

[module booleanServices('http://www.eclipse.org/emf/2002/Ecore')/]

[comment @main/]
[template public test(p : ecore::EPackage)]
  
  [file ('oclAnyTests', overwrite)]
    @Test true.oclAsType(Boolean) => [true.oclAsType(Boolean)/]
    @Test true.oclIsUndefined() => [true = null/]
    @Test true.oclIsTypeOf(Boolean) => [true.oclIsTypeOf(Boolean)/]
    @Test true.oclIsTypeOf(EPackage) => [true.oclIsTypeOf(ecore::EPackage)/]
    @Test true.oclIsKindOf(Boolean) => [true.oclIsKindOf(Boolean)/]
    @Test true.oclIsKindOf(EPackage) => [true.oclIsKindOf(ecore::EPackage)/]
    @Test true = false => [true = false/]
    @Test true = true => [true = true/]
    @Test false = true => [false = true/]
    @Test false = false => [false = false/]
    @Test true <> false => [true <> false/]
    @Test true <> true => [true <> true/]
    @Test false <> true => [false <> true/]
    @Test false <> false => [false <> false/]
    @Test true.toString() => [true.toString()/]
    @Test true.oclAsSet() => [true->asSet()/]
  [/file]
  
  [file ('simpleTest', overwrite)]
    @Test not true => [not true/]
    @Test not false => [not false/]
    @Test true and false => [true and false/]
    @Test true and true => [true and true/]
    @Test false and true => [false and true/]
    @Test false and false => [false and false/]
    @Test true or false => [true or false/]
    @Test true or true => [true or true/]
    @Test false or true => [false or true/]
    @Test false or false => [false or false/]
    @Test true xor false => [true xor false/]
    @Test true xor true => [true xor true/]
    @Test false xor true => [false xor true/]
    @Test false xor false => [false xor false/]
    @Test true implies false => [true implies false/]
    @Test true implies true => [true implies true/]
    @Test false implies true => [false implies true/]
    @Test false implies false => [false implies false/]
    @Test false._and(true) => [false and true/]
    @Test true._and(false) => [true and false/]
    @Test false._or(true) => [false or true/]
    @Test true._or(false) => [true or false/]
    @Test false._implies(true) => [false implies true/]
    @Test true._implies(false) => [true implies false/]
    @Test true._not() => [not true/]
    @Test false._not() => [not false/]
    @Test false._xor(true) => [false xor true/]
    @Test true._xor(false) => [true xor false/]
    @Test true.toString() => [true.toString()/]
    @Test false.toString() => [false.toString()/]
  [/file]
  
  [file ('complexTest', overwrite)]
    @Test (true and false) or true implies (false xor true) => [true and false or true implies false xor true/]
  [/file]
  
[/template]