Package de.saar.chorus.ubench.jdomgraph

Class Fragment.FragmentUserObject

java.lang.Object

de.saar.chorus.ubench.jdomgraph.Fragment.FragmentUserObject

Enclosing class:

Fragment

public class Fragment.FragmentUserObject
extends Object

This is a data storage for a Fragment to be read out by a JDomGraph.

Author:

Michaela Regneri

Method Summary

Modifier and Type	Method	Description
String	getToolTipText()	This overrides the getToopTipText method in JComponent.
String	toString()	This has to return "null" because the DefaultGraphCell representing the fragment may not display its own text.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Details

toString

public String toString()

This has to return "null" because the DefaultGraphCell representing the fragment may not display its own text.

Overrides:

toString in class Object

Returns:

null

getToolTipText

public String getToolTipText()

This overrides the getToopTipText method in JComponent. Actually, this is meant to pass the right tooltip text to the JGraph Object. Unfortunately, with the new implementation (v. 5.10.1.3), the getToolTipText method of user objects are not considered anymore. For principle reasons, this will still be the way to get the tooltip text for a FragmentUserObject.

Returns:

the fragment name

See Also:

• JComponent.getToolTipText()