81 } |
81 } |
82 |
82 |
83 public void testVarValue2() { |
83 public void testVarValue2() { |
84 VarSnippet v1 = (VarSnippet) assertDeclareFail("int a = 0.0;", "compiler.err.prob.found.req"); |
84 VarSnippet v1 = (VarSnippet) assertDeclareFail("int a = 0.0;", "compiler.err.prob.found.req"); |
85 badVarValue(v1); |
85 badVarValue(v1); |
86 VarSnippet v2 = varKey(assertEval("int a = 0;", ste(v1, REJECTED, VALID, true, null))); |
86 VarSnippet v2 = varKey(assertEval("int a = 0;", added(VALID))); |
87 assertDrop(v2, ste(MAIN_SNIPPET, VALID, DROPPED, true, null)); |
87 assertDrop(v2, ste(MAIN_SNIPPET, VALID, DROPPED, true, null)); |
88 badVarValue(v2); |
88 badVarValue(v2); |
89 } |
89 } |
90 |
90 |
91 public void testSignature1() { |
91 public void testSignature1() { |
109 |
109 |
110 public void testSignature2() { |
110 public void testSignature2() { |
111 VarSnippet v1 = (VarSnippet) assertDeclareFail("int a = 0.0;", "compiler.err.prob.found.req"); |
111 VarSnippet v1 = (VarSnippet) assertDeclareFail("int a = 0.0;", "compiler.err.prob.found.req"); |
112 assertVariableDeclSnippet(v1, "a", "int", REJECTED, SubKind.VAR_DECLARATION_WITH_INITIALIZER_SUBKIND, 0, 1); |
112 assertVariableDeclSnippet(v1, "a", "int", REJECTED, SubKind.VAR_DECLARATION_WITH_INITIALIZER_SUBKIND, 0, 1); |
113 VarSnippet v2 = varKey(assertEval("int a = 0;", |
113 VarSnippet v2 = varKey(assertEval("int a = 0;", |
114 ste(v1, REJECTED, VALID, true, null))); |
114 added(VALID))); |
115 assertVariableDeclSnippet(v2, "a", "int", VALID, SubKind.VAR_DECLARATION_WITH_INITIALIZER_SUBKIND, 0, 0); |
115 assertVariableDeclSnippet(v2, "a", "int", VALID, SubKind.VAR_DECLARATION_WITH_INITIALIZER_SUBKIND, 0, 0); |
116 assertDrop(v2, ste(MAIN_SNIPPET, VALID, DROPPED, true, null)); |
116 assertDrop(v2, ste(MAIN_SNIPPET, VALID, DROPPED, true, null)); |
117 assertVariableDeclSnippet(v2, "a", "int", DROPPED, SubKind.VAR_DECLARATION_WITH_INITIALIZER_SUBKIND, 0, 0); |
117 assertVariableDeclSnippet(v2, "a", "int", DROPPED, SubKind.VAR_DECLARATION_WITH_INITIALIZER_SUBKIND, 0, 0); |
118 } |
118 } |
119 |
119 |