Package soot.util.dot

Class AbstractDotGraphElement

java.lang.Object

soot.util.dot.AbstractDotGraphElement

Direct Known Subclasses:

DotGraph, DotGraphEdge, DotGraphNode

public abstract class AbstractDotGraphElement
extends Object

Author:

Timothy Hoffman

Constructor Summary

Constructors

Constructor	Description
AbstractDotGraphElement()

Method Summary

Modifier and Type	Method	Description
DotGraphAttribute	getAttribute(String id)
Collection<DotGraphAttribute>	getAttributes()
String	getAttributeValue(String id)
String	getLabel()
void	removeAllAttributes()	Removes all attributes from this dot element.
void	removeAttribute(String id)	Removes the attribute with the given id from this dot element.
void	removeAttribute(DotGraphAttribute attr)	Removes the given attribute from this dot element.
void	setAttribute(String id, String value)	Sets an attribute for this dot element.
void	setAttribute(DotGraphAttribute attr)	Sets an attribute for this dot element.
void	setLabel(String label)	Sets the label for this dot element.

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractDotGraphElement

public AbstractDotGraphElement()

Method Detail

setAttribute

public void setAttribute(String id,
                         String value)

Sets an attribute for this dot element.

Parameters:

id - the attribute id to be set

value - the attribute value

setAttribute

public void setAttribute(DotGraphAttribute attr)

Sets an attribute for this dot element.

Parameters:

attr - DotGraphAttribute specifying the attribute name and value

getAttributes

public Collection<DotGraphAttribute> getAttributes()

Returns:

unmodifiable Collection of DotGraphAttribute for this AbstractDotGraphElement

getAttribute

public DotGraphAttribute getAttribute(String id)

Parameters:

id -

Returns:

the DotGraphAttribute with the given id

getAttributeValue

public String getAttributeValue(String id)

Parameters:

id -

Returns:

the value for the DotGraphAttribute with the given id

removeAttribute

public void removeAttribute(String id)

Removes the attribute with the given id from this dot element.

Parameters:

id -

removeAttribute

public void removeAttribute(DotGraphAttribute attr)

Removes the given attribute from this dot element.

Parameters:

attr - DotGraphAttribute specifying the attribute to remove

removeAllAttributes

public void removeAllAttributes()

Removes all attributes from this dot element.

setLabel

public void setLabel(String label)

Sets the label for this dot element.

Parameters:

label - a label string

getLabel

public String getLabel()

Returns:

the label for this dot element