TestTermParser

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

tests
0

failures
4

ignored
0.232s

duration
100%

successful

Tests

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

Standard output

334924     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
334924     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334926     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 
335025     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
335026     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335151     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 
335266     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335271     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335277     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 
335361     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335364     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335365     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 
335516     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 
335659     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335660     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
335661     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
335661     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 
335742     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335742     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335743     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
335744     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 
335822     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 
335905     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335905     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335909     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 
336004     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336004     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336006     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
336007     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 
336084     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336084     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336086     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 
336144     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336144     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336147     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 
336209     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336210     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
336212     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 
336279     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336280     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336281     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 
336349     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
336349     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336350     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 
336417     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336418     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
336419     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 
336485     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 
336550     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336551     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
336551     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 
336619     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336620     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
336621     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 
336684     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336685     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
336686     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 
336758     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336759     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336760     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 
336827     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
336827     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336829     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 
336903     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336903     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336905     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 
337040     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337040     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337041     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 
337109     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
337109     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337110     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 
337175     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
337175     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337177     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 
337238     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337238     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337239     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 
337303     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
337303     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337305     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 
337370     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337370     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337372     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 
337434     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337434     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337436     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 
337503     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337504     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
337506     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 
337566     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337566     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337570     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 
337633     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337633     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337635     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 
337698     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337698     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337702     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 
337767     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337768     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337771     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 
337837     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337838     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337840     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 
337905     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
337905     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337906     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 
337980     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337980     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337985     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 
338052     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338053     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
338054     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 
338129     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338132     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 
338202     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338202     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338204     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 
338271     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338272     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
338274     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 
338333     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338334     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338336     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 
338402     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338402     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338406     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 
338473     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 
338533     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338533     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338536     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 
338599     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338599     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms