TestTermParser

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

tests
0

failures
4

ignored
0.303s

duration
100%

successful

Tests

Test Duration Result
test1() 0.002s passed
test10() 0.006s passed
test11() 0.003s passed
test12() - ignored
test13() 0.007s passed
test14() 0.007s passed
test1a() 0.003s passed
test2() 0.002s passed
test3() 0.002s passed
test5() 0.003s passed
test6() 0.002s passed
test7() 0.003s passed
test8() 0.003s passed
test9() 0.002s passed
testAmbigiousFuncVarPred() 0.002s passed
testAttributeOnObject() 0.005s passed
testAttributeWithSpecifiedSortOnObject() 0.015s passed
testBindingUpdateTerm() 0.003s passed
testBindingUpdateTerm_1() 0.003s passed
testBindingUpdateTerm_3() 0.008s passed
testBindingUpdateTerm_4() 0.002s passed
testBindingUpdateTerm_5() 0.002s passed
testBindingUpdateTerm_6() 0.003s passed
testBindingUpdateTerm_7() 0.004s passed
testBindingUpdateTerm_8() 0.002s passed
testCast() 0.002s passed
testIfThenElse() 0.003s passed
testInfix1() 0.003s passed
testInfix2() 0.004s passed
testInfix3() 0.004s passed
testInfix4() 0.016s passed
testJavaAttributeAccessBoth_1() 0.006s passed
testJavaAttributeAccessBoth_2() 0.004s passed
testJavaAttributeAccessBoth_3() 0.004s passed
testJavaAttributeAccess_4() 0.004s passed
testJavaQueryAndAttribute_all() - ignored
testJavaStaticQuery() 0.004s passed
testJavaStaticQueryWithParameter() 0.005s passed
testNegativeLiteralParsing1() 0.002s passed
testNegativeLiteralParsing2() 0.002s passed
testNegativeLiteralParsing3() 0.002s passed
testNotEqual() 0.003s passed
testParsingArray() 0.005s passed
testParsingArrayCombination() 0.006s passed
testProgramVariables() 0.130s passed
xtestBindingUpdateTermOldBindingAlternative() - ignored
xtestParsingArrayWithSpaces() - ignored

Standard output

360077     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360077     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360077     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 
360170     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360170     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360311     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 
360376     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360392     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360392     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 
360464     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360464     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360464     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 
360542     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 
360604     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360620     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360620     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
360620     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 
360682     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360682     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360682     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
360682     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 
360760     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 
360823     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360823     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360839     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 
360917     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360917     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360917     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
360917     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 
360979     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360979     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360995     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 
361062     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
361062     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361062     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 
361124     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361124     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361124     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 
361203     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361203     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361203     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 
361265     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361265     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361281     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 
361343     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361343     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361343     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 
361421     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 
361484     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361484     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361484     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 
361556     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361556     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361571     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 
361634     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361634     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361634     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 
361696     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361696     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361712     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 
361774     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361774     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361774     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 
361853     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361853     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361853     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 
361915     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361915     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361931     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 
361995     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361995     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361995     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 
362059     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362059     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362059     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 
362137     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362137     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362137     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 
362200     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362200     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362200     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 
362278     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362278     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362278     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 
362340     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362340     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362340     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 
362403     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362403     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362418     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 
362481     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362481     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362497     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 
362590     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362590     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362590     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 
362653     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362653     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362669     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 
362739     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362739     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362739     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 
362801     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362801     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362817     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 
362880     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362880     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362880     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 
362958     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362958     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362958     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 
363014     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363014     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363030     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 
363094     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363094     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363094     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 
363172     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363172     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363172     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 
363234     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363234     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363234     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 
363313     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363313     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363313     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 
363375     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363375     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363391     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 
363453     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 
363532     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363532     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363532     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 
363610     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363610     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms