TestTermParser

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

tests
0

failures
4

ignored
0.173s

duration
100%

successful

Tests

Test Duration Result
test1() 0.002s passed
test10() 0.006s passed
test11() 0.005s passed
test12() - ignored
test13() 0.005s passed
test14() 0.009s passed
test1a() 0.003s passed
test2() 0.002s passed
test3() 0.001s passed
test5() 0.003s passed
test6() 0.003s passed
test7() 0.002s passed
test8() 0.002s passed
test9() 0.002s passed
testAmbigiousFuncVarPred() 0.001s passed
testAttributeOnObject() 0.003s passed
testAttributeWithSpecifiedSortOnObject() 0.006s 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.003s passed
testBindingUpdateTerm_8() 0.003s passed
testCast() 0.002s passed
testIfThenElse() 0.002s passed
testInfix1() 0.002s passed
testInfix2() 0.002s passed
testInfix3() 0.002s passed
testInfix4() 0.002s passed
testJavaAttributeAccessBoth_1() 0.004s passed
testJavaAttributeAccessBoth_2() 0.003s passed
testJavaAttributeAccessBoth_3() 0.003s passed
testJavaAttributeAccess_4() 0.003s passed
testJavaQueryAndAttribute_all() - ignored
testJavaStaticQuery() 0.002s passed
testJavaStaticQueryWithParameter() 0.005s passed
testNegativeLiteralParsing1() 0.002s passed
testNegativeLiteralParsing2() 0.003s passed
testNegativeLiteralParsing3() 0.001s passed
testNotEqual() 0.003s passed
testParsingArray() 0.004s passed
testParsingArrayCombination() 0.004s passed
testProgramVariables() 0.049s passed
xtestBindingUpdateTermOldBindingAlternative() - ignored
xtestParsingArrayWithSpaces() - ignored

Standard output

306269     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306270     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306272     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 
306336     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306337     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306386     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 
306454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306455     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306460     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 
306524     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306525     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306526     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 
306591     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 
306654     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306655     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306657     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
306660     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 
306729     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306730     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306731     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
306734     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 
306805     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 
306868     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306874     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 
306942     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306943     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306950     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
306952     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 
307019     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
307019     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307022     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 
307087     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
307087     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307090     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 
307160     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
307160     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307163     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 
307235     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307236     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307237     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 
307300     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307301     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307303     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 
307369     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307369     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307371     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 
307435     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 
307497     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307497     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307498     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 
307563     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307564     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307565     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 
307631     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307631     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307632     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 
307697     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307697     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307698     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 
307773     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
307773     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307775     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 
307843     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307843     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307845     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 
307908     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307908     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307910     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 
307973     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307974     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
307975     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 
308052     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308053     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308054     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 
308126     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308126     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308128     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 
308195     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308196     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
308198     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 
308266     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308266     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308268     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 
308335     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308336     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
308337     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 
308401     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308401     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308403     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 
308473     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308473     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308475     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 
308537     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308537     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308539     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 
308604     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308604     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308608     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 
308673     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308673     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308676     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 
308749     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308749     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308752     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 
308823     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308823     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308825     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 
308888     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308889     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308892     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 
308956     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
308956     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308957     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 
309023     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309023     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309024     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 
309086     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309086     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309089     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 
309161     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309161     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309164     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 
309229     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309230     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309232     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 
309299     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309299     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309303     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 
309370     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 
309441     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309441     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309446     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 
309516     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309516     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms