TestJavaInfo

all > de.uka.ilkd.key.java > TestJavaInfo
9

tests
0

failures
0

ignored
0.022s

duration
100%

successful

Tests

Test Duration Result
testFindArrayLength() 0.001s passed
testFindAttributesLocallyDeclaredOnly() 0.004s passed
testFindImplicitAttributesForClassTypesOnly() 0.002s passed
testGetAllSubtypes() 0.001s passed
testGetAllSupertypes() 0.003s passed
testGetCommonSubtypes() 0.007s passed
testGetPrimitiveKJT() 0.002s passed
testRetrieveArrayTypeByAlternativeName() 0.001s passed
testRetrieveArrayTypeByJLSName() 0.001s passed

Standard error

32701      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
32779      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
32779      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
32779      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
32779      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
32779      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
32794      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
32826      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
32841      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
32920      ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String