TestTermParser

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

tests
0

failures
4

ignored
0.249s

duration
100%

successful

Tests

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

Standard output

264136     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
264136     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
264136     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 
264199     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
264199     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
264246     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 
264309     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
264309     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
264324     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 
264387     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
264387     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
264387     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 
264449     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 
264512     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
264512     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
264512     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
264512     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 
264574     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
264574     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
264574     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
264590     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 
264652     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 
264715     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
264715     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
264715     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 
264777     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
264777     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
264777     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
264777     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 
264840     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
264840     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
264840     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 
264902     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
264902     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
264902     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 
264965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
264965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
264965     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 
265027     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
265027     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
265027     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 
265090     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
265090     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
265090     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 
265153     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
265153     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
265153     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 
265215     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 
265278     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
265278     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
265278     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 
265340     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
265340     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
265340     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 
265403     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
265403     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
265403     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 
265465     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
265465     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
265465     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 
265575     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
265575     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
265575     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 
265637     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
265637     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
265637     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 
265700     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
265700     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
265700     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 
265762     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
265762     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
265762     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 
265825     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
265825     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
265825     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 
265887     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
265887     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
265887     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 
265950     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
265950     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
265950     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 
266012     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
266012     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
266012     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 
266075     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
266075     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
266075     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 
266137     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
266137     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
266137     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 
266200     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
266200     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
266200     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 
266262     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
266262     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
266262     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 
266325     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
266325     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
266341     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 
266387     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
266387     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
266403     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 
266450     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
266450     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
266466     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 
266512     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
266512     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
266528     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 
266575     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
266575     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
266591     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 
266653     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
266669     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
266669     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 
266731     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 15 ms 
266731     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
266732     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 
266794     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
266794     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
266794     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 
266857     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
266857     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
266857     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 
266919     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
266919     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
266919     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 
266982     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
266982     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
266982     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 
267044     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 
267107     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
267107     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
267154     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 
267216     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
267216     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms