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

DotGraphAttribute(String id, String v)

Method Summary

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