Example usage for org.eclipse.jdt.internal.compiler.impl CompilerOptions OPTION_SuppressOptionalErrors

List of usage examples for org.eclipse.jdt.internal.compiler.impl CompilerOptions OPTION_SuppressOptionalErrors

Introduction

In this page you can find the example usage for org.eclipse.jdt.internal.compiler.impl CompilerOptions OPTION_SuppressOptionalErrors.

Prototype

String OPTION_SuppressOptionalErrors

To view the source code for org.eclipse.jdt.internal.compiler.impl CompilerOptions OPTION_SuppressOptionalErrors.

Click Source Link

Usage

From source file:org.eclipse.objectteams.jdt.nullity.tests.NullAnnotationTest.java

License:Open Source License

public void test_suppress_001() {
    Map customOptions = getCompilerOptions();
    customOptions.put(CompilerOptions.OPTION_SuppressOptionalErrors, CompilerOptions.ENABLED);
    runConformTestWithLibs(new String[] { "X.java",
            "import org.eclipse.jdt.annotation.*;\n" + "public class X {\n"
                    + "    @SuppressWarnings(\"null\")\n"
                    + "    @NonNull Object getObject(@Nullable Object o) {\n" + "        return o;\n" + // 'o' is only potentially null
                    "    }\n" + "}\n" },
            customOptions, "");
}

From source file:org.eclipse.objectteams.otdt.tests.otjld.api.Reflection.java

License:Open Source License

public void test921_hasRoleMethod5c2() {
    Map customOptions = getCompilerOptions();
    customOptions.put(CompilerOptions.OPTION_SuppressOptionalErrors, CompilerOptions.ENABLED);
    runConformTest(new String[] { "Team921hrm5c2.java",
            "import org.objectteams.LiftingFailedException;\n" + "@SuppressWarnings(\"ambiguousbinding\")\n"
                    + "public team class Team921hrm5c2 {\n" + "    precedence R2_R, R1_R;\n" + "    \n"
                    + "    protected abstract class R playedBy T921hrm5c2 {\n"
                    + "        @SuppressWarnings(\"basecall\")\n"
                    + "        callin void foo() { System.out.print(getClass().getName()); }\n"
                    + "//        foo <- replace test; // lifting impossible\n" + "    }\n"
                    + "    protected class R1_R extends R\n"
                    + "        base when (Team921hrm5c2.this.hasRole(base, R1_R.class))\n" + "    {\n"
                    + "       @SuppressWarnings(\"hidden-lifting-problem\")\n"
                    + "        foo <- replace test;\n" + "    }\n" + "    protected class R2_R extends R\n"
                    + "        base when (Team921hrm5c2.this.hasRole(base, R2_R.class))\n" + "    {\n"
                    + "       @SuppressWarnings(\"hidden-lifting-problem\")\n"
                    + "        foo <- replace test;\n" + "    }\n" + "    \n"
                    + "    Team921hrm5c2 (T921hrm5c2 as R1_R o) throws LiftingFailedException {}\n"
                    + "    public static void main(String[] args) throws LiftingFailedException {\n"
                    + "        T921hrm5c2 o = new T921hrm5c2();\n"
                    + "        Team921hrm5c2 t = new Team921hrm5c2(o);\n" + "        t.activate();\n"
                    + "        o.test();\n" + "    }\n" + "}\n" + "    \n",
            "T921hrm5c2.java",
            "\n" + "public class T921hrm5c2 {\n" + "    void test() {}\n" + "}\n" + "    \n" },
            "Team921hrm5c2$__OT__R1_R", null/*classLibraries*/, true/*shouldFlushOutputDirectory*/,
            null/*vmArguments*/, customOptions, null/*no custom requestor*/);
}

From source file:org.eclipse.objectteams.otdt.tests.otjld.callinbinding.CallinMethodBinding.java

License:Open Source License

