TestTermParser

all > de.uka.ilkd.key.parser > TestTermParser
47

tests
0

failures
4

ignored
0.140s

duration
100%

successful

Tests

Test Duration Result
test1() 0.001s passed
test10() 0.004s passed
test11() 0.002s passed
test12() - ignored
test13() 0.005s passed
test14() 0.005s passed
test1a() 0.002s passed
test2() 0.002s passed
test3() 0.002s passed
test5() 0.002s passed
test6() 0.001s passed
test7() 0.002s passed
test8() 0.001s passed
test9() 0.002s passed
testAmbigiousFuncVarPred() 0.001s passed
testAttributeOnObject() 0.003s passed
testAttributeWithSpecifiedSortOnObject() 0.006s passed
testBindingUpdateTerm() 0.002s passed
testBindingUpdateTerm_1() 0.002s passed
testBindingUpdateTerm_3() 0.004s passed
testBindingUpdateTerm_4() 0.001s passed
testBindingUpdateTerm_5() 0.002s passed
testBindingUpdateTerm_6() 0.001s passed
testBindingUpdateTerm_7() 0.002s passed
testBindingUpdateTerm_8() 0.002s passed
testCast() 0.001s passed
testIfThenElse() 0.001s passed
testInfix1() 0.002s passed
testInfix2() 0.002s passed
testInfix3() 0.002s passed
testInfix4() 0.002s passed
testJavaAttributeAccessBoth_1() 0.003s passed
testJavaAttributeAccessBoth_2() 0.002s passed
testJavaAttributeAccessBoth_3() 0.002s passed
testJavaAttributeAccess_4() 0.002s passed
testJavaQueryAndAttribute_all() - ignored
testJavaStaticQuery() 0.003s passed
testJavaStaticQueryWithParameter() 0.003s passed
testNegativeLiteralParsing1() 0.001s passed
testNegativeLiteralParsing2() 0.001s passed
testNegativeLiteralParsing3() 0.001s passed
testNotEqual() 0.003s passed
testParsingArray() 0.004s passed
testParsingArrayCombination() 0.003s passed
testProgramVariables() 0.045s passed
xtestBindingUpdateTermOldBindingAlternative() - ignored
xtestParsingArrayWithSpaces() - ignored

Standard output

278570     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
278570     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
278572     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
278633     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
278633     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
278678     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
278751     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
278751     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
278757     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
278822     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
278822     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
278823     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
278882     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
278944     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
278944     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
278946     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
278949     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
279010     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
279010     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
279011     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
279013     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
279073     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
279134     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
279134     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
279139     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
279197     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
279197     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
279201     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
279201     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
279258     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
279258     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
279260     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
279315     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
279316     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
279318     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
279379     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
279379     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
279381     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
279445     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
279446     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
279447     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
279509     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
279510     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
279511     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
279569     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
279570     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
279571     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
279634     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
279695     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
279695     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
279696     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
279755     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
279755     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
279756     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
279817     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
279817     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
279819     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
279882     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
279882     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
279883     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
279948     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
279948     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
279950     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
280012     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
280013     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
280014     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
280077     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
280077     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
280078     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
280143     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
280144     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
280145     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
280211     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
280211     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
280213     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
280275     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
280276     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
280277     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
280341     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
280341     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
280343     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
280408     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
280409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
280410     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
280478     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
280478     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
280480     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
280542     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
280542     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
280544     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
280609     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
280609     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
280612     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
280672     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
280672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
280674     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
280735     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
280736     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
280738     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
280803     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
280803     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
280806     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
280867     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
280867     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
280870     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
280935     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
280935     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
280937     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
280999     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281000     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
281003     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
281070     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281070     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281071     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
281144     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281144     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281146     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
281211     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281211     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281213     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
281273     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281273     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281275     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
281336     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281336     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281338     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
281401     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281402     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
281406     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
281467     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
281530     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281530     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281533     WARN  Test worker     d.u.i.k.j.r.KeYCrossReferenceNameInfo Datatype T declared twice: Once in UNKNOWN:unknown and once in UNKNOWN:unknown, Keeping one from UNKNOWN:unknown 
281592     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281593     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms