TestTermParser

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

tests
0

failures
4

ignored
0.256s

duration
100%

successful

Tests

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

Standard output

334881     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334881     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334881     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 
334959     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334959     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335038     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 
335101     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335101     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335116     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 
335163     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335163     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335179     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 
335242     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 
335305     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335305     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335305     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
335305     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 
335415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335431     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
335431     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 
335482     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 
335560     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335560     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335560     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 
335624     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335624     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335640     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
335640     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 
335692     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335692     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335707     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 
335770     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335770     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335770     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 
335832     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335832     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335832     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 
335911     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335911     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335911     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 
335973     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335973     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335973     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 
336036     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336036     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336036     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 
336108     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 
336171     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336171     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336171     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 
336233     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336233     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336233     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 
336296     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336296     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336312     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 
336374     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336374     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336374     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 
336437     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336437     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336437     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 
336499     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336499     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336499     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 
336562     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336562     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336562     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 
336640     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336641     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336643     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 
336696     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336696     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336696     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 
336774     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 15 ms 
336774     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336774     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 
336837     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336837     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336837     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 
336915     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
336915     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336915     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 
336977     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336977     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336977     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 
337040     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 
337103     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337103     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337103     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 
337181     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337181     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337181     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 
337243     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337243     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337243     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 
337306     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337306     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337306     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 
337385     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337385     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337385     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 
337448     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337448     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337448     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 
337511     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337511     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337511     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 
337573     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337573     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337589     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 
337651     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337651     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337651     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 
337714     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337714     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337714     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 
337784     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337784     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337784     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 
337847     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337847     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337847     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 
337915     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337915     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337915     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 
337993     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 
338055     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338055     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338087     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 
338165     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338165     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms