Package hydra.paths

Class SubtypeGraph

java.lang.Object

hydra.paths.SubtypeGraph

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable<SubtypeGraph>

public class SubtypeGraph
extends java.lang.Object
implements java.io.Serializable, java.lang.Comparable<SubtypeGraph>

A graph of subtype nodes and edges, representing type access patterns

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
ConsList<SubtypeEdge>	edges	All edges in the graph
static Name	EDGES
ConsList<SubtypeNode>	nodes	All nodes in the graph
static Name	NODES
static Name	TYPE_

Constructor Summary

Constructors

Constructor	Description
SubtypeGraph(ConsList<SubtypeNode> nodes, ConsList<SubtypeEdge> edges)

Method Summary

Modifier and Type	Method	Description
int	compareTo(SubtypeGraph other)
boolean	equals(java.lang.Object other)
int	hashCode()
SubtypeGraph	withEdges(ConsList<SubtypeEdge> edges)
SubtypeGraph	withNodes(ConsList<SubtypeNode> nodes)

Methods inherited from class java.lang.Object

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

Field Detail

TYPE_

public static final Name TYPE_

NODES

public static final Name NODES

EDGES

public static final Name EDGES

nodes

public final ConsList<SubtypeNode> nodes

All nodes in the graph

edges

public final ConsList<SubtypeEdge> edges

All edges in the graph

Constructor Detail

SubtypeGraph

public SubtypeGraph(ConsList<SubtypeNode> nodes,
                    ConsList<SubtypeEdge> edges)

Method Detail

equals

public boolean equals(java.lang.Object other)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

compareTo

public int compareTo(SubtypeGraph other)

Specified by:

compareTo in interface java.lang.Comparable<SubtypeGraph>

withNodes

public SubtypeGraph withNodes(ConsList<SubtypeNode> nodes)

withEdges

public SubtypeGraph withEdges(ConsList<SubtypeEdge> edges)