public void test726_callinWithHiddenLiftingProblem1() {
    Map options = getCompilerOptions();
    options.put(CompilerOptions.OPTION_SuppressOptionalErrors, CompilerOptions.ENABLED);
    options.put(CompilerOptions.OPTION_ReportUnsafeRoleInstantiation, CompilerOptions.IGNORE); // see new R2(b);
    runConformTest(new String[] { "Team726cwhlp1.java", "@SuppressWarnings(\"ambiguousbinding\")\n"
            + "public team class Team726cwhlp1 {\n" + "   protected abstract class R0 playedBy T726cwhlp1 {\n"
            + "      @SuppressWarnings(\"hidden-lifting-problem\")\n" + "      bar <- after foo;\n"
            + "      abstract void bar();\n" + "   }\n" + "   protected class R1 extends R0 {\n"
            + "      void bar() { System.out.print(\"NOTOK\"); }\n" + "   }\n"
            + "   protected class R2 extends R0 {\n" + "      void bar() {\n"
            + "         System.out.print(\"OK\");\n" + "      }\n" + "   }\n"
            + "   void doLift(T726cwhlp1 as R2 r) throws org.objectteams.LiftingFailedException {}\n"
            + "   public static void main(String[] args) throws org.objectteams.LiftingFailedException {\n"
            + "      Team726cwhlp1 t = new Team726cwhlp1();\n" + "      t.activate();\n"
            + "      T726cwhlp1 b = new T726cwhlp1();\n" + "      t.doLift(b);\n" + "      b.foo();\n"
            + "   }\n" + "}\n", "T726cwhlp1.java",
            "public class T726cwhlp1 {\n" + "   public void foo() { }\n" + "}\n" }, "OK", null/*classLibs*/,
            true/*shouldFlush*/, null/*vmArguments*/, options, null/*requester*/);
}

From source file:org.eclipse.objectteams.otdt.tests.otjld.callinbinding.CallinMethodBinding.java

License:Open Source License

public void test726_callinWithHiddenLiftingProblem4() {
    Map options = getCompilerOptions();
    options.put(CompilerOptions.OPTION_ReportHiddenLiftingProblem, CompilerOptions.ERROR);
    options.put(CompilerOptions.OPTION_SuppressOptionalErrors, CompilerOptions.ENABLED);
    runConformTest(new String[] { "Team726cwhlp4.java",
            "@SuppressWarnings(\"ambiguousbinding\")\n" + "public team class Team726cwhlp4 {\n"
                    + "   protected class ROK playedBy T726cwhlp4 {\n" + "       mycallin:\n"
                    + "      @SuppressWarnings(\"hidden-lifting-problem\")\n" + "      bar <- replace foo;\n" + // argument lifting going bad
                    "       @SuppressWarnings(\"basecall\")\n" + "      callin void bar(R0 r) {\n"
                    + "         System.out.print(\"NOK\");\n" + "      }\n" + "   }\n"
                    + "   protected class R0 playedBy T726cwhlp4 {}\n" + "   protected class R1 extends R0 {}\n"
                    + "   protected class R2 extends R0 {}\n" + "   public static void main(String[] args) {\n"
                    + "      Team726cwhlp4 t = new Team726cwhlp4();\n" + "      t.activate();\n"
                    + "      T726cwhlp4 b = new T726cwhlp4();\n" + "      b.foo(b);\n" + "   }\n" + "}\n",
            "T726cwhlp4.java",
            "public class T726cwhlp4 {\n" + "   public void foo(T726cwhlp4 b) { System.out.print(\"OK\"); }\n"
                    + "}\n" },
            "OK", null/*classLibs*/, true/*shouldFlush*/, null/*vmArguments*/, options, null/*requester*/);
}

From source file:org.eclipse.objectteams.otdt.tests.otjld.other.Java5.java

License:Open Source License

public void testA113_suppressWarnings1() {
    Map customOptions = getCompilerOptions();
    customOptions.put(CompilerOptions.OPTION_ReportNonExternalizedStringLiteral, CompilerOptions.ERROR);
    customOptions.put(CompilerOptions.OPTION_SuppressOptionalErrors, CompilerOptions.ENABLED);
    runConformTest(//from   w  w  w  .  j a v a 2s.  com
            new String[] { "TeamA113sw1.java", "\n" + "public team class TeamA113sw1 {}\n" + "    \n",
                    "TeamA113sw1/R.java",
                    "\n" + "team package TeamA113sw1;\n" + "protected class R {\n"
                            + "    @SuppressWarnings(\"nls\")\n" + "    public static void test() {\n"
                            + "        System.out.print(\"OK\");\n" + "    }\n" + "}\n" + "    \n" },
            "", null/*classLibs*/, true/*shouldFlush*/, null/*vmArgs*/, customOptions, null/*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(/*w  w  w.  j  ava  2s .  com*/
            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 .  ja  v a 2s  .com
            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  a  2 s .  c  o 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 w w. j av  a 2  s. co 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*/);
}