scale.common
Interface DisplayNode

All Known Implementing Classes:

Root, Annotation

public interface DisplayNode

All classes whose instances will be displayed graphically by a DisplayGraph must adhere to this interface.

$Id: DisplayNode.java,v 1.10 2002/01/03 21:44:34 burrill Exp $

Copyright 2002 by the Scale Compiler Group,
Department of Computer Science
University of Massachusetts,
Amherst MA. 01003, USA
All Rights Reserved.

See Also:

DisplayGraph

Field Summary

static int	ANNO Display annotations.
static int	CLEF Display Clef types & declarations.
static int	DD Display data dependence relations.
static int	DEFUSE Display def-use links.
static int	DOM Display dominance relations.
static int	EXPR Display expressions.
static int	MAYUSE Display may-use, may-def links.
static int	TYPE Display Clef types & declarations.

Method Summary

java.lang.String	getDisplayColorHint() Return a String specifying the color to use for coloring this node in a graphical display.
java.lang.String	getDisplayName() Return the unique node label.
java.lang.String	getDisplayShapeHint() Return a String specifying a shape to use when drawing this node in a graphical display.
java.lang.String	getDisplayText() Return a String suitable for labeling this node in a graphical display.

Field Detail

DEFUSE

public static final int DEFUSE

Display def-use links.

MAYUSE

public static final int MAYUSE

Display may-use, may-def links.

CLEF

public static final int CLEF

Display Clef types & declarations.

TYPE

public static final int TYPE

Display Clef types & declarations.

ANNO

public static final int ANNO

Display annotations.

EXPR

public static final int EXPR

Display expressions.

DD

public static final int DD

Display data dependence relations.

DOM

public static final int DOM

Display dominance relations.

Method Detail

getDisplayName

public java.lang.String getDisplayName()

Return the unique node label.

getDisplayText

public java.lang.String getDisplayText()

Return a String suitable for labeling this node in a graphical display.

getDisplayColorHint

public java.lang.String getDisplayColorHint()

Return a String specifying the color to use for coloring this node in a graphical display.

getDisplayShapeHint

public java.lang.String getDisplayShapeHint()

Return a String specifying a shape to use when drawing this node in a graphical display.