169 clazz(KullaTesting.ClassType.INTERFACE, "B"), clazz(KullaTesting.ClassType.CLASS, "C")); |
170 clazz(KullaTesting.ClassType.INTERFACE, "B"), clazz(KullaTesting.ClassType.CLASS, "C")); |
170 assertEval("new C();", |
171 assertEval("new C();", |
171 DiagCheck.DIAG_ERROR, |
172 DiagCheck.DIAG_ERROR, |
172 DiagCheck.DIAG_ERROR, |
173 DiagCheck.DIAG_ERROR, |
173 added(REJECTED)); |
174 added(REJECTED)); |
|
175 assertActiveKeys(); |
|
176 } |
|
177 |
|
178 public void classesRedeclaration3() { |
|
179 Snippet a = classKey(assertEval("class A { }")); |
|
180 assertClasses(clazz(KullaTesting.ClassType.CLASS, "A")); |
|
181 assertActiveKeys(); |
|
182 |
|
183 Snippet test1 = methodKey(assertEval("A test() { return null; }")); |
|
184 Snippet test2 = methodKey(assertEval("void test(A a) { }")); |
|
185 Snippet test3 = methodKey(assertEval("void test(int n) {A a;}")); |
|
186 assertActiveKeys(); |
|
187 |
|
188 assertEval("interface A { }", |
|
189 ste(MAIN_SNIPPET, VALID, VALID, true, null), |
|
190 ste(test1, VALID, VALID, true, MAIN_SNIPPET), |
|
191 ste(test2, VALID, VALID, true, MAIN_SNIPPET), |
|
192 ste(test3, VALID, VALID, false, MAIN_SNIPPET), |
|
193 ste(a, VALID, OVERWRITTEN, false, MAIN_SNIPPET)); |
|
194 assertClasses(clazz(KullaTesting.ClassType.INTERFACE, "A")); |
|
195 assertMethods(method("()A", "test"), method("(A)void", "test"), method("(int)void", "test")); |
174 assertActiveKeys(); |
196 assertActiveKeys(); |
175 } |
197 } |
176 |
198 |
177 public void classesCyclic1() { |
199 public void classesCyclic1() { |
178 Snippet b = classKey(assertEval("class B extends A { }", |
200 Snippet b = classKey(assertEval("class B extends A { }", |