TestTermParser

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

tests
0

failures
4

ignored
0.180s

duration
100%

successful

Tests

Test Duration Result
test1() 0.002s passed
test10() 0.003s passed
test11() 0.003s passed
test12() - ignored
test13() 0.018s passed
test14() 0.004s passed
test1a() 0.007s passed
test2() 0.001s passed
test3() 0.002s passed
test5() 0.002s passed
test6() 0.002s passed
test7() 0.002s passed
test8() 0.002s passed
test9() 0.001s passed
testAmbigiousFuncVarPred() 0s passed
testAttributeOnObject() 0.002s passed
testAttributeWithSpecifiedSortOnObject() 0.011s 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.002s passed
testBindingUpdateTerm_7() 0.002s passed
testBindingUpdateTerm_8() 0.002s passed
testCast() 0.003s passed
testIfThenElse() 0.004s passed
testInfix1() 0.002s passed
testInfix2() 0.002s passed
testInfix3() 0.002s passed
testInfix4() 0.002s passed
testJavaAttributeAccessBoth_1() 0.005s passed
testJavaAttributeAccessBoth_2() 0.003s passed
testJavaAttributeAccessBoth_3() 0.003s 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.002s passed
testParsingArray() 0.003s passed
testParsingArrayCombination() 0.003s passed
testProgramVariables() 0.055s passed
xtestBindingUpdateTermOldBindingAlternative() - ignored
xtestParsingArrayWithSpaces() - ignored

Standard output

316282     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316282     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316284     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 
316357     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
316358     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316411     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 
316483     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316488     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316492     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 
316561     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316561     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316566     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 
316636     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 
316702     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316702     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316703     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
316704     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 
316769     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316769     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316771     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
316772     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 
316840     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 
316906     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
316906     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316924     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 
317007     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317008     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317010     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
317017     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 
317093     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317093     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317100     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 
317169     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
317169     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317172     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 
317241     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
317241     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317243     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 
317309     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317309     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317310     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 
317377     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317377     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317379     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 
317450     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
317450     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317451     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 
317516     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 
317584     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317585     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317585     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 
317655     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317656     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
317657     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 
317724     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317724     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317725     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 
317797     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317797     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317799     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 
317865     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317865     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317867     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 
317930     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317930     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317932     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 
317997     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317997     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317999     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 
318070     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318070     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318072     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 
318142     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318142     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318144     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 
318208     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318208     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318210     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 
318278     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318279     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
318281     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 
318353     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318354     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318355     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 
318427     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
318427     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318429     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 
318511     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
318511     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318513     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 
318582     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318583     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
318585     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 
318661     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318661     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318665     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 
318731     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318731     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318736     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 
318809     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
318809     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318812     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 
318881     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318881     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318884     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 
318950     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318950     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318952     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 
319018     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319018     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319021     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 
319090     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
319090     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319091     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 
319157     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319158     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319159     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 
319228     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319228     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319230     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 
319301     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
319301     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319303     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 
319370     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319371     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319372     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 
319440     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319440     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319444     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 
319512     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 
319579     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319580     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
319583     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 
319655     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319655     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms