TestTermParser

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

tests
0

failures
4

ignored
0.204s

duration
100%

successful

Tests

Test Duration Result
test1() 0.002s passed
test10() 0.003s passed
test11() 0.003s passed
test12() - ignored
test13() 0.005s passed
test14() 0.005s 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.003s passed
testAttributeOnObject() 0.002s passed
testAttributeWithSpecifiedSortOnObject() 0.004s passed
testBindingUpdateTerm() 0.002s passed
testBindingUpdateTerm_1() 0.002s passed
testBindingUpdateTerm_3() 0.003s passed
testBindingUpdateTerm_4() 0.002s passed
testBindingUpdateTerm_5() 0.003s passed
testBindingUpdateTerm_6() 0.002s passed
testBindingUpdateTerm_7() 0.002s passed
testBindingUpdateTerm_8() 0.002s passed
testCast() 0.002s passed
testIfThenElse() 0.002s passed
testInfix1() 0.002s passed
testInfix2() 0.003s passed
testInfix3() 0.003s passed
testInfix4() 0.003s passed
testJavaAttributeAccessBoth_1() 0.003s 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.004s passed
testNegativeLiteralParsing1() 0.002s passed
testNegativeLiteralParsing2() 0.001s passed
testNegativeLiteralParsing3() 0.002s passed
testNotEqual() 0.002s passed
testParsingArray() 0.004s passed
testParsingArrayCombination() 0.010s passed
testProgramVariables() 0.086s passed
xtestBindingUpdateTermOldBindingAlternative() - ignored
xtestParsingArrayWithSpaces() - ignored

Standard output

314506     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314506     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314511     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 
314611     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314612     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314697     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 
314811     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314812     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314816     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 
314927     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314927     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314929     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 
315028     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 
315122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315124     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
315125     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 
315219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315221     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
315221     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 
315315     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 
315409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315409     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315413     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 
315524     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315524     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315527     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
315531     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 
315641     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
315641     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315644     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 
315747     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315747     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315750     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 
315847     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315847     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315850     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 
315941     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315941     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315942     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 
316034     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316034     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316036     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 
316131     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316131     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316132     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 
316234     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 
316339     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316340     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316342     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 
316453     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316456     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 
316556     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
316556     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316558     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 
316657     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316657     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316660     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 
316755     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316756     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316758     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 
316853     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316854     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
316856     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 
316952     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316952     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316954     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 
317051     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317052     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317054     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 
317149     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317149     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317151     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 
317238     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317238     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317240     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 
317328     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317328     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317331     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 
317418     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317418     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317420     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 
317506     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317507     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317509     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 
317596     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
317596     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317598     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 
317684     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317685     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
317687     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 
317774     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317774     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317776     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 
317863     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317863     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317866     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 
317954     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317955     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317958     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 
318045     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318046     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
318049     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 
318136     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318136     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318138     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 
318226     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318226     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318230     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 
318317     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318318     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
318319     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 
318406     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318407     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318409     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 
318495     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318496     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
318498     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 
318585     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318585     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318587     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 
318675     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318675     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318677     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 
318764     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318764     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318768     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 
318855     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 
318942     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318943     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318946     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 
319034     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319039     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 4 ms