TestTermParser

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

tests
0

failures
4

ignored
0.175s

duration
100%

successful

Tests

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

Standard output

266808     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
266808     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
266810     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 
266871     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
266872     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
266919     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 
266979     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
266980     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
266985     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 
267044     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
267044     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
267046     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 
267105     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 
267164     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
267165     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
267167     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
267169     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 
267228     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
267230     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
267232     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
267234     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 
267293     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 
267354     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
267355     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
267359     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 
267419     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
267419     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
267421     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
267427     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 
267488     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
267489     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
267491     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 
267551     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
267552     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
267554     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 
267613     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
267614     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
267617     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 
267677     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
267677     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
267679     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 
267742     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
267742     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
267744     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 
267803     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
267803     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
267805     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 
267865     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 
267923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
267923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
267924     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 
267982     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
267982     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
267984     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 
268042     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
268042     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
268043     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 
268101     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
268101     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
268103     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 
268162     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
268162     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
268164     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 
268223     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
268224     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
268226     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 
268285     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
268286     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
268288     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 
268346     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
268347     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
268348     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 
268406     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
268406     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
268408     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 
268465     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
268466     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
268467     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 
268525     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
268525     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
268527     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 
268585     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
268585     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
268587     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 
268645     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
268645     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
268646     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 
268704     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
268704     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
268706     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 
268764     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
268764     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
268766     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 
268824     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
268824     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
268825     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 
268884     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
268884     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
268886     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 
268945     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
268945     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
268948     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 
269006     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
269006     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
269008     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 
269066     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
269067     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
269068     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 
269127     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
269127     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
269130     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 
269188     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
269189     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
269189     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 
269247     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
269247     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
269249     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 
269307     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
269307     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
269309     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 
269367     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
269367     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
269369     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 
269427     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
269427     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
269429     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 
269487     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
269487     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
269497     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 
269564     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 
269622     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
269622     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
269626     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 
269684     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
269685     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms