TestTermParser

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

tests
0

failures
4

ignored
0.152s

duration
100%

successful

Tests

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

Standard output

285511     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285511     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285513     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 
285597     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285598     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
285662     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 
285743     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285743     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285750     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 
285836     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285836     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285838     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 
285922     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 
286052     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
286052     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
286054     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
286054     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 
286138     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
286138     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
286139     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
286140     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 
286220     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 
286300     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
286301     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
286305     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 
286383     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
286383     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
286384     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
286385     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 
286461     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
286461     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
286463     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 
286539     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
286539     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
286542     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 
286620     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
286621     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
286623     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 
286700     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
286700     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
286701     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 
286779     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
286780     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
286782     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 
286864     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
286864     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
286866     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 
286945     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 
287019     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287019     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287020     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 
287100     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287100     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287101     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 
287179     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287179     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287180     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 
287259     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287260     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287261     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 
287341     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287342     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287343     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 
287422     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
287422     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287423     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 
287500     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287501     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
287502     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 
287580     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287580     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287582     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 
287662     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287662     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287663     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 
287743     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287743     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287744     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 
287823     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287823     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287826     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 
287908     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
287908     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287909     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 
287991     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287991     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287993     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 
288073     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
288074     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
288075     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 
288155     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
288155     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
288157     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 
288236     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
288236     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
288238     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 
288315     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
288315     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
288318     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 
288398     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
288398     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
288400     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 
288480     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
288480     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
288482     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 
288561     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
288561     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
288562     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 
288641     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
288641     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
288644     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 
288725     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
288725     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
288726     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 
288806     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
288806     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
288807     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 
288890     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
288890     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
288892     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 
288971     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
288971     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
288973     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 
289056     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289056     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289058     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 
289140     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289140     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289144     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 
289223     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 
289299     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289300     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289303     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 
289380     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289380     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms