TestTermParser

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

tests
0

failures
4

ignored
0.238s

duration
100%

successful

Tests

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

Standard output

335448     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335448     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335448     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 
335588     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335588     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335666     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 
335760     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335776     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335776     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 
335869     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335869     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 
335974     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 
336068     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336068     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336068     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
336073     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 
336151     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336151     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336167     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
336167     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 
336261     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 
336355     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336355     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336355     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 
336449     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336449     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336449     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
336449     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 
336542     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336542     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336542     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 
336636     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336636     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336652     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 
336746     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336746     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336746     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 
336839     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336839     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336839     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 
336933     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336933     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336933     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 
337027     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337027     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337027     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 
337121     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 
337215     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337215     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337215     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 
337309     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337309     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337309     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 
337402     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337402     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337402     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 
337496     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337496     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337512     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 
337590     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337590     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337605     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 
337699     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337699     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337699     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 
337809     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337809     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337809     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 
337902     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337902     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337902     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 
337996     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337996     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337996     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 
338090     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338090     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338090     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 
338200     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338200     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338200     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 
338294     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338294     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338294     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 
338388     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338388     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338403     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 
338497     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338497     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338497     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 
338591     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338591     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338591     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 
338700     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338700     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338700     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 
338794     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338794     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338810     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 
338903     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338903     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338903     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 
339013     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339013     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339013     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 
339107     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339107     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339107     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 
339216     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339216     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339232     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 
339325     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339325     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339325     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 
339419     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339419     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339419     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 
339513     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339513     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339529     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 
339622     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339622     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339622     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 
339716     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339716     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339716     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 
339810     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339810     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339810     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 
339904     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 
339998     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339998     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340013     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 
340107     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340107     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms