TestTermParser

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

tests
0

failures
4

ignored
0.144s

duration
100%

successful

Tests

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

Standard output

257484     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
257485     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
257486     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 
257549     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
257550     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
257597     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 
257656     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
257657     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
257662     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 
257722     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
257724     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
257725     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 
257784     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 
257843     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
257844     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
257845     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
257847     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 
257905     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
257905     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
257906     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
257907     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 
257967     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 
258031     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
258031     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 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 
258107     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
258107     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
258109     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
258110     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 
258173     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
258173     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
258175     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 
258234     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
258235     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
258239     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 
258298     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
258298     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
258300     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 
258359     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
258359     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
258361     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 
258420     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
258420     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
258422     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 
258481     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
258481     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
258482     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 
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 0 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 
258661     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
258662     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
258663     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 
258723     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
258723     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
258724     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 
258783     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
258783     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
258784     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 
258843     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
258843     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
258845     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 
258903     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
258904     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
258905     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 
258963     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
258964     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
258965     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 
259023     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
259024     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
259025     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 
259083     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
259084     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
259085     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 
259143     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
259143     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
259145     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 
259203     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
259203     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
259206     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 
259265     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
259265     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
259266     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 
259325     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
259325     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
259326     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 
259385     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
259385     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
259386     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 
259445     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
259445     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
259447     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 
259506     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
259506     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
259507     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 
259566     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
259566     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
259568     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 
259627     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
259627     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
259629     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 
259688     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
259688     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
259690     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 
259750     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
259750     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
259751     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 
259810     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
259810     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
259813     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 
259923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
259923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
259924     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 
259982     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
259982     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
259984     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 
260042     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
260043     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
260044     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 
260103     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
260103     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
260105     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 
260164     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
260164     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
260166     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 
260225     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
260225     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
260227     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 
260286     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 
260345     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
260345     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
260348     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 
260407     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
260407     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms