TestTermParser

47

tests

0

failures

4

ignored

0.143s

duration

100%

successful

Tests

Test Duration Result
test1() 0.002s passed
test10() 0.002s passed
test11() 0.001s passed
test12() - ignored
test13() 0.009s passed
test14() 0.003s passed
test1a() 0.001s passed
test2() 0.001s passed
test3() 0.002s passed
test5() 0.001s passed
test6() 0.002s passed
test7() 0.001s passed
test8() 0.002s passed
test9() 0.001s passed
testAmbigiousFuncVarPred() 0.001s passed
testAttributeOnObject() 0.002s passed
testAttributeWithSpecifiedSortOnObject() 0.003s 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.001s passed
testCast() 0.001s passed
testIfThenElse() 0.002s passed
testInfix1() 0.002s passed
testInfix2() 0.001s passed
testInfix3() 0.002s passed
testInfix4() 0.001s passed
testJavaAttributeAccessBoth_1() 0.002s passed
testJavaAttributeAccessBoth_2() 0.002s passed
testJavaAttributeAccessBoth_3() 0.003s passed
testJavaAttributeAccess_4() 0.002s passed
testJavaQueryAndAttribute_all() - ignored
testJavaStaticQuery() 0.003s passed
testJavaStaticQueryWithParameter() 0.003s passed
testNegativeLiteralParsing1() 0.002s passed
testNegativeLiteralParsing2() 0.001s passed
testNegativeLiteralParsing3() 0.003s passed
testNotEqual() 0.005s passed
testParsingArray() 0.002s passed
testParsingArrayCombination() 0.002s passed
testProgramVariables() 0.059s passed
xtestBindingUpdateTermOldBindingAlternative() - ignored
xtestParsingArrayWithSpaces() - ignored

Standard output

257297     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
257298     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
257301     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 
257378     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
257379     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
257438     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 
257512     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
257513     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
257516     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 
257582     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
257582     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
257583     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 
257650     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 
257717     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
257717     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
257718     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
257719     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 
257777     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
257778     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
257779     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
257779     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 
257848     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 
257914     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
257914     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
257923     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 
257982     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
257982     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
257984     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
257984     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 
258043     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
258044     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
258045     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 
258104     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
258105     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
258107     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 
258166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
258166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
258169     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 
258228     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
258228     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
258229     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 
258288     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
258288     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
258290     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 
258351     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
258353     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
258358     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 
258423     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 
258482     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
258482     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
258483     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 
258541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
258541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
258542     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 
258601     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
258601     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
258602     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 
258660     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
258660     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
258662     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 
258768     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
258768     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
258769     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 
258828     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
258828     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
258829     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 
258888     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
258888     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
258889     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 
258947     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
258947     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
258948     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 
259007     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
259007     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
259008     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 
259066     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
259066     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
259068     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 
259126     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
259126     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
259129     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 
259187     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
259187     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
259188     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 
259246     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
259247     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
259248     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 
259306     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
259306     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
259307     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 
259366     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
259366     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
259367     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 
259425     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
259426     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
259427     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 
259485     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
259485     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
259487     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 
259545     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
259545     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
259547     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 
259605     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
259606     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
259608     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 
259666     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
259666     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
259667     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 
259726     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
259726     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
259728     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 
259790     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
259790     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
259791     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 
259849     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
259849     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
259850     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 
259909     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
259909     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
259910     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 
259969     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
259969     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
259970     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 
260029     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
260029     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
260030     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 
260089     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
260089     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
260091     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 
260150     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 
260208     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
260208     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
260211     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 
260270     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
260270     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms