tests/org.eclipse.acceleo.aql.migration.tests.acceleo3/src/resources/services/booleanServices/booleanServices.mtl

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

[template public test(p : EPackage)]
[comment @main/]

[file ('oclAnyTests', false)]
@Test true.oclAsType(Boolean) => [true.oclAsType(Boolean)/]
@Test true.oclIsUndefined() => [true.oclIsUndefined()/]
@Test true.oclIsTypeOf(Boolean) => [true.oclIsTypeOf(Boolean)/]
@Test true.oclIsTypeOf(EPackage) => [true.oclIsTypeOf(EPackage)/]
@Test true.oclIsKindOf(Boolean) => [true.oclIsKindOf(Boolean)/]
@Test true.oclIsKindOf(EPackage) => [true.oclIsKindOf(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.oclAsSet()/]
[comment]IRRELEVANT-A4-UNSUPPORTED oclIsInvalid[/comment]
[comment]IRRELEVANT-A4-DIFFERS oclAsType: validation error instead of 'invalid' [true.oclAsType(String)/][/comment]
[/file]

[file ('simpleTest', false)]
@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() => [true._not()/]
@Test false._not() => [false._not()/]
@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', false)]
@Test (true and false) or true implies (false xor true) => [(true and false) or true implies (false xor true)/]
[/file]

[/template]