TestJavaInfo

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

tests
0

failures
0

ignored
0.024s

duration
100%

successful

Tests

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

Standard error

6900       ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: boolean, formerNode: /*@ pure @*/
boolean 
6976       ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure*/
int, formerNode: int 
6980       ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
int, formerNode: int 
6982       ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
boolean, formerNode: /*@ pure @*/
boolean 
6983       ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
char, formerNode: char 
6985       ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: byte[], formerNode: byte[] 
6991       ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@ helper */
java.lang.String, formerNode: java.lang.String 
7042       ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@strictly_pure*/
java.lang.String, formerNode: java.lang.String 
7050       ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@nullable@*/
Object, formerNode: Object 
7106       ERROR Test worker     d.u.i.k.j.KeYJPMapping    Duplicate registration of node: /*@pure@*/
String, formerNode: String