dk.brics.jwig.analysis.summarygraph
Class StringEdge

java.lang.Object
  |
  +--dk.brics.jwig.analysis.summarygraph.StringEdge

public class StringEdge

extends Object

Edge (associated with string plugs).

Constructor Summary

StringEdge(String gap, Collection origins)
Constructs attribute edge.

StringEdge(String gap, Object origin)
Constructs attribute edge.

Method Summary

boolean	addAnyString() Adds all strings as labels.
boolean	addLabel(String label) Adds label string.
boolean	addLabels(Automaton labels) Adds labels.
Object	clone() Clones this edge.
String	getGap() Returns edge gap name.
Automaton	getLabels() Returns label automaton.
Collection	getOrigins() Returns collection of origin objects.

Methods inherited from class java.lang.Object

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

Constructor Detail

StringEdge

public StringEdge(String gap,
                  Collection origins)

Constructs attribute edge.

Parameters:

gap - gap name

origins - objects describing the edge

StringEdge

public StringEdge(String gap,
                  Object origin)

Constructs attribute edge.

Parameters:

gap - gap name

origin - object describing the edge

Method Detail

addAnyString

public boolean addAnyString()

Adds all strings as labels.

Returns:

true if any new labels are added

addLabel

public boolean addLabel(String label)

Adds label string.

Parameters:

label - label string

Returns:

true if a new label is added

addLabels

public boolean addLabels(Automaton labels)

Adds labels.

Returns:

true if any new labels are added

clone

public Object clone()

Clones this edge.

Overrides:

clone in class Object

Returns:

shallow clone.

getGap

public String getGap()

Returns edge gap name.

Returns:

gap name

getLabels

public Automaton getLabels()

Returns label automaton.

Returns:

label automaton (should not be modified by the caller)

getOrigins

public Collection getOrigins()

Returns collection of origin objects.

Returns:

origin objects (should not be modified by the caller)