TestTermParser

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

tests
0

failures
4

ignored
0.182s

duration
100%

successful

Tests

Test Duration Result
test1() 0.002s passed
test10() 0.002s passed
test11() 0.001s passed
test12() - ignored
test13() 0.005s passed
test14() 0.003s passed
test1a() 0.002s passed
test2() 0.001s passed
test3() 0.001s passed
test5() 0.002s passed
test6() 0.001s passed
test7() 0.002s passed
test8() 0.002s passed
test9() 0.001s passed
testAmbigiousFuncVarPred() 0.001s passed
testAttributeOnObject() 0.002s passed
testAttributeWithSpecifiedSortOnObject() 0.004s 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.001s passed
testBindingUpdateTerm_7() 0.002s passed
testBindingUpdateTerm_8() 0.002s passed
testCast() 0.002s passed
testIfThenElse() 0.002s passed
testInfix1() 0.001s passed
testInfix2() 0.002s passed
testInfix3() 0.003s passed
testInfix4() 0.010s passed
testJavaAttributeAccessBoth_1() 0.004s 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.082s passed
xtestBindingUpdateTermOldBindingAlternative() - ignored
xtestParsingArrayWithSpaces() - ignored

Standard output

298338     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298339     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298341     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 
298454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298455     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298527     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 
298616     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
298616     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298619     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 
298708     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298708     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298709     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 
298795     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 
298882     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298882     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298883     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
298884     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 
298973     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298973     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298974     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
298975     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 
299065     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 
299153     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299153     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299158     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 
299243     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
299243     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299244     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
299245     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 
299330     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299330     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299332     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 
299420     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299421     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299423     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 
299510     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299511     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
299513     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 
299599     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299599     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299600     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 
299692     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299692     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299695     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 
299784     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
299784     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299785     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 
299872     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 
299959     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299959     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299960     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 
300047     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300047     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300049     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 
300135     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300136     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300137     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 
300224     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300224     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300226     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 
300313     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
300313     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300314     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 
300400     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300401     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300402     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 
300488     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300488     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300490     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 
300573     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300573     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300575     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 
300658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300659     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300660     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 
300743     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
300743     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300744     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 
300828     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300828     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300831     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 
300915     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300915     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300916     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 
301002     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
301002     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301004     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 
301090     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301091     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301093     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 
301179     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301179     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301189     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 
301283     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301284     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301285     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 
301430     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301431     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301434     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 
301520     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301520     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301523     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 
301607     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301607     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301609     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 
301696     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301697     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301698     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 
301783     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301783     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301786     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 
301872     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301873     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
301874     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 
301958     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301958     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301959     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 
302044     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
302044     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302045     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 
302130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302130     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302132     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 
302217     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302217     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302218     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 
302303     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302303     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302306     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 
302390     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 
302474     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
302475     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
302478     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 
302564     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
302564     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms