TestTermParser

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

tests
0

failures
4

ignored
0.304s

duration
100%

successful

Tests

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

Standard output

435914     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435914     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
435914     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 
435977     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
435992     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436055     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 
436133     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436149     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436149     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 
436227     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436227     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436227     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 
436305     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 
436383     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436383     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436383     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
436399     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 
436461     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436461     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436461     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
436461     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 
436539     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 
436602     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436602     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436617     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 
436696     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436696     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436696     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
436696     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 
436774     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436774     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436789     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 
436852     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436852     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436868     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 
436930     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436930     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
436930     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 
436993     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
436993     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437008     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 
437087     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437087     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437087     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 
437166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437166     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 
437228     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 
437306     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437306     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437306     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 
437385     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437385     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437385     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 
437447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437447     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437447     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 
437525     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437525     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437525     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 
437604     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437604     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437604     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 
437682     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437682     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437697     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 
437760     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437760     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437760     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 
437838     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437838     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437838     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 
437916     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437916     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437916     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 
437979     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
437979     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
437994     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 
438057     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438073     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438073     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 
438151     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438151     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438151     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 
438213     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438213     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438229     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 
438292     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438292     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438292     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 
438354     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438354     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438370     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 
438448     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438448     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438448     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 
438510     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438510     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438510     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 
438651     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438651     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438667     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 
438792     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438792     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438807     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 
438885     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438885     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438901     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 
438979     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
438979     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
438995     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 
439088     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439088     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439088     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 
439183     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439183     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439183     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 
439276     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439276     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439296     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 
439401     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439401     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439417     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 
439495     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439495     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439495     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 
439573     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439573     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439589     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 
439651     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 
439729     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439729     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
439745     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 
439839     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
439839     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms