| /********************************************************************** |
| * This file is part of "Object Teams Development Tooling"-Software |
| * |
| * Copyright 2004, 2010 IT Service Omikron GmbH and others. |
| * |
| * This program and the accompanying materials |
| * are made available under the terms of the Eclipse Public License 2.0 |
| * which accompanies this distribution, and is available at |
| * https://www.eclipse.org/legal/epl-2.0/ |
| * |
| * SPDX-License-Identifier: EPL-2.0 |
| * $Id$ |
| * |
| * Please visit http://www.eclipse.org/objectteams for updates and contact. |
| * |
| * Contributors: |
| * Thomas Dudziak - Initial API and implementation |
| * Stephan Herrmann - Initial API and implementation |
| **********************************************************************/ |
| package org.eclipse.objectteams.otdt.tests.otjld.liftlower; |
| |
| import junit.framework.Test; |
| |
| import org.eclipse.objectteams.otdt.tests.otjld.AbstractOTJLDTest; |
| |
| public class SmartLifting3 extends AbstractOTJLDTest { |
| |
| public SmartLifting3(String name) { |
| super(name); |
| } |
| |
| // Static initializer to specify tests subset using TESTS_* static variables |
| // All specified tests which does not belong to the class are skipped... |
| static { |
| // TESTS_NAMES = new String[] { "test0c11_implicitlyInheritingStaticRoleMethod1"}; |
| // TESTS_NUMBERS = new int[] { 1459 }; |
| // TESTS_RANGE = new int[] { 1097, -1 }; |
| } |
| |
| public static Test buildComparableTestSuite(Class evaluationTestClass) { |
| Test suite = buildMinimalComplianceTestSuite(evaluationTestClass, F_1_6); // one compliance level is enough for smart lifting tests. |
| TESTS_COUNTERS.put(evaluationTestClass.getName(), new Integer(suite.countTestCases())); |
| return suite; |
| } |
| |
| public static Test suite() { |
| return buildComparableTestSuite(testClass()); |
| } |
| |
| public static Class testClass() { |
| return SmartLifting3.class; |
| } |
| |
| // a base object from a class hierarchy is smart-lifted to a role class from a role class hierarchy |
| // 6.4.3-otjld-smart-lifting-1 |
| public void test643_smartLifting1() { |
| |
| runConformTest( |
| new String[] { |
| "T643sl1Main.java", |
| "\n" + |
| "public class T643sl1Main {\n" + |
| " public static void main(String[] args) {\n" + |
| " Team643sl1_1 t = new Team643sl1_1();\n" + |
| " T643sl1_3 o = new T643sl1_3();\n" + |
| "\n" + |
| " System.out.print(t.t1(o));\n" + |
| " }\n" + |
| "}\n" + |
| " \n", |
| "Team643sl1_4.java", |
| "\n" + |
| "public team class Team643sl1_4 extends Team643sl1_3 {\n" + |
| " public class Role643sl1_5 {\n" + |
| " public String toString() {\n" + |
| " return Team643sl1_4.this.toString() + \".Role643sl1_5\";\n" + |
| " }\n" + |
| " }\n" + |
| "\n" + |
| " public String toString() {\n" + |
| " return \"Team643sl1_4\";\n" + |
| " }\n" + |
| "}\n" + |
| " \n", |
| "Team643sl1_1.java", |
| "\n" + |
| "public team class Team643sl1_1 {\n" + |
| " public class Role643sl1_1 extends T643sl1_6 {\n" + |
| " public String toString() {\n" + |
| " return Team643sl1_1.this.toString() + \".Role643sl1_1\";\n" + |
| " }\n" + |
| " }\n" + |
| "\n" + |
| " public abstract class Role643sl1_2 extends Role643sl1_1 playedBy T643sl1_1 {\n" + |
| " public String toString() {\n" + |
| " return Team643sl1_1.this.toString() + \".Role643sl1_2\";\n" + |
| " }\n" + |
| " }\n" + |
| "\n" + |
| " public class Role643sl1_3 extends Role643sl1_2 {\n" + |
| " public String toString() {\n" + |
| " return Team643sl1_1.this.toString() + \".Role643sl1_3\";\n" + |
| " }\n" + |
| " }\n" + |
| "\n" + |
| " public String toString() {\n" + |
| " return \"Team643sl1_1\";\n" + |
| " }\n" + |
| "\n" + |
| " public String t1(T643sl1_3 as Role643sl1_1 obj) {\n" + |
| " return obj.toString();\n" + |
| " }\n" + |
| "}\n" + |
| " \n", |
| "T643sl1_4.java", |
| "\n" + |
| "public class T643sl1_4 extends T643sl1_2 {\n" + |
| " public String toString() {\n" + |
| " return \"T643sl1_4\";\n" + |
| " }\n" + |
| "}\n" + |
| " \n", |
| "Team643sl1_2.java", |
| "\n" + |
| "public team class Team643sl1_2 extends Team643sl1_1 {\n" + |
| " public class Role643sl1_3 {\n" + |
| " public String toString() {\n" + |
| " return Team643sl1_2.this.toString() + \".Role643sl1_3\";\n" + |
| " }\n" + |
| " }\n" + |
| " public class Role643sl1_4 extends Role643sl1_3 playedBy T643sl1_3 {\n" + |
| " public String toString() {\n" + |
| " return Team643sl1_2.this.toString() + \".Role643sl1_4\";\n" + |
| " }\n" + |
| " }\n" + |
| "\n" + |
| " public String toString() {\n" + |
| " return \"Team643sl1_2\";\n" + |
| " }\n" + |
| "\n" + |
| "}\n" + |
| " \n", |
| "T643sl1_5.java", |
| "\n" + |
| "public class T643sl1_5 extends T643sl1_1 {\n" + |
| " public String toString() {\n" + |
| " return \"T643sl1_5\";\n" + |
| " }\n" + |
| "}\n" + |
| " \n", |
| "T643sl1_1.java", |
| "\n" + |
| "public class T643sl1_1 {\n" + |
| " public String toString() {\n" + |
| " return \"T643sl1_1\";\n" + |
| " }\n" + |
| "}\n" + |
| " \n", |
| "Team643sl1_3.java", |
| "\n" + |
| "public team class Team643sl1_3 extends Team643sl1_2 {\n" + |
| " public class Role643sl1_5 extends Role643sl1_3 playedBy T643sl1_5 {\n" + |
| " public String toString() {\n" + |
| " return Team643sl1_3.this.toString() + \".Role643sl1_5\";\n" + |
| " }\n" + |
| " }\n" + |
| "\n" + |
| " public String toString() {\n" + |
| " return \"Team643sl1_3\";\n" + |
| " }\n" + |
| "\n" + |
| "}\n" + |
| " \n", |
| "T643sl1_6.java", |
| "\n" + |
| "public class T643sl1_6 extends T643sl1_5 {\n" + |
| " public String toString() {\n" + |
| " return \"T643sl1_6\";\n" + |
| " }\n" + |
| "}\n" + |
| " \n", |
| "T643sl1_2.java", |
| "\n" + |
| "public abstract class T643sl1_2 extends T643sl1_1 {\n" + |
| " public String toString() {\n" + |
| " return \"T643sl1_2\";\n" + |
| " }\n" + |
| "}\n" + |
| " \n", |
| "T643sl1_3.java", |
| "\n" + |
| "public class T643sl1_3 extends T643sl1_2 {\n" + |
| " public String toString() {\n" + |
| " return \"T643sl1_3\";\n" + |
| " }\n" + |
| "}\n" + |
| " \n" |
| }, |
| "Team643sl1_1.Role643sl1_3"); |
| } |
| |
| // a base object from a class hierarchy is smart-lifted to a role class from a role class hierarchy |
| // 6.4.3-otjld-smart-lifting-2 |
| public void test643_smartLifting2() { |
| |
| runConformTest( |
| new String[] { |
| "T643sl2Main.java", |
| "\n" + |
| "public class T643sl2Main {\n" + |
| " public static void main(String[] args) {\n" + |
| " Team643sl2_1 t = new Team643sl2_2();\n" + |
| " T643sl2_3 o = new T643sl2_3();\n" + |
| "\n" + |
| " System.out.print(t.t1(o));\n" + |
| " }\n" + |
| "}\n" + |
| " \n", |
| "Team643sl2_4.java", |
| "\n" + |
| "public team class Team643sl2_4 extends Team643sl2_3 {\n" + |
| " public class Role643sl2_5 {\n" + |
| " public String toString() {\n" + |
| " return Team643sl2_4.this.toString() + \".Role643sl2_5\";\n" + |
| " }\n" + |
| " }\n" + |
| "\n" + |
| " public String toString() {\n" + |
| " return \"Team643sl2_4\";\n" + |
| " }\n" + |
| "}\n" + |
| " \n", |
| "T643sl2_3.java", |
| "\n" + |
| "public class T643sl2_3 extends T643sl2_2 {\n" + |
| " public String toString() {\n" + |
| " return \"T643sl2_3\";\n" + |
| " }\n" + |
| "}\n" + |
| " \n", |
| "Team643sl2_1.java", |
| "\n" + |
| "public team class Team643sl2_1 {\n" + |
| " public class Role643sl2_1 extends T643sl2_6 {\n" + |
| " public String toString() {\n" + |
| " return Team643sl2_1.this.toString() + \".Role643sl2_1\";\n" + |
| " }\n" + |
| " }\n" + |
| "\n" + |
| " public abstract class Role643sl2_2 extends Role643sl2_1 playedBy T643sl2_1 {\n" + |
| " public String toString() {\n" + |
| " return Team643sl2_1.this.toString() + \".Role643sl2_2\";\n" + |
| " }\n" + |
| " }\n" + |
| "\n" + |
| " public class Role643sl2_3 extends Role643sl2_2 {\n" + |
| " public String toString() {\n" + |
| " return Team643sl2_1.this.toString() + \".Role643sl2_3\";\n" + |
| " }\n" + |
| " }\n" + |
| "\n" + |
| " public String toString() {\n" + |
| " return \"Team643sl2_1\";\n" + |
| " }\n" + |
| "\n" + |
| " public String t1(T643sl2_3 as Role643sl2_1 obj) {\n" + |
| " return obj.toString();\n" + |
| " }\n" + |
| "}\n" + |
| " \n", |
| "T643sl2_4.java", |
| "\n" + |
| "public class T643sl2_4 extends T643sl2_2 {\n" + |
| " public String toString() {\n" + |
| " return \"T643sl2_4\";\n" + |
| " }\n" + |
| "}\n" + |
| " \n", |
| "Team643sl2_2.java", |
| "\n" + |
| "public team class Team643sl2_2 extends Team643sl2_1 {\n" + |
| " public class Role643sl2_3 {\n" + |
| " public String toString() {\n" + |
| " return Team643sl2_2.this.toString() + \".Role643sl2_3\";\n" + |
| " }\n" + |
| " }\n" + |
| " public class Role643sl2_4 extends Role643sl2_3 playedBy T643sl2_3 {\n" + |
| " public String toString() {\n" + |
| " return Team643sl2_2.this.toString() + \".Role643sl2_4\";\n" + |
| " }\n" + |
| " }\n" + |
| "\n" + |
| " public String toString() {\n" + |
| " return \"Team643sl2_2\";\n" + |
| " }\n" + |
| "\n" + |
| "}\n" + |
| " \n", |
| "T643sl2_5.java", |
| "\n" + |
| "public class T643sl2_5 extends T643sl2_1 {\n" + |
| " public String toString() {\n" + |
| " return \"T643sl2_5\";\n" + |
| " }\n" + |
| "}\n" + |
| " \n", |
| "T643sl2_1.java", |
| "\n" + |
| "public class T643sl2_1 {\n" + |
| " public String toString() {\n" + |
| " return \"T643sl2_1\";\n" + |
| " }\n" + |
| "}\n" + |
| " \n", |
| "Team643sl2_3.java", |
| "\n" + |
| "public team class Team643sl2_3 extends Team643sl2_2 {\n" + |
| " public class Role643sl2_5 extends Role643sl2_3 playedBy T643sl2_5 {\n" + |
| " public String toString() {\n" + |
| " return Team643sl2_3.this.toString() + \".Role643sl2_5\";\n" + |
| " }\n" + |
| " }\n" + |
| "\n" + |
| " public String toString() {\n" + |
| " return \"Team643sl2_3\";\n" + |
| " }\n" + |
| "\n" + |
| "}\n" + |
| " \n", |
| "T643sl2_6.java", |
| "\n" + |
| "public class T643sl2_6 extends T643sl2_5 {\n" + |
| " public String toString() {\n" + |
| " return \"T643sl2_6\";\n" + |
| " }\n" + |
| "}\n" + |
| " \n", |
| "T643sl2_2.java", |
| "\n" + |
| "public abstract class T643sl2_2 extends T643sl2_1 {\n" + |
| " public String toString() {\n" + |
| " return \"T643sl2_2\";\n" + |
| " }\n" + |
| "}\n" + |
| " \n" |
| }, |
| "Team643sl2_2.Role643sl2_4"); |
| } |
| |
| // a base object from a class hierarchy is smart-lifted to a role class from a role class hierarchy |
| // 6.4.3-otjld-smart-lifting-3 |
| public void test643_smartLifting3() { |
| |
| runConformTest( |
| new String[] { |
| "T643sl3Main.java", |
| "\n" + |
| "public class T643sl3Main {\n" + |
| " public static void main(String[] args) {\n" + |
| " Team643sl3_1 t = new Team643sl3_3();\n" + |
| " T643sl3_3 o = new T643sl3_3();\n" + |
| "\n" + |
| " System.out.print(t.t1(o));\n" + |
| " }\n" + |
| "}\n" + |
| " \n", |
| "Team643sl3_4.java", |
| "\n" + |
| "public team class Team643sl3_4 extends Team643sl3_3 {\n" + |
| " public class Role643sl3_5 {\n" + |
| " public String toString() {\n" + |
| " return Team643sl3_4.this.toString() + \".Role643sl3_5\";\n" + |
| " }\n" + |
| " }\n" + |
| "\n" + |
| " public String toString() {\n" + |
| " return \"Team643sl3_4\";\n" + |
| " }\n" + |
| "}\n" + |
| " \n", |
| "Team643sl3_3.java", |
| "\n" + |
| "public team class Team643sl3_3 extends Team643sl3_2 {\n" + |
| " public class Role643sl3_5 extends Role643sl3_3 playedBy T643sl3_5 {\n" + |
| " public String toString() {\n" + |
| " return Team643sl3_3.this.toString() + \".Role643sl3_5\";\n" + |
| " }\n" + |
| " }\n" + |
| "\n" + |
| " public String toString() {\n" + |
| " return \"Team643sl3_3\";\n" + |
| " }\n" + |
| "\n" + |
| "}\n" + |
| " \n", |
| "T643sl3_6.java", |
| "\n" + |
| "public class T643sl3_6 extends T643sl3_5 {\n" + |
| " public String toString() {\n" + |
| " return \"T643sl3_6\";\n" + |
| " }\n" + |
| "}\n" + |
| " \n", |
| "T643sl3_2.java", |
| "\n" + |
| "public abstract class T643sl3_2 extends T643sl3_1 {\n" + |
| " public String toString() {\n" + |
| " return \"T643sl3_2\";\n" + |
| " }\n" + |
| "}\n" + |
| " \n", |
| "T643sl3_3.java", |
| "\n" + |
| "public class T643sl3_3 extends T643sl3_2 {\n" + |
| " public String toString() {\n" + |
| " return \"T643sl3_3\";\n" + |
| " }\n" + |
| "}\n" + |
| " \n", |
| "Team643sl3_1.java", |
| "\n" + |
| "public team class Team643sl3_1 {\n" + |
| " public class Role643sl3_1 extends T643sl3_6 {\n" + |
| " public String toString() {\n" + |
| " return Team643sl3_1.this.toString() + \".Role643sl3_1\";\n" + |
| " }\n" + |
| " }\n" + |
| "\n" + |
| " public abstract class Role643sl3_2 extends Role643sl3_1 playedBy T643sl3_1 {\n" + |
| " public String toString() {\n" + |
| " return Team643sl3_1.this.toString() + \".Role643sl3_2\";\n" + |
| " }\n" + |
| " }\n" + |
| "\n" + |
| " public class Role643sl3_3 extends Role643sl3_2 {\n" + |
| " public String toString() {\n" + |
| " return Team643sl3_1.this.toString() + \".Role643sl3_3\";\n" + |
| " }\n" + |
| " }\n" + |
| "\n" + |
| " public String toString() {\n" + |
| " return \"Team643sl3_1\";\n" + |
| " }\n" + |
| "\n" + |
| " public String t1(T643sl3_3 as Role643sl3_1 obj) {\n" + |
| " return obj.toString();\n" + |
| " }\n" + |
| "}\n" + |
| " \n", |
| "T643sl3_4.java", |
| "\n" + |
| "public class T643sl3_4 extends T643sl3_2 {\n" + |
| " public String toString() {\n" + |
| " return \"T643sl3_4\";\n" + |
| " }\n" + |
| "}\n" + |
| " \n", |
| "Team643sl3_2.java", |
| "\n" + |
| "public team class Team643sl3_2 extends Team643sl3_1 {\n" + |
| " public class Role643sl3_3 {\n" + |
| " public String toString() {\n" + |
| " return Team643sl3_2.this.toString() + \".Role643sl3_3\";\n" + |
| " }\n" + |
| " }\n" + |
| " public class Role643sl3_4 extends Role643sl3_3 playedBy T643sl3_3 {\n" + |
| " public String toString() {\n" + |
| " return Team643sl3_2.this.toString() + \".Role643sl3_4\";\n" + |
| " }\n" + |
| " }\n" + |
| "\n" + |
| " public String toString() {\n" + |
| " return \"Team643sl3_2\";\n" + |
| " }\n" + |
| "\n" + |
| "}\n" + |
| " \n", |
| "T643sl3_5.java", |
| "\n" + |
| "public class T643sl3_5 extends T643sl3_1 {\n" + |
| " public String toString() {\n" + |
| " return \"T643sl3_5\";\n" + |
| " }\n" + |
| "}\n" + |
| " \n", |
| "T643sl3_1.java", |
| "\n" + |
| "public class T643sl3_1 {\n" + |
| " public String toString() {\n" + |
| " return \"T643sl3_1\";\n" + |
| " }\n" + |
| "}\n" + |
| " \n" |
| }, |
| "Team643sl3_3.Role643sl3_4"); |
| } |
| |
| // a base object from a class hierarchy is smart-lifted to a role class from a role class hierarchy |
| // 6.4.3-otjld-smart-lifting-4 |
| public void test643_smartLifting4() { |
| |
| runConformTest( |
| new String[] { |
| "T643sl4Main.java", |
| "\n" + |
| "public class T643sl4Main {\n" + |
| " public static void main(String[] args) {\n" + |
| " Team643sl4_1 t = new Team643sl4_4();\n" + |
| " T643sl4_3 o = new T643sl4_3();\n" + |
| "\n" + |
| " System.out.print(t.t1(o));\n" + |
| " }\n" + |
| "}\n" + |
| " \n", |
| "Team643sl4_4.java", |
| "\n" + |
| "public team class Team643sl4_4 extends Team643sl4_3 {\n" + |
| " public class Role643sl4_5 {\n" + |
| " public String toString() {\n" + |
| " return Team643sl4_4.this.toString() + \".Role643sl4_5\";\n" + |
| " }\n" + |
| " }\n" + |
| "\n" + |
| " public String toString() {\n" + |
| " return \"Team643sl4_4\";\n" + |
| " }\n" + |
| "}\n" + |
| " \n", |
| "Team643sl4_2.java", |
| "\n" + |
| "public team class Team643sl4_2 extends Team643sl4_1 {\n" + |
| " public class Role643sl4_3 {\n" + |
| " public String toString() {\n" + |
| " return Team643sl4_2.this.toString() + \".Role643sl4_3\";\n" + |
| " }\n" + |
| " }\n" + |
| " public class Role643sl4_4 extends Role643sl4_3 playedBy T643sl4_3 {\n" + |
| " public String toString() {\n" + |
| " return Team643sl4_2.this.toString() + \".Role643sl4_4\";\n" + |
| " }\n" + |
| " }\n" + |
| "\n" + |
| " public String toString() {\n" + |
| " return \"Team643sl4_2\";\n" + |
| " }\n" + |
| "\n" + |
| "}\n" + |
| " \n", |
| "T643sl4_5.java", |
| "\n" + |
| "public class T643sl4_5 extends T643sl4_1 {\n" + |
| " public String toString() {\n" + |
| " return \"T643sl4_5\";\n" + |
| " }\n" + |
| "}\n" + |
| " \n", |
| "T643sl4_1.java", |
| "\n" + |
| "public class T643sl4_1 {\n" + |
| " public String toString() {\n" + |
| " return \"T643sl4_1\";\n" + |
| " }\n" + |
| "}\n" + |
| " \n", |
| "Team643sl4_3.java", |
| "\n" + |
| "public team class Team643sl4_3 extends Team643sl4_2 {\n" + |
| " public class Role643sl4_5 extends Role643sl4_3 playedBy T643sl4_5 {\n" + |
| " public String toString() {\n" + |
| " return Team643sl4_3.this.toString() + \".Role643sl4_5\";\n" + |
| " }\n" + |
| " }\n" + |
| "\n" + |
| " public String toString() {\n" + |
| " return \"Team643sl4_3\";\n" + |
| " }\n" + |
| "\n" + |
| "}\n" + |
| " \n", |
| "T643sl4_6.java", |
| "\n" + |
| "public class T643sl4_6 extends T643sl4_5 {\n" + |
| " public String toString() {\n" + |
| " return \"T643sl4_6\";\n" + |
| " }\n" + |
| "}\n" + |
| " \n", |
| "T643sl4_2.java", |
| "\n" + |
| "public abstract class T643sl4_2 extends T643sl4_1 {\n" + |
| " public String toString() {\n" + |
| " return \"T643sl4_2\";\n" + |
| " }\n" + |
| "}\n" + |
| " \n", |
| "T643sl4_3.java", |
| "\n" + |
| "public class T643sl4_3 extends T643sl4_2 {\n" + |
| " public String toString() {\n" + |
| " return \"T643sl4_3\";\n" + |
| " }\n" + |
| "}\n" + |
| " \n", |
| "Team643sl4_1.java", |
| "\n" + |
| "public team class Team643sl4_1 {\n" + |
| " public class Role643sl4_1 extends T643sl4_6 {\n" + |
| " public String toString() {\n" + |
| " return Team643sl4_1.this.toString() + \".Role643sl4_1\";\n" + |
| " }\n" + |
| " }\n" + |
| "\n" + |
| " public abstract class Role643sl4_2 extends Role643sl4_1 playedBy T643sl4_1 {\n" + |
| " public String toString() {\n" + |
| " return Team643sl4_1.this.toString() + \".Role643sl4_2\";\n" + |
| " }\n" + |
| " }\n" + |
| "\n" + |
| " public class Role643sl4_3 extends Role643sl4_2 {\n" + |
| " public String toString() {\n" + |
| " return Team643sl4_1.this.toString() + \".Role643sl4_3\";\n" + |
| " }\n" + |
| " }\n" + |
| "\n" + |
| " public String toString() {\n" + |
| " return \"Team643sl4_1\";\n" + |
| " }\n" + |
| "\n" + |
| " public String t1(T643sl4_3 as Role643sl4_1 obj) {\n" + |
| " return obj.toString();\n" + |
| " }\n" + |
| "}\n" + |
| " \n", |
| "T643sl4_4.java", |
| "\n" + |
| "public class T643sl4_4 extends T643sl4_2 {\n" + |
| " public String toString() {\n" + |
| " return \"T643sl4_4\";\n" + |
| " }\n" + |
| "}\n" + |
| " \n" |
| }, |
| "Team643sl4_4.Role643sl4_4"); |
| } |
| } |
