TestTermParser

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

tests
0

failures
4

ignored
0.201s

duration
100%

successful

Tests

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

Standard output

302021     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302022     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302025     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 
302096     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302097     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302163     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 
302228     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302228     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302231     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 
302291     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302291     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302293     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 
302351     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 
302410     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
302410     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302411     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
302412     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 
302470     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
302470     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302482     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
302485     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 
302567     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 
302630     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302631     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
302639     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 
302701     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302702     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
302704     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
302705     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 
302766     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302766     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302769     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 
302833     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302833     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302836     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 
302901     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
302901     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302903     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 
302969     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302970     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
302971     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 
303037     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303040     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 2 ms 
303042     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 
303111     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303112     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
303113     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 
303177     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 
303235     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303236     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
303237     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 
303300     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303301     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
303303     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 
303362     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303362     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
303363     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 
303427     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303427     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
303430     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 
303492     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303493     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
303495     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 
303562     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303562     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
303564     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 
303621     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303622     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
303623     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 
303691     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303691     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
303696     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 
303754     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303754     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
303756     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 
303811     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303811     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
303813     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 
303868     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
303871     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 
303926     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
303928     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 
303987     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
303987     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
303991     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 
304053     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304053     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304057     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 
304120     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304121     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304122     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 
304187     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304188     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
304190     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 
304252     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304253     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
304255     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 
304318     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
304318     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304320     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 
304384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304387     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 
304450     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304451     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304454     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 
304519     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
304519     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304524     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 
304584     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304584     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304586     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 
304650     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304650     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304659     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 
304729     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304730     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
304732     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 
304800     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
304800     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304803     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 
304870     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304871     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304873     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 
304934     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304934     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304938     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 
305012     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 
305075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
305075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
305079     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 
305139     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
305139     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms