TestTermParser

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

tests
0

failures
4

ignored
0.154s

duration
100%

successful

Tests

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

Standard output

324268     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324269     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324272     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 
324336     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324337     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324390     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 
324453     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324461     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 
324526     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324528     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324530     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 
324594     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 
324658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324659     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324661     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
324661     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 
324725     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324725     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324726     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
324727     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 
324792     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 
324862     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
324862     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324867     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 
324931     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324932     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324933     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
324934     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 
325000     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
325000     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325003     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 
325066     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325067     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325069     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 
325134     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325134     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325137     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 
325202     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325202     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325203     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 
325269     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325269     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325271     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 
325334     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325335     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325336     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 
325400     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 
325462     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325463     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
325463     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 
325528     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325529     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325530     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 
325596     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325596     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325597     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 
325661     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325661     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325662     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 
325725     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325725     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325727     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 
325797     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325797     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325799     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 
325867     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325867     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325869     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 
325979     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325979     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325981     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 
326048     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326048     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326050     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 
326116     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
326116     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326118     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 
326184     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326184     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326187     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 
326257     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
326257     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326259     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 
326322     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326323     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326324     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 
326389     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326389     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326391     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 
326457     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326457     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326460     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 
326526     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326526     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326528     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 
326598     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326599     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326602     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 
326668     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326668     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326671     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 
326739     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326739     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326742     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 
326810     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326810     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326812     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 
326880     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326880     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326884     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 
326952     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
326952     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326953     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 
327021     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
327021     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327023     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 
327091     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327091     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327093     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 
327160     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327160     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327162     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 
327228     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327229     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
327231     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 
327298     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327298     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327302     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 
327372     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 
327439     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327439     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327442     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 
327505     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327505     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms