TestTermParser

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

tests
0

failures
4

ignored
0.280s

duration
100%

successful

Tests

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

Standard output

344362     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344362     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344378     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 
344440     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344440     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344503     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 
344596     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344596     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344612     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 
344675     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344675     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344675     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 
344746     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 
344815     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 15 ms 
344815     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344815     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
344815     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 
344878     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344878     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344878     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
344878     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 
344956     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 
345018     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345018     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345018     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 
345097     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345097     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345097     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
345097     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 
345160     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345160     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345160     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 
345238     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345238     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345238     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 
345301     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345301     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345301     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 
345379     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
345379     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345379     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 
345441     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345441     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345441     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 
345504     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345504     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345504     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 
345582     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 
345645     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345645     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345645     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 
345707     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345707     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345707     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 
345785     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345785     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345785     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 
345848     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345848     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345848     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 
345926     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345926     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345926     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 
345989     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
345989     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
345989     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 
346051     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346051     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346051     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 
346129     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346129     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346129     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 
346192     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346192     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346192     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 
346270     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346270     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346270     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 
346348     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346348     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346348     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 
346410     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346426     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346426     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 
346489     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346489     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346489     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 
346551     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346551     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346567     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 
346629     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346629     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346629     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 
346692     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346692     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346708     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 
346770     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346770     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346770     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 
346849     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346849     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346849     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 
346911     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346911     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346911     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 
346989     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346989     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
346989     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 
347068     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347068     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347083     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 
347146     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347146     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347146     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 
347224     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347224     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347224     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 
347302     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347302     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347302     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 
347380     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347380     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347380     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 
347443     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347443     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347458     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 
347521     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347521     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347521     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 
347615     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 
347677     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347677     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347724     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 
347787     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347787     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms