TestTermParser

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

tests
0

failures
4

ignored
0.150s

duration
100%

successful

Tests

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

Standard output

264032     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
264033     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
264034     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 
264094     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
264094     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
264142     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 
264201     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
264203     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
264209     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 
264269     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
264269     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
264273     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 
264332     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 
264391     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
264392     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
264394     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
264395     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 
264453     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
264454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
264455     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
264455     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 
264513     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 
264571     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
264572     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
264576     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 
264635     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
264636     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
264638     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
264639     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 
264700     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
264700     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
264703     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 
264763     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
264763     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
264766     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 
264826     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
264827     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
264830     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 
264889     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
264889     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
264891     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 
264950     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
264951     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
264953     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 
265059     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
265059     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
265061     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 
265121     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 
265179     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
265179     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
265180     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 
265238     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
265239     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
265240     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 
265298     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
265298     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
265300     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 
265360     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
265361     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
265362     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 
265421     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
265422     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
265423     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 
265481     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
265481     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
265482     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 
265550     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
265550     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
265552     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 
265610     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
265610     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
265612     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 
265671     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
265672     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
265674     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 
265731     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
265732     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
265733     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 
265791     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
265791     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
265794     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 
265852     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
265852     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
265854     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 
265911     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
265912     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
265913     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 
265971     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
265971     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
265973     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 
266031     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
266031     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
266033     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 
266091     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
266091     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
266093     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 
266152     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
266152     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
266155     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 
266213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
266213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
266215     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 
266273     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
266274     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
266276     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 
266334     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
266334     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
266336     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 
266394     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
266394     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
266397     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 
266455     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
266455     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
266456     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 
266514     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
266514     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
266516     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 
266574     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
266574     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
266576     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 
266633     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
266634     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
266635     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 
266693     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
266693     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
266694     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 
266752     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
266752     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
266755     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 
266813     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 
266871     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
266871     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
266874     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 
266932     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
266932     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms