TestTermParser

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

tests
0

failures
4

ignored
0.206s

duration
100%

successful

Tests

Test Duration Result
test1() 0.002s passed
test10() 0.004s passed
test11() 0.004s passed
test12() - ignored
test13() 0.009s passed
test14() 0.004s passed
test1a() 0.002s passed
test2() 0.002s passed
test3() 0.002s passed
test5() 0.002s passed
test6() 0.002s passed
test7() 0.004s passed
test8() 0.003s passed
test9() 0.002s passed
testAmbigiousFuncVarPred() 0.001s passed
testAttributeOnObject() 0.003s passed
testAttributeWithSpecifiedSortOnObject() 0.005s passed
testBindingUpdateTerm() 0.003s passed
testBindingUpdateTerm_1() 0.003s passed
testBindingUpdateTerm_3() 0.008s 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.002s passed
testIfThenElse() 0.002s passed
testInfix1() 0.002s passed
testInfix2() 0.003s passed
testInfix3() 0.004s passed
testInfix4() 0.002s 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.014s passed
testJavaStaticQueryWithParameter() 0.004s passed
testNegativeLiteralParsing1() 0.001s passed
testNegativeLiteralParsing2() 0.006s passed
testNegativeLiteralParsing3() 0.001s passed
testNotEqual() 0.003s passed
testParsingArray() 0.013s passed
testParsingArrayCombination() 0.004s passed
testProgramVariables() 0.058s passed
xtestBindingUpdateTermOldBindingAlternative() - ignored
xtestParsingArrayWithSpaces() - ignored

Standard output

340390     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340390     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340392     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 
340500     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340500     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340558     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 
340631     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
340631     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340636     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 
340712     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340713     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340714     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 
340788     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 
340859     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340859     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340861     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
340863     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 
340936     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340937     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340938     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
340940     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 
341013     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 
341089     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
341089     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341097     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 
341185     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
341185     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341187     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
341188     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 
341261     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
341261     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341263     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 
341338     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341338     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341341     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 
341411     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341411     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341414     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 
341484     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
341484     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341485     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 
341559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 4 ms 
341559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341561     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 
341687     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341687     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341688     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 
341757     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 
341825     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341825     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341826     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 
341895     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341895     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341897     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 
341966     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341967     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
341968     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 
342048     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342049     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342051     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 
342120     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
342120     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342122     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 
342191     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342192     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342194     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 
342263     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342264     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
342272     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 
342345     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342345     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342348     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 
342417     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
342417     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342419     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 
342488     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342488     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342491     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 
342559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342573     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 
342655     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342655     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342658     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 
342735     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342735     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342738     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 
342814     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342815     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342818     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 
342902     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342902     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342904     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 
342976     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342976     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342978     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 
343051     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343052     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343055     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 
343128     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343128     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343131     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 
343204     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343205     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
343207     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 
343277     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343277     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343280     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 
343353     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343353     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343361     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 
343428     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343429     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
343430     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 
343496     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343497     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
343498     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 
343565     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343566     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343568     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 
343634     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343635     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343636     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 
343703     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343704     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343706     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 
343775     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343784     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343788     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 
343859     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 
343938     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
343938     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343942     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 
344016     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344016     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms