TestTermParser

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

tests
0

failures
4

ignored
0.214s

duration
100%

successful

Tests

Test Duration Result
test1() 0.002s passed
test10() 0.015s passed
test11() 0.004s passed
test12() - ignored
test13() 0.006s passed
test14() 0.006s passed
test1a() 0.003s passed
test2() 0.002s passed
test3() 0.001s passed
test5() 0.002s passed
test6() 0.002s passed
test7() 0.002s passed
test8() 0.002s passed
test9() 0.002s passed
testAmbigiousFuncVarPred() 0.001s passed
testAttributeOnObject() 0.009s passed
testAttributeWithSpecifiedSortOnObject() 0.007s 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.003s passed
testIfThenElse() 0.002s passed
testInfix1() 0.004s 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.005s passed
testJavaQueryAndAttribute_all() - ignored
testJavaStaticQuery() 0.005s passed
testJavaStaticQueryWithParameter() 0.004s passed
testNegativeLiteralParsing1() 0.002s passed
testNegativeLiteralParsing2() 0.002s passed
testNegativeLiteralParsing3() 0.002s passed
testNotEqual() 0.003s passed
testParsingArray() 0.003s passed
testParsingArrayCombination() 0.003s passed
testProgramVariables() 0.076s passed
xtestBindingUpdateTermOldBindingAlternative() - ignored
xtestParsingArrayWithSpaces() - ignored

Standard output

317277     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317278     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
317280     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 
317373     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317374     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317449     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 
317546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317547     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317553     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 
317649     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
317649     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317651     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 
317743     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 
317835     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317836     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317846     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
317850     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 
317946     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317947     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317949     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
317950     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 
318044     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 
318154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318160     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 
318258     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318259     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318261     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
318264     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 
318366     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318366     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318369     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 
318470     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318471     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318475     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 
318573     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318574     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318583     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 
318678     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318679     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318680     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 
318774     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318775     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
318776     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 
318871     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318872     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
318873     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 
318972     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 
319063     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
319063     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319064     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 
319157     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319157     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319159     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 
319254     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319255     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
319256     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 
319349     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319349     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319351     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 
319447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
319447     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319449     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 
319544     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319544     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319546     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 
319642     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319642     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319644     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 
319740     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319740     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319742     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 
319834     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319834     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319836     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 
319928     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
319928     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319930     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 
320026     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
320027     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
320030     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 
320128     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320129     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320131     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 
320231     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320231     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320233     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 
320333     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320333     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320335     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 
320427     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320428     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320430     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 
320527     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320527     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320529     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 
320623     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320623     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320626     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 
320718     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320718     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320721     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 
320814     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320815     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320817     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 
320911     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320911     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320913     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 
321004     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321005     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
321008     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 
321102     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321103     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
321104     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 
321198     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321198     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321200     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 
321289     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321289     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321291     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 
321382     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321383     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321385     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 
321476     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321476     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321478     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 
321569     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321569     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321572     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 
321663     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 
321754     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321754     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321758     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 
321848     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321848     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms