TestTermParser

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

tests
0

failures
4

ignored
0.148s

duration
100%

successful

Tests

Test Duration Result
test1() 0.001s passed
test10() 0.002s passed
test11() 0.003s passed
test12() - ignored
test13() 0.005s passed
test14() 0.003s passed
test1a() 0.003s passed
test2() 0.001s passed
test3() 0.001s passed
test5() 0.002s passed
test6() 0.001s passed
test7() 0.001s passed
test8() 0.002s passed
test9() 0.002s passed
testAmbigiousFuncVarPred() 0.001s passed
testAttributeOnObject() 0.003s passed
testAttributeWithSpecifiedSortOnObject() 0.003s passed
testBindingUpdateTerm() 0.002s passed
testBindingUpdateTerm_1() 0.005s passed
testBindingUpdateTerm_3() 0.003s 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.002s passed
testIfThenElse() 0.002s passed
testInfix1() 0.001s passed
testInfix2() 0.003s passed
testInfix3() 0.002s passed
testInfix4() 0.002s passed
testJavaAttributeAccessBoth_1() 0.003s passed
testJavaAttributeAccessBoth_2() 0.004s passed
testJavaAttributeAccessBoth_3() 0.003s passed
testJavaAttributeAccess_4() 0.002s passed
testJavaQueryAndAttribute_all() - ignored
testJavaStaticQuery() 0.003s passed
testJavaStaticQueryWithParameter() 0.005s passed
testNegativeLiteralParsing1() 0.001s passed
testNegativeLiteralParsing2() 0.001s passed
testNegativeLiteralParsing3() 0.002s passed
testNotEqual() 0.002s passed
testParsingArray() 0.004s passed
testParsingArrayCombination() 0.003s passed
testProgramVariables() 0.049s passed
xtestBindingUpdateTermOldBindingAlternative() - ignored
xtestParsingArrayWithSpaces() - ignored

Standard output

324245     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
324245     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324247     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 
324311     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
324311     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324360     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 
324425     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
324425     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324428     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 
324491     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324491     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324492     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 
324557     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 
324621     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324622     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324623     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
324624     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 
324744     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324744     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324745     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
324746     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 
324812     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 
324871     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324871     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324876     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 
324939     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324939     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324941     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
324942     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 
325005     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325005     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325008     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 
325071     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325071     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325074     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 
325138     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325138     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325140     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 
325203     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325203     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325204     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 
325264     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325264     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325265     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 
325325     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325325     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325326     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 
325389     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 
325451     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325451     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325451     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 
325519     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
325519     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325520     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 
325585     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325585     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325587     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 
325651     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325651     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325653     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 
325719     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
325719     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325720     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 
325792     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325793     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325794     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 
325860     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
325860     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325861     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 
325926     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325926     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325927     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 
325990     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325990     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325992     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 
326058     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326058     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326059     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 
326122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326124     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 
326190     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326191     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
326192     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 
326255     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326256     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326257     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 
326317     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326317     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326319     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 
326387     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326387     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326389     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 
326454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326454     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326456     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 
326518     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
326518     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326521     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 
326582     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326582     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326584     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 
326647     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326647     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326650     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 
326715     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326716     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326717     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 
326785     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326785     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326788     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 
326853     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326853     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326854     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 
326916     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326916     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326917     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 
326981     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
326981     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326983     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 
327048     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327048     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327050     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 
327121     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327121     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327123     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 
327187     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327187     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327190     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 
327253     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 
327329     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327329     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327334     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 
327401     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327402     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms