index 865ffdd4177f7625fb1f5fdef57b2f3ba6c0cb39..2b9b5483efa3b7b76050a4c105d3cb4b20dc655c 100644 (file)
switch(type -> class)
{
switch(type -> class)
{
+ case OBERON_TYPE_POINTER:
+ name = jvm_get_class_full_name(type -> base);
+ break;
case OBERON_TYPE_PROCEDURE:
name = new_string("SYSTEM$PROCEDURE");
case OBERON_TYPE_PROCEDURE:
name = new_string("SYSTEM$PROCEDURE");