TestTermParser

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

tests
0

failures
4

ignored
0.169s

duration
100%

successful

Tests

Test Duration Result
test1() 0.001s passed
test10() 0.003s passed
test11() 0.002s passed
test12() - ignored
test13() 0.006s passed
test14() 0.004s passed
test1a() 0.003s passed
test2() 0.001s passed
test3() 0.001s passed
test5() 0.002s 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.006s passed
testBindingUpdateTerm() 0.002s passed
testBindingUpdateTerm_1() 0.002s passed
testBindingUpdateTerm_3() 0.004s passed
testBindingUpdateTerm_4() 0.001s passed
testBindingUpdateTerm_5() 0.001s passed
testBindingUpdateTerm_6() 0.001s passed
testBindingUpdateTerm_7() 0.002s passed
testBindingUpdateTerm_8() 0.002s passed
testCast() 0.001s passed
testIfThenElse() 0.001s passed
testInfix1() 0.002s passed
testInfix2() 0.002s passed
testInfix3() 0.002s passed
testInfix4() 0.002s passed
testJavaAttributeAccessBoth_1() 0.002s passed
testJavaAttributeAccessBoth_2() 0.003s passed
testJavaAttributeAccessBoth_3() 0.003s passed
testJavaAttributeAccess_4() 0.003s passed
testJavaQueryAndAttribute_all() - ignored
testJavaStaticQuery() 0.003s passed
testJavaStaticQueryWithParameter() 0.003s passed
testNegativeLiteralParsing1() 0.001s passed
testNegativeLiteralParsing2() 0.002s passed
testNegativeLiteralParsing3() 0.002s passed
testNotEqual() 0.002s passed
testParsingArray() 0.003s passed
testParsingArrayCombination() 0.009s passed
testProgramVariables() 0.067s passed
xtestBindingUpdateTermOldBindingAlternative() - ignored
xtestParsingArrayWithSpaces() - ignored

Standard output

306584     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
306584     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306586     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 
306673     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
306673     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306740     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 
306827     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306830     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
306833     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 
306919     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306919     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306920     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 
307006     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 
307092     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307092     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307094     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
307095     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 
307181     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307182     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307183     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
307184     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 
307272     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 
307360     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
307360     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307365     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 
307453     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
307456     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
307457     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 
307545     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307545     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307548     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 
307636     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307636     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307639     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 
307727     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307728     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307731     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 
307822     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307823     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307824     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 
307912     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307913     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
307914     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 
308002     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308003     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
308004     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 
308093     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 
308181     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308181     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308182     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 
308269     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308270     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308271     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 
308359     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308359     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308360     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 
308447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308447     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308449     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 
308535     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308536     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308537     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 
308624     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
308624     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308625     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 
308711     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308712     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308713     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 
308801     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308801     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308803     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 
308891     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308891     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 
308979     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308980     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
308981     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 
309068     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309068     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309071     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 
309159     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
309159     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309160     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 
309247     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
309247     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309249     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 
309335     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309335     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309337     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 
309425     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
309425     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309427     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 
309514     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309514     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309516     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 
309603     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309603     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309606     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 
309695     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309695     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309698     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 
309787     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
309787     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309789     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 
309877     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309877     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309879     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 
309969     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309969     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309972     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 
310060     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310060     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310061     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 
310148     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310148     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310150     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 
310237     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310237     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310239     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 
310327     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
310327     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310328     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 
310415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310417     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 
310504     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310504     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310507     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 
310596     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 
310682     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310682     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310685     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 
310773     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310773     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms