TestTermParser

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

tests
0

failures
4

ignored
0.149s

duration
100%

successful

Tests

Test Duration Result
test1() 0.002s passed
test10() 0.004s passed
test11() 0.005s passed
test12() - ignored
test13() 0.005s passed
test14() 0.003s passed
test1a() 0.002s passed
test2() 0.002s passed
test3() 0.002s passed
test5() 0.002s passed
test6() 0.002s passed
test7() 0.002s passed
test8() 0.002s passed
test9() 0.001s passed
testAmbigiousFuncVarPred() 0.001s passed
testAttributeOnObject() 0.002s passed
testAttributeWithSpecifiedSortOnObject() 0.007s passed
testBindingUpdateTerm() 0.001s passed
testBindingUpdateTerm_1() 0.001s 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.003s passed
testIfThenElse() 0.001s passed
testInfix1() 0.001s passed
testInfix2() 0.002s passed
testInfix3() 0.002s passed
testInfix4() 0.002s passed
testJavaAttributeAccessBoth_1() 0.002s 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.001s passed
testNegativeLiteralParsing2() 0.002s passed
testNegativeLiteralParsing3() 0.002s passed
testNotEqual() 0.003s passed
testParsingArray() 0.003s passed
testParsingArrayCombination() 0.003s passed
testProgramVariables() 0.048s passed
xtestBindingUpdateTermOldBindingAlternative() - ignored
xtestParsingArrayWithSpaces() - ignored

Standard output

254439     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
254440     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
254443     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 
254503     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
254504     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
254552     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 
254612     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
254613     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
254618     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 
254679     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
254680     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
254682     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 
254745     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 
254805     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
254805     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
254807     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
254809     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 
254868     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
254869     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
254870     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
254872     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 
254934     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 
254999     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
254999     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
255004     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 
255063     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
255063     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
255065     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
255066     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 
255125     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
255125     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
255127     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 
255185     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
255185     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
255188     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 
255246     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
255246     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
255248     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 
255306     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
255306     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
255307     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 
255365     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
255366     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
255367     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 
255425     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
255426     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
255427     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 
255487     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 
255550     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
255550     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
255551     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 
255658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
255658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
255659     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 
255718     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
255719     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
255720     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 
255777     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
255778     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
255779     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 
255836     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
255836     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
255838     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 
255895     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
255895     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
255897     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 
255955     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
255955     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
255957     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 
256014     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
256015     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
256016     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 
256074     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
256074     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
256075     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 
256134     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
256134     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
256135     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 
256193     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
256193     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
256196     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 
256254     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
256254     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
256255     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 
256313     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
256313     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
256315     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 
256373     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
256373     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
256375     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 
256433     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
256433     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
256435     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 
256493     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
256493     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
256494     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 
256552     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
256553     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
256555     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 
256613     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
256613     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
256616     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 
256674     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
256674     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
256677     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 
256735     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
256735     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
256737     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 
256796     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
256796     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
256799     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 
256858     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
256858     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
256859     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 
256918     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
256918     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
256919     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 
256978     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
256978     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
256980     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 
257038     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
257038     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
257040     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 
257098     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
257098     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
257099     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 
257165     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
257165     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
257168     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 
257226     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 
257284     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
257285     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
257287     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 
257346     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
257346     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms