TestTermParser

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

tests
0

failures
4

ignored
0.181s

duration
100%

successful

Tests

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

Standard output

319038     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319039     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319041     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 
319101     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319102     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319153     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 
319215     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
319215     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319220     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 
319283     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
319284     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319286     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 
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 
319409     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319410     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319412     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
319414     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 
319476     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319478     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319480     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
319482     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 
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 
319610     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319611     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319619     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 
319678     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319679     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
319681     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
319682     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 
319747     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319748     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319751     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 
319818     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319819     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
319822     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 
319885     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319885     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319888     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 
319949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319949     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319951     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 
320013     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320013     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320015     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 
320076     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320076     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320078     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 
320140     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 
320201     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320201     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320205     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 
320271     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320272     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
320274     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 
320334     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320334     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320336     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 
320395     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320395     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320400     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 
320469     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320470     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320473     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 
320542     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320543     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320546     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 
320617     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320617     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320622     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 
320691     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320692     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
320694     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 
320758     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320758     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320760     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 
320820     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320820     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320822     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 
320888     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
320888     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320891     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 
320949     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320949     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320950     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 
321010     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321011     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
321012     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 
321072     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321073     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321074     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 
321131     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321131     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321133     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 
321191     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321191     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321193     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 
321245     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321245     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321248     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 
321303     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321303     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321306     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 
321362     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321362     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321364     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 
321422     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321423     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321425     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 
321486     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321487     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
321489     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 
321550     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321550     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321551     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 
321614     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321614     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321616     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 
321681     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
321681     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321682     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 
321741     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321742     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
321744     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 
321798     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321798     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321800     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 
321861     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321861     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321865     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 
321927     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 
321991     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321992     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321996     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 
322062     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322062     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms