Package pascal.taie.util.graph

Class DotAttributes

java.lang.Object

pascal.taie.util.graph.DotAttributes

public class DotAttributes
extends Object

Represents dot attributes.

Method Summary

Modifier and Type	Method	Description
DotAttributes	add(String... input)
static DotAttributes	of(String... input)
String	toString()
DotAttributes	update(String... input)

Methods inherited from class java.lang.Object

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

Method Details

update

public DotAttributes update(String... input)

Returns:

a new DotAttributes with attributed updated by given input.

add

public DotAttributes add(String... input)

Returns:

a new DotAttributes with attributed in given input added.

of

public static DotAttributes of(String... input)

Returns:

a DotAttributes containing attributes specified by input.

toString

public String toString()

Overrides:

toString in class Object