TestTermParser

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

tests
0

failures
4

ignored
0.176s

duration
100%

successful

Tests

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

Standard output

336868     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
336868     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336870     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 
336946     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
336947     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337004     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 
337077     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337081     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337087     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 
337158     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337158     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337160     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 
337229     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 
337299     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
337299     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337303     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
337308     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 
337384     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 1 ms 
337387     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
337388     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 
337464     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 
337538     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
337539     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337552     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 
337627     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337628     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
337631     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
337632     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 
337710     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337711     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
337713     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 
337785     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337785     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337788     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 
337860     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337860     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337864     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 
337937     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337937     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337938     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 
338004     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338004     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338005     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 
338086     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338086     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338088     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 
338156     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 
338226     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338227     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338227     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 
338297     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
338297     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338298     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 
338365     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338365     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338367     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 
338434     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338434     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338436     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 
338505     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338505     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338507     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 
338573     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338573     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338575     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 
338642     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
338642     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338643     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 
338710     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338710     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338711     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 
338780     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
338780     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338781     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 
338848     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338848     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338850     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 
338917     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338917     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338920     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 
338988     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338988     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
338990     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 
339058     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339058     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339060     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 
339129     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339129     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339132     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 
339205     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339205     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339207     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 
339278     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339279     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
339280     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 
339357     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339358     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339360     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 
339536     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339536     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339539     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 
339613     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339613     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339618     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 
339689     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
339689     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339691     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 
339758     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339758     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339761     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 
339828     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339829     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
339829     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 
339896     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
339896     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339897     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 
339966     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
339966     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339967     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 
340037     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340037     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340039     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 
340120     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340120     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340122     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 
340201     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340201     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340204     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 
340271     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 
340338     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340338     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340341     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 
340411     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340411     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms