
header position 0..66
module booleanServices
  metamodel http://www.eclipse.org/emf/2002/Ecore (25..63)
  [comment @main (79..84) /] (70..86)
  
  public template test(p : EPackage (110..129))
  @main
    NEW_LINE (indentationNeeded)  (newLineNeeded) (135..137)
    [file url 'oclAnyTests' (146..159) mode overwrite
      @Test true.oclAsType(Boolean) =>  (178..211)
      [.oclAsType(true, java.lang.Boolean) (212..235)/] (newLineNeeded (211..239)
      @Test true.oclIsUndefined() =>  (243..274)
      [.equals(true, null) (275..286)/] (newLineNeeded (274..290)
      @Test true.oclIsTypeOf(Boolean) =>  (294..329)
      [.oclIsTypeOf(true, java.lang.Boolean) (330..355)/] (newLineNeeded (329..359)
      @Test true.oclIsTypeOf(EPackage) =>  (363..399)
      [.oclIsTypeOf(true, EPackage) (400..433)/] (newLineNeeded (399..437)
      @Test true.oclIsKindOf(Boolean) =>  (441..476)
      [.oclIsKindOf(true, java.lang.Boolean) (477..502)/] (newLineNeeded (476..506)
      @Test true.oclIsKindOf(EPackage) =>  (510..546)
      [.oclIsKindOf(true, EPackage) (547..580)/] (newLineNeeded (546..584)
      @Test true = false =>  (588..610)
      [.equals(true, false) (611..623)/] (newLineNeeded (610..627)
      @Test true = true =>  (631..652)
      [.equals(true, true) (653..664)/] (newLineNeeded (652..668)
      @Test false = true =>  (672..694)
      [.equals(false, true) (695..707)/] (newLineNeeded (694..711)
      @Test false = false =>  (715..738)
      [.equals(false, false) (739..752)/] (newLineNeeded (738..756)
      @Test true <> false =>  (760..783)
      [.differs(true, false) (784..797)/] (newLineNeeded (783..801)
      @Test true <> true =>  (805..827)
      [.differs(true, true) (828..840)/] (newLineNeeded (827..844)
      @Test false <> true =>  (848..871)
      [.differs(false, true) (872..885)/] (newLineNeeded (871..889)
      @Test false <> false =>  (893..917)
      [.differs(false, false) (918..932)/] (newLineNeeded (917..936)
      @Test true.toString() =>  (940..965)
      [.toString(true) (966..981)/] (newLineNeeded (965..985)
      @Test true.oclAsSet() =>  (989..1014)
      [->asSet(true) (1015..1028)/] (newLineNeeded (1014..1032) (172..1034)
    [/file] (139..1041)
     (newLineNeeded) (1041..1043)
    NEW_LINE (indentationNeeded)  (newLineNeeded) (1045..1047)
    [file url 'simpleTest' (1056..1068) mode overwrite
      @Test not true =>  (1087..1105)
      [.not(true) (1106..1114)/] (newLineNeeded (1105..1118)
      @Test not false =>  (1122..1141)
      [.not(false) (1142..1151)/] (newLineNeeded (1141..1155)
      @Test true and false =>  (1159..1183)
      [.and(true, false) (1184..1198)/] (newLineNeeded (1183..1202)
      @Test true and true =>  (1206..1229)
      [.and(true, true) (1230..1243)/] (newLineNeeded (1229..1247)
      @Test false and true =>  (1251..1275)
      [.and(false, true) (1276..1290)/] (newLineNeeded (1275..1294)
      @Test false and false =>  (1298..1323)
      [.and(false, false) (1324..1339)/] (newLineNeeded (1323..1343)
      @Test true or false =>  (1347..1370)
      [.or(true, false) (1371..1384)/] (newLineNeeded (1370..1388)
      @Test true or true =>  (1392..1414)
      [.or(true, true) (1415..1427)/] (newLineNeeded (1414..1431)
      @Test false or true =>  (1435..1458)
      [.or(false, true) (1459..1472)/] (newLineNeeded (1458..1476)
      @Test false or false =>  (1480..1504)
      [.or(false, false) (1505..1519)/] (newLineNeeded (1504..1523)
      @Test true xor false =>  (1527..1551)
      [.xor(true, false) (1552..1566)/] (newLineNeeded (1551..1570)
      @Test true xor true =>  (1574..1597)
      [.xor(true, true) (1598..1611)/] (newLineNeeded (1597..1615)
      @Test false xor true =>  (1619..1643)
      [.xor(false, true) (1644..1658)/] (newLineNeeded (1643..1662)
      @Test false xor false =>  (1666..1691)
      [.xor(false, false) (1692..1707)/] (newLineNeeded (1691..1711)
      @Test true implies false =>  (1715..1743)
      [.implies(true, false) (1744..1762)/] (newLineNeeded (1743..1766)
      @Test true implies true =>  (1770..1797)
      [.implies(true, true) (1798..1815)/] (newLineNeeded (1797..1819)
      @Test false implies true =>  (1823..1851)
      [.implies(false, true) (1852..1870)/] (newLineNeeded (1851..1874)
      @Test false implies false =>  (1878..1907)
      [.implies(false, false) (1908..1927)/] (newLineNeeded (1907..1931)
      @Test false._and(true) =>  (1935..1961)
      [.and(false, true) (1962..1976)/] (newLineNeeded (1961..1980)
      @Test true._and(false) =>  (1984..2010)
      [.and(true, false) (2011..2025)/] (newLineNeeded (2010..2029)
      @Test false._or(true) =>  (2033..2058)
      [.or(false, true) (2059..2072)/] (newLineNeeded (2058..2076)
      @Test true._or(false) =>  (2080..2105)
      [.or(true, false) (2106..2119)/] (newLineNeeded (2105..2123)
      @Test false._implies(true) =>  (2127..2157)
      [.implies(false, true) (2158..2176)/] (newLineNeeded (2157..2180)
      @Test true._implies(false) =>  (2184..2214)
      [.implies(true, false) (2215..2233)/] (newLineNeeded (2214..2237)
      @Test true._not() =>  (2241..2262)
      [.not(true) (2263..2271)/] (newLineNeeded (2262..2275)
      @Test false._not() =>  (2279..2301)
      [.not(false) (2302..2311)/] (newLineNeeded (2301..2315)
      @Test false._xor(true) =>  (2319..2345)
      [.xor(false, true) (2346..2360)/] (newLineNeeded (2345..2364)
      @Test true._xor(false) =>  (2368..2394)
      [.xor(true, false) (2395..2409)/] (newLineNeeded (2394..2413)
      @Test true.toString() =>  (2417..2442)
      [.toString(true) (2443..2458)/] (newLineNeeded (2442..2462)
      @Test false.toString() =>  (2466..2492)
      [.toString(false) (2493..2509)/] (newLineNeeded (2492..2513) (1081..2515)
    [/file] (1049..2522)
     (newLineNeeded) (2522..2524)
    NEW_LINE (indentationNeeded)  (newLineNeeded) (2526..2528)
    [file url 'complexTest' (2537..2550) mode overwrite
      @Test (true and false) or true implies (false xor true) =>  (2569..2628)
      [.implies(.or(.and(true, false), true), .xor(false, true)) (2629..2674)/] (newLineNeeded (2628..2678) (2563..2680)
    [/file] (2530..2687)
     (newLineNeeded) (2687..2689)
    NEW_LINE (indentationNeeded)  (newLineNeeded) (2691..2693) (131..2693)
  [/template] (88..2704) (0..2704)