TestTermParser

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

tests
0

failures
4

ignored
0.272s

duration
100%

successful

Tests

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

Standard output

358883     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358883     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358883     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 
358977     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358977     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359055     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 
359141     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359157     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359157     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 
359254     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359254     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359254     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 
359348     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 
359442     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359442     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359442     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
359442     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 
359520     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359520     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359520     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
359536     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 
359614     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 
359702     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359702     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359718     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 
359807     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359807     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359807     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
359807     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 
359900     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359900     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359900     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 
359994     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359994     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359994     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 
360088     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360088     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360088     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 
360186     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
360186     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360186     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 
360264     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360280     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
360280     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 
360436     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360436     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360436     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 
360530     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 
360624     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360624     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360624     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 
360702     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360702     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360702     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 
360796     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360796     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360796     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 
360890     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360890     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360890     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 
360984     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360984     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360984     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 
361077     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361077     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361077     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 
361172     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361172     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361172     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 
361273     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361273     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361273     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 
361386     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361386     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361386     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 
361479     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361479     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361479     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 
361573     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361573     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361573     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 
361651     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361651     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361667     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 
361745     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361745     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361745     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 
361839     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361839     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361839     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 
361932     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361932     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361932     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 
362026     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362026     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362026     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 
362104     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362104     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362120     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 
362214     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362214     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362214     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 
362308     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362308     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362308     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 
362401     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362401     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362401     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 
362495     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362495     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362495     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 
362589     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362589     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362589     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 
362683     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362683     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362683     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 
362782     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362782     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362782     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 
362876     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362876     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362876     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 
362970     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362970     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362970     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 
363064     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363064     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363079     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 
363173     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 
363267     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363267     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363317     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 
363395     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363410     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms