soot.util.dot

Class DotGraphAttribute

java.lang.Object

soot.util.dot.DotGraphAttribute

public class DotGraphAttribute
extends Object

A class for specifying Dot graph attributes.

Author:

Feng Qian

Constructor Summary

Constructors

Constructor and Description
DotGraphAttribute(String id, String v)

Method Summary

Modifier and Type	Method and Description
String	getID()
String	getValue()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

DotGraphAttribute

public DotGraphAttribute(String id,
                         String v)

Method Detail

toString

public String toString()

Overrides:

toString in class Object

getID

public String getID()

getValue

public String getValue()