TestTermParser

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

tests
0

failures
4

ignored
0.196s

duration
100%

successful

Tests

Test Duration Result
test1() 0.001s passed
test10() 0.003s passed
test11() 0.002s passed
test12() - ignored
test13() 0.013s passed
test14() 0.006s passed
test1a() 0.005s passed
test2() 0.002s passed
test3() 0.001s passed
test5() 0.002s passed
test6() 0.002s passed
test7() 0.002s passed
test8() 0.002s passed
test9() 0.002s passed
testAmbigiousFuncVarPred() 0.001s passed
testAttributeOnObject() 0.004s passed
testAttributeWithSpecifiedSortOnObject() 0.012s passed
testBindingUpdateTerm() 0.003s passed
testBindingUpdateTerm_1() 0.004s 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.001s passed
testIfThenElse() 0.002s passed
testInfix1() 0.002s passed
testInfix2() 0.001s passed
testInfix3() 0.003s passed
testInfix4() 0.003s passed
testJavaAttributeAccessBoth_1() 0.003s passed
testJavaAttributeAccessBoth_2() 0.005s passed
testJavaAttributeAccessBoth_3() 0.008s passed
testJavaAttributeAccess_4() 0.005s passed
testJavaQueryAndAttribute_all() - ignored
testJavaStaticQuery() 0.003s passed
testJavaStaticQueryWithParameter() 0.010s passed
testNegativeLiteralParsing1() 0.002s passed
testNegativeLiteralParsing2() 0.002s passed
testNegativeLiteralParsing3() 0.003s passed
testNotEqual() 0.002s passed
testParsingArray() 0.003s passed
testParsingArrayCombination() 0.003s passed
testProgramVariables() 0.055s passed
xtestBindingUpdateTermOldBindingAlternative() - ignored
xtestParsingArrayWithSpaces() - ignored

Standard output

339494     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339494     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339496     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 
339572     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339573     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339628     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 
339699     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
339703     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339711     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 
339784     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339784     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339785     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 
339855     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 
339922     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339922     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339924     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int x = 1;
  {
    int s = 2;
  }
}\> (equals(x,x)) 
339925     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 
339994     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339994     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
339995     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \[{
  int x = 2;
  {
    String s = ""}";
  }
}\] (true) 
339997     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 
340068     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 
340138     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340138     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340151     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 
340223     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340224     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340227     INFO  Test worker     d.u.i.k.p.TestTermParser  Out: \<{
  int[] i;
}\> (diamond(true)) 
340229     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 
340320     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340320     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340324     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 
340414     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340414     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340418     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 
340500     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340501     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340504     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 
340576     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
340576     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340577     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 
340646     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340647     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
340648     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 
340718     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340718     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340721     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 
340788     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 
340855     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
340855     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340856     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 
340923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340925     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 
340991     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
340992     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
340993     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 
341059     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341059     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341060     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 
341125     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341125     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341127     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 
341193     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341193     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341195     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 
341267     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
341267     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341269     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 
341338     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341339     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341340     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 
341410     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341411     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341412     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 
341479     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341480     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341482     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 
341549     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341549     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341552     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 
341619     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341619     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341621     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 
341688     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341688     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341690     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 
341758     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
341758     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341760     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 
341827     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
341827     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341829     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 
341896     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341897     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
341898     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 
341965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341965     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341968     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 
342034     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342034     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342039     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 
342109     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342109     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342117     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 
342192     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
342192     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342194     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 
342261     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342261     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342264     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 
342337     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
342337     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342338     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 
342405     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342405     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342407     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 
342472     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342472     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342474     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 
342541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342542     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342543     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 
342610     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342610     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342613     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 
342679     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342679     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342682     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 
342750     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 
342815     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
342815     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
342825     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 
342903     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
342903     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms