Package de.saar.chorus.domgraph.graph

Class NodeLabels

java.lang.Object

de.saar.chorus.domgraph.graph.NodeLabels

public class NodeLabels
extends Object

A map which is used for storing the node labels of a labelled dominance graph.

Author:

Alexander Koller

Constructor Summary

Constructors

Constructor	Description
NodeLabels()

Method Summary

Modifier and Type	Method	Description
void	addLabel(String node, String label)	Adds a label for a given node.
void	clear()	Removes all node-label mappings from this map.
boolean	equals(Object obj)
String	getLabel(String node)	Gets the label for a given node.
int	hashCode()
NodeLabels	makeSolvedForm(SolvedFormSpec spec)
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Details

NodeLabels

public NodeLabels()

Method Details

clear

public void clear()

Removes all node-label mappings from this map.

addLabel

public void addLabel(String node,
 String label)

Adds a label for a given node.

Parameters:

node - the node

label - the label for this node

getLabel

public String getLabel(String node)

Gets the label for a given node. If the node was not assigned a label, returns null.

Parameters:

node - a node

Returns:

the label, or null if the node has no label

toString

public String toString()

Overrides:

toString in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

makeSolvedForm

public NodeLabels makeSolvedForm(SolvedFormSpec spec)