TestTermParser

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

tests
0

failures
4

ignored
0.205s

duration
100%

successful

Tests

Test Duration Result
test1() 0.002s passed
test10() 0.008s passed
test11() 0.003s passed
test12() - ignored
test13() 0.008s passed
test14() 0.003s passed
test1a() 0.004s passed
test2() 0.002s passed
test3() 0.003s passed
test5() 0.003s passed
test6() 0.003s passed
test7() 0.004s passed
test8() 0.008s passed
test9() 0.002s passed
testAmbigiousFuncVarPred() 0.001s passed
testAttributeOnObject() 0.004s passed
testAttributeWithSpecifiedSortOnObject() 0.007s passed
testBindingUpdateTerm() 0.002s passed
testBindingUpdateTerm_1() 0.002s passed
testBindingUpdateTerm_3() 0.013s passed
testBindingUpdateTerm_4() 0.001s passed
testBindingUpdateTerm_5() 0.003s 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.002s passed
testInfix2() 0.003s passed
testInfix3() 0.003s passed
testInfix4() 0.003s passed
testJavaAttributeAccessBoth_1() 0.003s passed
testJavaAttributeAccessBoth_2() 0.004s passed
testJavaAttributeAccessBoth_3() 0.003s passed
testJavaAttributeAccess_4() 0.003s passed
testJavaQueryAndAttribute_all() - ignored
testJavaStaticQuery() 0.004s passed
testJavaStaticQueryWithParameter() 0.004s passed
testNegativeLiteralParsing1() 0.001s passed
testNegativeLiteralParsing2() 0.002s passed
testNegativeLiteralParsing3() 0.002s passed
testNotEqual() 0.003s passed
testParsingArray() 0.005s passed
testParsingArrayCombination() 0.006s passed
testProgramVariables() 0.057s passed
xtestBindingUpdateTermOldBindingAlternative() - ignored
xtestParsingArrayWithSpaces() - ignored

Standard output

333563     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333563     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333563     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 
333641     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333641     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333704     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 
333766     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333766     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333766     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 
333829     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333829     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333829     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 
333891     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 
333954     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333954     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333954     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
333969     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 
334032     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334032     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334032     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
334032     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 
334110     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 
334188     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
334188     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334188     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 
334251     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334251     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334251     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
334251     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 
334313     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334313     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334329     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 
334391     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334391     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334391     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 
334454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334454     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 
334516     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334516     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334516     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 
334579     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334579     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334579     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 
334657     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334657     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334657     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 
334720     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 
334766     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334782     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334782     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 
334845     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334845     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334845     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 
334907     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334907     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334907     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 
334970     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334970     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334970     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 
335032     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335032     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335032     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 
335095     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335095     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335110     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 
335173     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335173     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335173     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 
335251     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335251     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335282     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 
335345     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335345     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335345     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 
335423     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
335423     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335423     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 
335485     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335485     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335485     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 
335548     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335548     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335548     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 
335610     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335610     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335610     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 
335689     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335689     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335689     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 
335751     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335751     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335751     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 
335814     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335814     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335814     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 
335892     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335892     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335892     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 
335954     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335954     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335970     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 
336032     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336032     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336032     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 
336095     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336095     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336095     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 
336173     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336173     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336173     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 
336236     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336236     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336236     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 
336314     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336314     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336314     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 
336377     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336377     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336377     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 
336439     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336439     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336439     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 
336502     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336502     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336502     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 
336564     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336580     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
336580     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 
336642     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 
336705     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336705     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336705     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 
336767     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336767     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms