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.004s passed
test10() 0.003s passed
test11() 0.002s passed
test12() - ignored
test13() 0.005s passed
test14() 0.003s passed
test1a() 0.003s passed
test2() 0.003s 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.004s passed
testAttributeOnObject() 0.002s passed
testAttributeWithSpecifiedSortOnObject() 0.004s passed
testBindingUpdateTerm() 0.002s passed
testBindingUpdateTerm_1() 0.001s passed
testBindingUpdateTerm_3() 0.004s passed
testBindingUpdateTerm_4() 0.001s passed
testBindingUpdateTerm_5() 0.001s passed
testBindingUpdateTerm_6() 0.002s passed
testBindingUpdateTerm_7() 0.002s passed
testBindingUpdateTerm_8() 0.001s passed
testCast() 0.003s passed
testIfThenElse() 0.002s passed
testInfix1() 0.002s passed
testInfix2() 0.002s passed
testInfix3() 0.003s passed
testInfix4() 0.002s passed
testJavaAttributeAccessBoth_1() 0.003s passed
testJavaAttributeAccessBoth_2() 0.003s passed
testJavaAttributeAccessBoth_3() 0.003s passed
testJavaAttributeAccess_4() 0.003s passed
testJavaQueryAndAttribute_all() - ignored
testJavaStaticQuery() 0.003s passed
testJavaStaticQueryWithParameter() 0.003s passed
testNegativeLiteralParsing1() 0.002s passed
testNegativeLiteralParsing2() 0.001s passed
testNegativeLiteralParsing3() 0.003s passed
testNotEqual() 0.003s passed
testParsingArray() 0.004s passed
testParsingArrayCombination() 0.003s passed
testProgramVariables() 0.068s passed
xtestBindingUpdateTermOldBindingAlternative() - ignored
xtestParsingArrayWithSpaces() - ignored

Standard output

295722     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
295723     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
295725     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 
295813     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
295813     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295881     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 
295968     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
295969     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295973     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 
296060     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296061     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296062     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 
296148     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 
296234     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296234     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296236     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
296236     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 
296322     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296323     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296324     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
296324     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 
296413     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 
296501     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296501     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296506     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 
296598     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296599     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296601     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
296602     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 
296690     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296691     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296693     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 
296813     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
296813     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296816     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 
296902     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296902     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296905     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 
296991     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296991     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296992     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 
297078     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297079     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
297080     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 
297166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297167     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297169     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 
297255     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 
297340     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297340     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297345     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 
297432     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297432     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297435     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 
297527     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297528     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297530     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 
297617     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297618     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
297620     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 
297706     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297706     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297708     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 
297794     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297795     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
297797     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 
297882     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297883     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297884     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 
297971     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297971     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297974     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 
298060     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298060     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298061     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 
298147     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298148     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
298150     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 
298236     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298236     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298239     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 
298325     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298326     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298328     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 
298465     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298466     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298467     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 
298554     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
298554     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298556     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 
298642     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298643     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
298645     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 
298730     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298731     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298733     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 
298818     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298819     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298822     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 
298908     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
298908     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298910     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 
298996     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298996     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298999     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 
299086     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299086     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299088     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 
299174     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
299174     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299177     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 
299263     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299263     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299264     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 
299351     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299351     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299353     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 
299439     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299439     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299441     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 
299532     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299533     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
299534     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 
299621     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299621     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299623     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 
299709     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
299709     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299712     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 
299798     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 
299884     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299885     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299888     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 
299974     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299974     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms