TestTermParser

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

tests
0

failures
4

ignored
0.183s

duration
100%

successful

Tests

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

Standard output

352461     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352461     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352463     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 
352535     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352535     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352592     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 
352666     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
352666     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352674     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 
352748     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352748     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352749     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 
352819     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 
352888     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352889     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352891     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
352894     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 
352981     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352982     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352983     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
352985     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 
353056     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 
353125     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353126     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353139     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 
353210     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353211     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
353213     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
353214     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 
353282     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353282     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353285     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 
353357     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
353357     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353360     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 
353431     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
353431     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353433     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 
353502     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
353502     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353503     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 
353568     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353569     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
353570     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 
353637     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353637     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353639     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 
353706     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 
353776     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
353776     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353777     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 
353845     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353846     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353854     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 
353925     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353926     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353935     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 
354008     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354009     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354011     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 
354079     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354079     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354081     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 
354151     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354151     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354154     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 
354225     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354225     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354229     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 
354298     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
354298     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354300     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 
354370     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354370     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354372     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 
354438     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354438     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354440     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 
354508     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354508     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354512     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 
354581     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354582     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354584     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 
354657     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
354657     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354659     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 
354729     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354729     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354732     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 
354801     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354801     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354803     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 
354878     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354879     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354880     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 
354953     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354953     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
354956     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 
355024     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355025     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355027     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 
355096     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355096     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355099     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 
355169     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355170     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
355171     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 
355238     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355238     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355241     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 
355314     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
355315     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355316     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 
355389     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355390     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
355392     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 
355459     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355460     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
355462     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 
355531     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355531     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355533     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 
355602     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355603     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355605     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 
355679     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
355679     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355682     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 
355751     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 
355824     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355824     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355828     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 
355899     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355899     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms