TestTermParser

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

tests
0

failures
4

ignored
0.182s

duration
100%

successful

Tests

Test Duration Result
test1() 0.002s passed
test10() 0.003s passed
test11() 0.002s passed
test12() - ignored
test13() 0.006s passed
test14() 0.003s passed
test1a() 0.003s passed
test2() 0.011s passed
test3() 0.003s passed
test5() 0.004s passed
test6() 0.002s passed
test7() 0.003s passed
test8() 0.005s passed
test9() 0.001s passed
testAmbigiousFuncVarPred() 0s passed
testAttributeOnObject() 0.002s passed
testAttributeWithSpecifiedSortOnObject() 0.004s passed
testBindingUpdateTerm() 0.002s passed
testBindingUpdateTerm_1() 0.002s passed
testBindingUpdateTerm_3() 0.004s passed
testBindingUpdateTerm_4() 0.002s passed
testBindingUpdateTerm_5() 0.002s passed
testBindingUpdateTerm_6() 0.003s passed
testBindingUpdateTerm_7() 0.003s passed
testBindingUpdateTerm_8() 0.002s passed
testCast() 0.001s passed
testIfThenElse() 0.002s passed
testInfix1() 0.001s 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.004s passed
testNegativeLiteralParsing1() 0.001s passed
testNegativeLiteralParsing2() 0.001s passed
testNegativeLiteralParsing3() 0.002s passed
testNotEqual() 0.003s passed
testParsingArray() 0.004s passed
testParsingArrayCombination() 0.007s passed
testProgramVariables() 0.062s passed
xtestBindingUpdateTermOldBindingAlternative() - ignored
xtestParsingArrayWithSpaces() - ignored

Standard output

331681     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331681     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331683     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 
331761     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
331761     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331823     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 
331891     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331891     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331895     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 
331960     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331960     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331962     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 
332027     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 
332092     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332093     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
332094     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
332095     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 
332161     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332161     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332162     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
332163     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 
332233     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 
332298     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332298     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332304     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 
332369     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332369     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332371     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
332372     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 
332439     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
332439     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332441     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 
332505     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332505     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332508     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 
332570     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332570     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332572     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 
332638     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332638     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332639     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 
332706     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332706     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332708     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 
332775     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332775     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332777     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 
332845     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 
332921     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
332921     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332924     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 
333000     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333001     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333003     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 
333076     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333085     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333087     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 
333160     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333161     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333162     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 
333250     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
333250     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333254     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 
333319     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333319     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333321     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 
333384     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333384     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333387     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 
333459     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
333459     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333464     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 
333538     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333539     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
333540     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 
333607     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333607     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333609     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 
333673     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
333673     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333675     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 
333738     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333738     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333739     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 
333804     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333804     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333806     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 
333870     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333870     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333872     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 
333940     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333940     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333942     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 
334006     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334006     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334008     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 
334074     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334074     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334076     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 
334139     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334140     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
334142     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 
334206     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334206     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334209     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 
334272     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
334272     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334273     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 
334342     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334342     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334347     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 
334413     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334414     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334415     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 
334482     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334482     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334485     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 
334556     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334557     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334559     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 
334625     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334625     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334628     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 
334703     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334703     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334705     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 
334771     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334771     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334775     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 
334842     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 
334908     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334909     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334913     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 
334982     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334984     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms