List of usage examples for org.eclipse.jdt.internal.compiler.impl CompilerOptions OPTION_ReportMissingOverrideAnnotation
String OPTION_ReportMissingOverrideAnnotation
To view the source code for org.eclipse.jdt.internal.compiler.impl CompilerOptions OPTION_ReportMissingOverrideAnnotation.
Click Source Link
From source file:org.eclipse.objectteams.otdt.tests.otjld.other.Java5.java
License:Open Source License
public void testA116_overrideAnnotation3() { Map customOptions = getCompilerOptions(); customOptions.put(CompilerOptions.OPTION_ReportMissingOverrideAnnotation, CompilerOptions.WARNING); runConformTest(/*ww w.ja v a 2s . c om*/ new String[] { "TeamA116on3_2.java", "\n" + "public team class TeamA116on3_2 extends TeamA116on3_1 {\n" + " protected class R {\n" + " @Override protected void test() {\n" + " System.out.print(\"OK\");\n" + " }\n" + " }\n" + " TeamA116on3_2 () {\n" + " new R().test();\n" + " }\n" + " public static void main(String[] args) {\n" + " new TeamA116on3_2();\n" + " }\n" + "}\n" + " \n", "TeamA116on3_1.java", "\n" + "public team class TeamA116on3_1 {\n" + " protected class R {\n" + " protected void test() {\n" + " System.out.print(\"Nope\");\n" + " }\n" + " }\n" + "}\n" + " \n" }, "OK", null/*classLibraries*/, true/*shouldFlushOutputDirectory*/, null/*vmArguments*/, customOptions, null/*no custom requestor*/); }
From source file:org.eclipse.objectteams.otdt.tests.otjld.roleplaying.BindingAmbiguities1.java
License:Open Source License
@SuppressWarnings("unchecked") public void test731_ambiguousBinding1() { Map options = getCompilerOptions(); options.put(CompilerOptions.OPTION_SuppressOptionalErrors, CompilerOptions.ENABLED); options.put(CompilerOptions.OPTION_ReportMissingOverrideAnnotation, CompilerOptions.DISABLED); runConformTest(new String[] { "T731ab1Main.java", "\n" + "public class T731ab1Main {\n" + " public static void main(String[] args) {\n" + " Team731ab1_1 t = new Team731ab1_1();\n" + " T731ab1_1 o = new T731ab1_2();\n" + "\n" + " System.out.print(t.t1(o));\n" + " }\n" + "}\n" + " \n", "Team731ab1_4.java", "\n" + "public team class Team731ab1_4 extends Team731ab1_3 {\n" + " public String toString() {\n" + " return \"Team731ab1_4\";\n" + " }\n" + "}\n" + " \n", "Team731ab1_3.java", "@SuppressWarnings(\"hidden-lifting-problem\")\n" + // this team introduces the binding ambiguity (incompatible override of liftTo methods) "public team class Team731ab1_3 extends Team731ab1_2 {\n" + " public class Role731ab1_4 extends Role731ab1_1 playedBy T731ab1_3 {\n" + " public String toString() {\n" + " return Team731ab1_3.this.toString() + \".Role731ab1_4\";\n" + " }\n" + " }\n" + "\n" + " public String toString() {\n" + " return \"Team731ab1_3\";\n" + " }\n" + "\n" + "}\n" + " \n", "T731ab1_2.java", "\n" + "public class T731ab1_2 extends T731ab1_1 {\n" + " public String toString() {\n" + " return \"T731ab1_2\";\n" + " }\n" + "}\n" + " \n", "T731ab1_3.java", "\n" + "public class T731ab1_3 extends T731ab1_2 {\n" + " public String toString() {\n" + " return \"T731ab1_3\";\n" + " }\n" + "}\n" + " \n", "Team731ab1_1.java", // "@SuppressWarnings(\"abstractrelevantrole\")\n" + "public team class Team731ab1_1 {\n" + " public class Role731ab1_1 playedBy T731ab1_1 {\n" + " public String toString() {\n" + " return Team731ab1_1.this.toString() + \".Role731ab1_1\";\n" + " }\n" + " }\n" + "\n" + " public class Role731ab1_2 extends Role731ab1_1 playedBy T731ab1_2 {\n" + " public String toString() {\n" + " return Team731ab1_1.this.toString() + \".Role731ab1_2\";\n" + " }\n" + " }\n" + "\n" + " public String toString() {\n" + " return \"Team731ab1_1\";\n" + " }\n" + "\n" + " public String t1(T731ab1_1 as Role731ab1_1 obj) {\n" + " return obj.toString();\n" + " }\n" + "}\n" + " \n", "Team731ab1_2.java", "\n" + "public team class Team731ab1_2 extends Team731ab1_1 {\n" + " public class Role731ab1_1 {\n" + " public String toString() {\n" + " return Team731ab1_2.this.toString() + \".Role731ab1_1\";\n" + " }\n" + " }\n" + " public class Role731ab1_3 extends Role731ab1_2 playedBy T731ab1_3 {\n" + " public String toString() {\n" + " return Team731ab1_2.this.toString() + \".Role731ab1_3\";\n" + " }\n" + " }\n" + "\n" + " public String toString() {\n" + " return \"Team731ab1_2\";\n" + " }\n" + "\n" + "}\n" + " \n", "T731ab1_1.java", "\n" + "public abstract class T731ab1_1 {\n" + " public String toString() {\n" + " return \"T731ab1_1\";\n" + " }\n" + "}\n" + " \n" }, "Team731ab1_1.Role731ab1_2", null/*classLibs*/, true/*shouldFlush*/, null/*vmArguments*/, options, null/*requester*/); }
From source file:org.eclipse.objectteams.otdt.tests.otjld.roleplaying.BindingAmbiguities1.java
License:Open Source License
public void test731_ambiguousBinding2() { Map options = getCompilerOptions(); options.put(CompilerOptions.OPTION_SuppressOptionalErrors, CompilerOptions.ENABLED); options.put(CompilerOptions.OPTION_ReportMissingOverrideAnnotation, CompilerOptions.DISABLED); runConformTest(/*from w w w. j ava2 s . c o m*/ new String[] { "T731ab2Main.java", "\n" + "public class T731ab2Main {\n" + " public static void main(String[] args) {\n" + " Team731ab2_1 t = new Team731ab2_2();\n" + " T731ab2_1 o = new T731ab2_2();\n" + "\n" + " System.out.print(t.t1(o));\n" + " }\n" + "}\n" + " \n", "Team731ab2_4.java", "\n" + "public team class Team731ab2_4 extends Team731ab2_3 {\n" + " public String toString() {\n" + " return \"Team731ab2_4\";\n" + " }\n" + "}\n" + " \n", "Team731ab2_2.java", "\n" + "public team class Team731ab2_2 extends Team731ab2_1 {\n" + " public class Role731ab2_1 {\n" + " public String toString() {\n" + " return Team731ab2_2.this.toString() + \".Role731ab2_1\";\n" + " }\n" + " }\n" + " public class Role731ab2_3 extends Role731ab2_2 playedBy T731ab2_3 {\n" + " public String toString() {\n" + " return Team731ab2_2.this.toString() + \".Role731ab2_3\";\n" + " }\n" + " }\n" + "\n" + " public String toString() {\n" + " return \"Team731ab2_2\";\n" + " }\n" + "\n" + "}\n" + " \n", "T731ab2_1.java", "\n" + "public abstract class T731ab2_1 {\n" + " public String toString() {\n" + " return \"T731ab2_1\";\n" + " }\n" + "}\n" + " \n", "Team731ab2_3.java", "@SuppressWarnings(\"hidden-lifting-problem\")\n" + "public team class Team731ab2_3 extends Team731ab2_2 {\n" + " public class Role731ab2_4 extends Role731ab2_1 playedBy T731ab2_3 {\n" + " public String toString() {\n" + " return Team731ab2_3.this.toString() + \".Role731ab2_4\";\n" + " }\n" + " }\n" + "\n" + " public String toString() {\n" + " return \"Team731ab2_3\";\n" + " }\n" + "\n" + "}\n" + " \n", "T731ab2_2.java", "\n" + "public class T731ab2_2 extends T731ab2_1 {\n" + " public String toString() {\n" + " return \"T731ab2_2\";\n" + " }\n" + "}\n" + " \n", "T731ab2_3.java", "\n" + "public class T731ab2_3 extends T731ab2_2 {\n" + " public String toString() {\n" + " return \"T731ab2_3\";\n" + " }\n" + "}\n" + " \n", "Team731ab2_1.java", "\n" + "public team class Team731ab2_1 {\n" + " public class Role731ab2_1 playedBy T731ab2_1 {\n" + " public String toString() {\n" + " return Team731ab2_1.this.toString() + \".Role731ab2_1\";\n" + " }\n" + " }\n" + "\n" + " public class Role731ab2_2 extends Role731ab2_1 playedBy T731ab2_2 {\n" + " public String toString() {\n" + " return Team731ab2_1.this.toString() + \".Role731ab2_2\";\n" + " }\n" + " }\n" + "\n" + " public String toString() {\n" + " return \"Team731ab2_1\";\n" + " }\n" + "\n" + " public String t1(T731ab2_1 as Role731ab2_1 obj) {\n" + " return obj.toString();\n" + " }\n" + "}\n" + " \n" }, "Team731ab2_2.Role731ab2_2", null/*classLibs*/, true/*shouldFlush*/, null/*vmArguments*/, options, null/*requester*/); }
From source file:org.eclipse.objectteams.otdt.tests.otjld.roleplaying.BindingAmbiguities1.java
License:Open Source License
public void test731_ambiguousBinding3() { Map options = getCompilerOptions(); options.put(CompilerOptions.OPTION_SuppressOptionalErrors, CompilerOptions.ENABLED); options.put(CompilerOptions.OPTION_ReportMissingOverrideAnnotation, CompilerOptions.DISABLED); runConformTest(/*from w w w .j av a2 s . c o m*/ new String[] { "T731ab3Main.java", "\n" + "public class T731ab3Main {\n" + " public static void main(String[] args) {\n" + " Team731ab3_1 t = new Team731ab3_3();\n" + " T731ab3_1 o = new T731ab3_2();\n" + "\n" + " System.out.print(t.t1(o));\n" + " }\n" + "}\n" + " \n", "Team731ab3_4.java", "\n" + "public team class Team731ab3_4 extends Team731ab3_3 {\n" + " public String toString() {\n" + " return \"Team731ab3_4\";\n" + " }\n" + "}\n" + " \n", "Team731ab3_1.java", "\n" + "public team class Team731ab3_1 {\n" + " public class Role731ab3_1 playedBy T731ab3_1 {\n" + " public String toString() {\n" + " return Team731ab3_1.this.toString() + \".Role731ab3_1\";\n" + " }\n" + " }\n" + "\n" + " public class Role731ab3_2 extends Role731ab3_1 playedBy T731ab3_2 {\n" + " public String toString() {\n" + " return Team731ab3_1.this.toString() + \".Role731ab3_2\";\n" + " }\n" + " }\n" + "\n" + " public String toString() {\n" + " return \"Team731ab3_1\";\n" + " }\n" + "\n" + " public String t1(T731ab3_1 as Role731ab3_1 obj) {\n" + " return obj.toString();\n" + " }\n" + "}\n" + " \n", "Team731ab3_2.java", "\n" + "public team class Team731ab3_2 extends Team731ab3_1 {\n" + " public class Role731ab3_1 {\n" + " public String toString() {\n" + " return Team731ab3_2.this.toString() + \".Role731ab3_1\";\n" + " }\n" + " }\n" + " public class Role731ab3_3 extends Role731ab3_2 playedBy T731ab3_3 {\n" + " public String toString() {\n" + " return Team731ab3_2.this.toString() + \".Role731ab3_3\";\n" + " }\n" + " }\n" + "\n" + " public String toString() {\n" + " return \"Team731ab3_2\";\n" + " }\n" + "\n" + "}\n" + " \n", "T731ab3_1.java", "\n" + "public abstract class T731ab3_1 {\n" + " public String toString() {\n" + " return \"T731ab3_1\";\n" + " }\n" + "}\n" + " \n", "Team731ab3_3.java", "@SuppressWarnings(\"hidden-lifting-problem\")\n" + "public team class Team731ab3_3 extends Team731ab3_2 {\n" + " public class Role731ab3_4 extends Role731ab3_1 playedBy T731ab3_3 {\n" + " public String toString() {\n" + " return Team731ab3_3.this.toString() + \".Role731ab3_4\";\n" + " }\n" + " }\n" + "\n" + " public String toString() {\n" + " return \"Team731ab3_3\";\n" + " }\n" + "\n" + "}\n" + " \n", "T731ab3_2.java", "\n" + "public class T731ab3_2 extends T731ab3_1 {\n" + " public String toString() {\n" + " return \"T731ab3_2\";\n" + " }\n" + "}\n" + " \n", "T731ab3_3.java", "\n" + "public class T731ab3_3 extends T731ab3_2 {\n" + " public String toString() {\n" + " return \"T731ab3_3\";\n" + " }\n" + "}\n" + " \n" }, "Team731ab3_3.Role731ab3_2", null/*classLibs*/, true/*shouldFlush*/, null/*vmArguments*/, options, null/*requester*/); }
From source file:org.eclipse.objectteams.otdt.tests.otjld.roleplaying.BindingAmbiguities1.java
License:Open Source License
public void test731_ambiguousBinding4() { Map options = getCompilerOptions(); options.put(CompilerOptions.OPTION_SuppressOptionalErrors, CompilerOptions.ENABLED); options.put(CompilerOptions.OPTION_ReportMissingOverrideAnnotation, CompilerOptions.DISABLED); runConformTest(//from ww w. ja v a2 s.co m new String[] { "T731ab4Main.java", "\n" + "public class T731ab4Main {\n" + " public static void main(String[] args) {\n" + " Team731ab4_1 t = new Team731ab4_4();\n" + " T731ab4_1 o = new T731ab4_2();\n" + "\n" + " System.out.print(t.t1(o));\n" + " }\n" + "}\n" + " \n", "Team731ab4_4.java", "\n" + "public team class Team731ab4_4 extends Team731ab4_3 {\n" + " public String toString() {\n" + " return \"Team731ab4_4\";\n" + " }\n" + "}\n" + " \n", "T731ab4_3.java", "\n" + "public class T731ab4_3 extends T731ab4_2 {\n" + " public String toString() {\n" + " return \"T731ab4_3\";\n" + " }\n" + "}\n" + " \n", "Team731ab4_1.java", "\n" + "public team class Team731ab4_1 {\n" + " public class Role731ab4_1 playedBy T731ab4_1 {\n" + " public String toString() {\n" + " return Team731ab4_1.this.toString() + \".Role731ab4_1\";\n" + " }\n" + " }\n" + "\n" + " public class Role731ab4_2 extends Role731ab4_1 playedBy T731ab4_2 {\n" + " public String toString() {\n" + " return Team731ab4_1.this.toString() + \".Role731ab4_2\";\n" + " }\n" + " }\n" + "\n" + " public String toString() {\n" + " return \"Team731ab4_1\";\n" + " }\n" + "\n" + " public String t1(T731ab4_1 as Role731ab4_1 obj) {\n" + " return obj.toString();\n" + " }\n" + "}\n" + " \n", "Team731ab4_2.java", "\n" + "public team class Team731ab4_2 extends Team731ab4_1 {\n" + " public class Role731ab4_1 {\n" + " public String toString() {\n" + " return Team731ab4_2.this.toString() + \".Role731ab4_1\";\n" + " }\n" + " }\n" + " public class Role731ab4_3 extends Role731ab4_2 playedBy T731ab4_3 {\n" + " public String toString() {\n" + " return Team731ab4_2.this.toString() + \".Role731ab4_3\";\n" + " }\n" + " }\n" + "\n" + " public String toString() {\n" + " return \"Team731ab4_2\";\n" + " }\n" + "\n" + "}\n" + " \n", "T731ab4_1.java", "\n" + "public abstract class T731ab4_1 {\n" + " public String toString() {\n" + " return \"T731ab4_1\";\n" + " }\n" + "}\n" + " \n", "Team731ab4_3.java", "@SuppressWarnings(\"hidden-lifting-problem\")\n" + "public team class Team731ab4_3 extends Team731ab4_2 {\n" + " public class Role731ab4_4 extends Role731ab4_1 playedBy T731ab4_3 {\n" + " public String toString() {\n" + " return Team731ab4_3.this.toString() + \".Role731ab4_4\";\n" + " }\n" + " }\n" + "\n" + " public String toString() {\n" + " return \"Team731ab4_3\";\n" + " }\n" + "\n" + "}\n" + " \n", "T731ab4_2.java", "\n" + "public class T731ab4_2 extends T731ab4_1 {\n" + " public String toString() {\n" + " return \"T731ab4_2\";\n" + " }\n" + "}\n" + " \n" }, "Team731ab4_4.Role731ab4_2", null/*classLibs*/, true/*shouldFlush*/, null/*vmArguments*/, options, null/*requester*/); }
From source file:org.eclipse.objectteams.otdt.tests.otjld.roleplaying.BindingAmbiguities1.java
License:Open Source License
public void test731_ambiguousBinding5() { Map options = getCompilerOptions(); options.put(CompilerOptions.OPTION_SuppressOptionalErrors, CompilerOptions.ENABLED); options.put(CompilerOptions.OPTION_ReportMissingOverrideAnnotation, CompilerOptions.DISABLED); runConformTest(//from w ww . ja v a2 s . c o m new String[] { "T731ab5Main.java", "\n" + "public class T731ab5Main {\n" + " public static void main(String[] args) {\n" + " Team731ab5_1 t = new Team731ab5_1();\n" + " T731ab5_1 o = new T731ab5_3();\n" + "\n" + " System.out.print(t.t1(o));\n" + " }\n" + "}\n" + " \n", "Team731ab5_4.java", "\n" + "public team class Team731ab5_4 extends Team731ab5_3 {\n" + " public String toString() {\n" + " return \"Team731ab5_4\";\n" + " }\n" + "}\n" + " \n", "Team731ab5_3.java", "@SuppressWarnings(\"hidden-lifting-problem\")\n" + "public team class Team731ab5_3 extends Team731ab5_2 {\n" + " public class Role731ab5_4 extends Role731ab5_1 playedBy T731ab5_3 {\n" + " public String toString() {\n" + " return Team731ab5_3.this.toString() + \".Role731ab5_4\";\n" + " }\n" + " }\n" + "\n" + " public String toString() {\n" + " return \"Team731ab5_3\";\n" + " }\n" + "\n" + "}\n" + " \n", "T731ab5_2.java", "\n" + "public class T731ab5_2 extends T731ab5_1 {\n" + " public String toString() {\n" + " return \"T731ab5_2\";\n" + " }\n" + "}\n" + " \n", "T731ab5_3.java", "\n" + "public class T731ab5_3 extends T731ab5_2 {\n" + " public String toString() {\n" + " return \"T731ab5_3\";\n" + " }\n" + "}\n" + " \n", "Team731ab5_1.java", "\n" + "public team class Team731ab5_1 {\n" + " public class Role731ab5_1 playedBy T731ab5_1 {\n" + " public String toString() {\n" + " return Team731ab5_1.this.toString() + \".Role731ab5_1\";\n" + " }\n" + " }\n" + "\n" + " public class Role731ab5_2 extends Role731ab5_1 playedBy T731ab5_2 {\n" + " public String toString() {\n" + " return Team731ab5_1.this.toString() + \".Role731ab5_2\";\n" + " }\n" + " }\n" + "\n" + " public String toString() {\n" + " return \"Team731ab5_1\";\n" + " }\n" + "\n" + " public String t1(T731ab5_1 as Role731ab5_1 obj) {\n" + " return obj.toString();\n" + " }\n" + "}\n" + " \n", "Team731ab5_2.java", "\n" + "public team class Team731ab5_2 extends Team731ab5_1 {\n" + " public class Role731ab5_1 {\n" + " public String toString() {\n" + " return Team731ab5_2.this.toString() + \".Role731ab5_1\";\n" + " }\n" + " }\n" + " public class Role731ab5_3 extends Role731ab5_2 playedBy T731ab5_3 {\n" + " public String toString() {\n" + " return Team731ab5_2.this.toString() + \".Role731ab5_3\";\n" + " }\n" + " }\n" + "\n" + " public String toString() {\n" + " return \"Team731ab5_2\";\n" + " }\n" + "\n" + "}\n" + " \n", "T731ab5_1.java", "\n" + "public abstract class T731ab5_1 {\n" + " public String toString() {\n" + " return \"T731ab5_1\";\n" + " }\n" + "}\n" + " \n" }, "Team731ab5_1.Role731ab5_2", null/*classLibs*/, true/*shouldFlush*/, null/*vmArguments*/, options, null/*requester*/); }
From source file:org.eclipse.objectteams.otdt.tests.otjld.roleplaying.BindingAmbiguities1.java
License:Open Source License
public void test731_ambiguousBinding6() { Map options = getCompilerOptions(); options.put(CompilerOptions.OPTION_SuppressOptionalErrors, CompilerOptions.ENABLED); options.put(CompilerOptions.OPTION_ReportMissingOverrideAnnotation, CompilerOptions.DISABLED); runConformTest(/* w ww . ja v a 2s . c om*/ new String[] { "T731ab6Main.java", "\n" + "public class T731ab6Main {\n" + " public static void main(String[] args) {\n" + " Team731ab6_1 t = new Team731ab6_2();\n" + " T731ab6_1 o = new T731ab6_3();\n" + "\n" + " System.out.print(t.t1(o));\n" + " }\n" + "}\n" + " \n", "Team731ab6_4.java", "\n" + "public team class Team731ab6_4 extends Team731ab6_3 {\n" + " public String toString() {\n" + " return \"Team731ab6_4\";\n" + " }\n" + "}\n" + " \n", "Team731ab6_2.java", "\n" + "public team class Team731ab6_2 extends Team731ab6_1 {\n" + " public class Role731ab6_1 {\n" + " public String toString() {\n" + " return Team731ab6_2.this.toString() + \".Role731ab6_1\";\n" + " }\n" + " }\n" + " public class Role731ab6_3 extends Role731ab6_2 playedBy T731ab6_3 {\n" + " public String toString() {\n" + " return Team731ab6_2.this.toString() + \".Role731ab6_3\";\n" + " }\n" + " }\n" + "\n" + " public String toString() {\n" + " return \"Team731ab6_2\";\n" + " }\n" + "\n" + "}\n" + " \n", "T731ab6_1.java", "\n" + "public abstract class T731ab6_1 {\n" + " public String toString() {\n" + " return \"T731ab6_1\";\n" + " }\n" + "}\n" + " \n", "Team731ab6_3.java", "@SuppressWarnings(\"hidden-lifting-problem\")\n" + "public team class Team731ab6_3 extends Team731ab6_2 {\n" + " public class Role731ab6_4 extends Role731ab6_1 playedBy T731ab6_3 {\n" + " public String toString() {\n" + " return Team731ab6_3.this.toString() + \".Role731ab6_4\";\n" + " }\n" + " }\n" + "\n" + " public String toString() {\n" + " return \"Team731ab6_3\";\n" + " }\n" + "\n" + "}\n" + " \n", "T731ab6_2.java", "\n" + "public class T731ab6_2 extends T731ab6_1 {\n" + " public String toString() {\n" + " return \"T731ab6_2\";\n" + " }\n" + "}\n" + " \n", "T731ab6_3.java", "\n" + "public class T731ab6_3 extends T731ab6_2 {\n" + " public String toString() {\n" + " return \"T731ab6_3\";\n" + " }\n" + "}\n" + " \n", "Team731ab6_1.java", "\n" + "public team class Team731ab6_1 {\n" + " public class Role731ab6_1 playedBy T731ab6_1 {\n" + " public String toString() {\n" + " return Team731ab6_1.this.toString() + \".Role731ab6_1\";\n" + " }\n" + " }\n" + "\n" + " public class Role731ab6_2 extends Role731ab6_1 playedBy T731ab6_2 {\n" + " public String toString() {\n" + " return Team731ab6_1.this.toString() + \".Role731ab6_2\";\n" + " }\n" + " }\n" + "\n" + " public String toString() {\n" + " return \"Team731ab6_1\";\n" + " }\n" + "\n" + " public String t1(T731ab6_1 as Role731ab6_1 obj) {\n" + " return obj.toString();\n" + " }\n" + "}\n" + " \n" }, "Team731ab6_2.Role731ab6_3", null/*classLibs*/, true/*shouldFlush*/, null/*vmArguments*/, options, null/*requester*/); }
From source file:org.eclipse.objectteams.otdt.tests.otjld.roleplaying.BindingAmbiguities1.java
License:Open Source License
public void test731_ambiguousBinding7() { Map options = getCompilerOptions(); options.put(CompilerOptions.OPTION_SuppressOptionalErrors, CompilerOptions.ENABLED); options.put(CompilerOptions.OPTION_ReportMissingOverrideAnnotation, CompilerOptions.DISABLED); runConformTest(new String[] { "T731ab7Main.java", "\n" + "public class T731ab7Main {\n" + " public static void main(String[] args) {\n" + " Team731ab7_1 t = new Team731ab7_3();\n" + " T731ab7_1 o = new T731ab7_3();\n" + "\n" + " try {\n" + " System.out.print(t.t1(o));\n" + " } catch (org.objectteams.LiftingFailedException ex) {\n" + " System.out.print(ex.toString());\n" + " }\n" + " }\n" + "}\n" + " \n", "Team731ab7_4.java", "\n" + "public team class Team731ab7_4 extends Team731ab7_3 {\n" + " public String toString() {\n" + " return \"Team731ab7_4\";\n" + " }\n" + "}\n" + " \n", "Team731ab7_1.java", "\n" + "public team class Team731ab7_1 {\n" + " public class Role731ab7_1 playedBy T731ab7_1 {\n" + " public String toString() {\n" + " return Team731ab7_1.this.toString() + \".Role731ab7_1\";\n" + " }\n" + " }\n" + "\n" + " public class Role731ab7_2 extends Role731ab7_1 playedBy T731ab7_2 {\n" + " public String toString() {\n" + " return Team731ab7_1.this.toString() + \".Role731ab7_2\";\n" + " }\n" + " }\n" + "\n" + " public String toString() {\n" + " return \"Team731ab7_1\";\n" + " }\n" + "\n" + " public String t1(T731ab7_1 as Role731ab7_1 obj) throws org.objectteams.LiftingFailedException {\n" + " return obj.toString();\n" + " }\n" + "}\n" + " \n", "Team731ab7_2.java", "\n" + "public team class Team731ab7_2 extends Team731ab7_1 {\n" + " public class Role731ab7_1 {\n" + " public String toString() {\n" + " return Team731ab7_2.this.toString() + \".Role731ab7_1\";\n" + " }\n" + " }\n" + " public class Role731ab7_3 extends Role731ab7_2 playedBy T731ab7_3 {\n" + " public String toString() {\n" + " return Team731ab7_2.this.toString() + \".Role731ab7_3\";\n" + " }\n" + " }\n" + "\n" + " public String toString() {\n" + " return \"Team731ab7_2\";\n" + " }\n" + "\n" + "}\n" + " \n", "T731ab7_1.java", "\n" + "public abstract class T731ab7_1 {\n" + " public String toString() {\n" + " return \"T731ab7_1\";\n" + " }\n" + "}\n" + " \n", "Team731ab7_3.java", "@SuppressWarnings(\"hidden-lifting-problem\")\n" + "public team class Team731ab7_3 extends Team731ab7_2 {\n" + " public class Role731ab7_4 extends Role731ab7_1 playedBy T731ab7_3 {\n" + " public String toString() {\n" + " return Team731ab7_3.this.toString() + \".Role731ab7_4\";\n" + " }\n" + " }\n" + "\n" + " public String toString() {\n" + " return \"Team731ab7_3\";\n" + " }\n" + " public String t1(T731ab7_1 as Role731ab7_1 obj) throws org.objectteams.LiftingFailedException {\n" + " return super.t1(obj);\n" + " }\n" + "\n" + "}\n" + " \n", "T731ab7_2.java", "\n" + "public class T731ab7_2 extends T731ab7_1 {\n" + " public String toString() {\n" + " return \"T731ab7_2\";\n" + " }\n" + "}\n" + " \n", "T731ab7_3.java", "\n" + "public class T731ab7_3 extends T731ab7_2 {\n" + " public String toString() {\n" + " return \"T731ab7_3\";\n" + " }\n" + "}\n" + " \n" }, "org.objectteams.LiftingFailedException: \n" + "Failed to lift \'T731ab7_3\' of class T731ab7_3 to type \'Role731ab7_1\'\n" + "(See OT/J definition para. 2.3.4(c)).", null/*classLibs*/, true/*shouldFlush*/, null/*vmArguments*/, options, null/*requester*/); }
From source file:org.eclipse.objectteams.otdt.tests.otjld.roleplaying.BindingAmbiguities1.java
License:Open Source License
public void test731_ambiguousBinding8() { Map options = getCompilerOptions(); options.put(CompilerOptions.OPTION_SuppressOptionalErrors, CompilerOptions.ENABLED); options.put(CompilerOptions.OPTION_ReportMissingOverrideAnnotation, CompilerOptions.DISABLED); runConformTest(new String[] { "T731ab8Main.java", "\n" + "public class T731ab8Main {\n" + " public static void main(String[] args) {\n" + " Team731ab8_1 t = new Team731ab8_4();\n" + " T731ab8_1 o = new T731ab8_3();\n" + "\n" + " try {\n" + " System.out.print(t.t1(o));\n" + " } catch (org.objectteams.LiftingFailedException ex) {\n" + " System.out.print(ex.toString());\n" + " }\n" + " }\n" + "}\n" + " \n", "Team731ab8_4.java", "\n" + "public team class Team731ab8_4 extends Team731ab8_3 {\n" + " public String toString() {\n" + " return \"Team731ab8_4\";\n" + " }\n" + "}\n" + " \n", "T731ab8_3.java", "\n" + "public class T731ab8_3 extends T731ab8_2 {\n" + " public String toString() {\n" + " return \"T731ab8_3\";\n" + " }\n" + "}\n" + " \n", "Team731ab8_1.java", "\n" + "public team class Team731ab8_1 {\n" + " public class Role731ab8_1 playedBy T731ab8_1 {\n" + " public String toString() {\n" + " return Team731ab8_1.this.toString() + \".Role731ab8_1\";\n" + " }\n" + " }\n" + "\n" + " public class Role731ab8_2 extends Role731ab8_1 playedBy T731ab8_2 {\n" + " public String toString() {\n" + " return Team731ab8_1.this.toString() + \".Role731ab8_2\";\n" + " }\n" + " }\n" + "\n" + " public String toString() {\n" + " return \"Team731ab8_1\";\n" + " }\n" + "\n" + " public String t1(T731ab8_1 as Role731ab8_1 obj) throws org.objectteams.LiftingFailedException {\n" + " return obj.toString();\n" + " }\n" + "}\n" + " \n", "Team731ab8_2.java", "\n" + "public team class Team731ab8_2 extends Team731ab8_1 {\n" + " public class Role731ab8_1 {\n" + " public String toString() {\n" + " return Team731ab8_2.this.toString() + \".Role731ab8_1\";\n" + " }\n" + " }\n" + " public class Role731ab8_3 extends Role731ab8_2 playedBy T731ab8_3 {\n" + " public String toString() {\n" + " return Team731ab8_2.this.toString() + \".Role731ab8_3\";\n" + " }\n" + " }\n" + "\n" + " public String toString() {\n" + " return \"Team731ab8_2\";\n" + " }\n" + "\n" + "}\n" + " \n", "T731ab8_1.java", "\n" + "public abstract class T731ab8_1 {\n" + " public String toString() {\n" + " return \"T731ab8_1\";\n" + " }\n" + "}\n" + " \n", "Team731ab8_3.java", "@SuppressWarnings(\"hidden-lifting-problem\")\n" + "public team class Team731ab8_3 extends Team731ab8_2 {\n" + " public class Role731ab8_4 extends Role731ab8_1 playedBy T731ab8_3 {\n" + " public String toString() {\n" + " return Team731ab8_3.this.toString() + \".Role731ab8_4\";\n" + " }\n" + " }\n" + "\n" + " public String toString() {\n" + " return \"Team731ab8_3\";\n" + " }\n" + "\n" + "}\n" + " \n", "T731ab8_2.java", "\n" + "public class T731ab8_2 extends T731ab8_1 {\n" + " public String toString() {\n" + " return \"T731ab8_2\";\n" + " }\n" + "}\n" + " \n" }, "org.objectteams.LiftingFailedException: \n" + "Failed to lift \'T731ab8_3\' of class T731ab8_3 to type \'Role731ab8_1\'\n" + "(See OT/J definition para. 2.3.4(c)).", null/*classLibs*/, true/*shouldFlush*/, null/*vmArguments*/, options, null/*requester*/); }
From source file:org.eclipse.objectteams.otdt.tests.otjld.roleplaying.BindingAmbiguities1.java
License:Open Source License
public void test731_ambiguousBinding8e() { Map options = getCompilerOptions(); options.put(CompilerOptions.OPTION_ReportMissingOverrideAnnotation, CompilerOptions.DISABLED); runNegativeTestMultiResult(new String[] { "T731ab8e_3.java", "\n" + "public class T731ab8e_3 extends T731ab8e_2 {\n" + " public String toString() {\n" + " return \"T731ab8e_3\";\n" + " }\n" + "}\n" + " \n", "Team731ab8e_1.java", "\n" + "public team class Team731ab8e_1 {\n" + " public class Role731ab8e_1 playedBy T731ab8e_1 {\n" + " public String toString() {\n" + " return Team731ab8e_1.this.toString() + \".Role731ab8e_1\";\n" + " }\n" + " }\n" + "\n" + " public class Role731ab8e_2 extends Role731ab8e_1 playedBy T731ab8e_2 {\n" + " public String toString() {\n" + " return Team731ab8e_1.this.toString() + \".Role731ab8e_2\";\n" + " }\n" + " }\n" + "\n" + " public String toString() {\n" + " return \"Team731ab8e_1\";\n" + " }\n" + "\n" + " public String t1(T731ab8e_1 as Role731ab8e_1 obj) throws org.objectteams.LiftingFailedException {\n" + " return obj.toString();\n" + " }\n" + "}\n" + " \n", "Team731ab8e_2.java", "\n" + "public team class Team731ab8e_2 extends Team731ab8e_1 {\n" + " public class Role731ab8e_1 {\n" + " public String toString() {\n" + " return Team731ab8e_2.this.toString() + \".Role731ab8e_1\";\n" + " }\n" + " }\n" + " public class Role731ab8e_3 extends Role731ab8e_2 playedBy T731ab8e_3 {\n" + " public String toString() {\n" + " return Team731ab8e_2.this.toString() + \".Role731ab8e_3\";\n" + " }\n" + " }\n" + "\n" + " public String toString() {\n" + " return \"Team731ab8e_2\";\n" + " }\n" + "\n" + "}\n" + " \n", "T731ab8e_1.java", "\n" + "public abstract class T731ab8e_1 {\n" + " public String toString() {\n" + " return \"T731ab8e_1\";\n" + " }\n" + "}\n" + " \n", "Team731ab8e_3.java", "public team class Team731ab8e_3 extends Team731ab8e_2 {\n" + " public class Role731ab8e_4 extends Role731ab8e_1 playedBy T731ab8e_3 {\n" + " public String toString() {\n" + " return Team731ab8e_3.this.toString() + \".Role731ab8e_4\";\n" + " }\n" + " }\n" + "\n" + " public String toString() {\n" + " return \"Team731ab8e_3\";\n" + " }\n" + "\n" + "}\n" + " \n", "T731ab8e_2.java", "\n" + "public class T731ab8e_2 extends T731ab8e_1 {\n" + " public String toString() {\n" + " return \"T731ab8e_2\";\n" + " }\n" + "}\n" + " \n" }, options, new String[] { // expect errors on same location in either order "----------\n" + "1. WARNING in Team731ab8e_3.java (at line 1)\n" + " public team class Team731ab8e_3 extends Team731ab8e_2 {\n" + " ^^^^^^^^^^^^^\n" + "Potential ambiguity in role binding. The base \'T731ab8e_3\' is bound to the following roles: Team731ab8e_3.Role731ab8e_3,Team731ab8e_3.Role731ab8e_4 (OTJLD 2.3.4(a)).\n" + "----------\n" + "2. ERROR in Team731ab8e_3.java (at line 1)\n" + " public team class Team731ab8e_3 extends Team731ab8e_2 {\n" + " ^^^^^^^^^^^^^\n" + "Team introduces binding ambiguity for role Role731ab8e_1<@tthis[Team731ab8e_3]>, which may break clients of the super team (OTJLD 2.3.5(d)).\n" + "----------\n" + "3. ERROR in Team731ab8e_3.java (at line 1)\n" + " public team class Team731ab8e_3 extends Team731ab8e_2 {\n" + " ^^^^^^^^^^^^^\n" + "Team introduces binding ambiguity for role Role731ab8e_2<@tthis[Team731ab8e_3]>, which may break clients of the super team (OTJLD 2.3.5(d)).\n" + "----------\n" + "4. ERROR in Team731ab8e_3.java (at line 1)\n" + " public team class Team731ab8e_3 extends Team731ab8e_2 {\n" + " ^^^^^^^^^^^^^\n" + "Team introduces binding ambiguity for role Role731ab8e_3<@tthis[Team731ab8e_3]>, which may break clients of the super team (OTJLD 2.3.5(d)).\n" + "----------\n", "----------\n" + "1. WARNING in Team731ab8e_3.java (at line 1)\n" + " public team class Team731ab8e_3 extends Team731ab8e_2 {\n" + " ^^^^^^^^^^^^^\n" + "Potential ambiguity in role binding. The base \'T731ab8e_3\' is bound to the following roles: Team731ab8e_3.Role731ab8e_3,Team731ab8e_3.Role731ab8e_4 (OTJLD 2.3.4(a)).\n" + "----------\n" + "2. ERROR in Team731ab8e_3.java (at line 1)\n" + " public team class Team731ab8e_3 extends Team731ab8e_2 {\n" + " ^^^^^^^^^^^^^\n" + "Team introduces binding ambiguity for role Role731ab8e_1<@tthis[Team731ab8e_3]>, which may break clients of the super team (OTJLD 2.3.5(d)).\n" + "----------\n" + "3. ERROR in Team731ab8e_3.java (at line 1)\n" + " public team class Team731ab8e_3 extends Team731ab8e_2 {\n" + " ^^^^^^^^^^^^^\n" + "Team introduces binding ambiguity for role Role731ab8e_3<@tthis[Team731ab8e_3]>, which may break clients of the super team (OTJLD 2.3.5(d)).\n" + "----------\n" + "4. ERROR in Team731ab8e_3.java (at line 1)\n" + " public team class Team731ab8e_3 extends Team731ab8e_2 {\n" + " ^^^^^^^^^^^^^\n" + "Team introduces binding ambiguity for role Role731ab8e_2<@tthis[Team731ab8e_3]>, which may break clients of the super team (OTJLD 2.3.5(d)).\n" + "----------\n" }); }