sandmark.util
Class SpecialClass

java.lang.Object
  |
  +--sandmark.util.graph.Node
        |
        +--sandmark.util.ClassHierarchyNode
              |
              +--sandmark.util.SpecialClass

All Implemented Interfaces:

java.lang.Cloneable

class SpecialClass

extends ClassHierarchyNode

A class that we can't edit, such as a class from java.*.

Field Summary

java.lang.String	className
boolean	isInterface
MethodID[]	methods

Fields inherited from class sandmark.util.graph.Node

number

Constructor Summary

SpecialClass()

Method Summary

protected java.lang.String	color() Return the color of this node.
java.lang.String	toDot() Format the node in the dot format.
java.lang.String	toString()

Methods inherited from class sandmark.util.graph.Node

clone, equals, fontsize, hashCode, main, name, nodeNumber, setNodeNumber, shape, style, toDot

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

className

public java.lang.String className

isInterface

public boolean isInterface

methods

public MethodID[] methods

Constructor Detail

SpecialClass

public SpecialClass()

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class Node

toDot

public java.lang.String toDot()

Description copied from class: Node

Format the node in the dot format. This method should typically be overridden in order to format the node label:

    public String toDot() {
       return toDot(data);
    }
 

Overrides:

toDot in class Node

color

protected java.lang.String color()

Description copied from class: Node

Return the color of this node. Used when generating code for dot. Default is black.

Overrides:

color in class Node