|
|||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--dk.brics.jwig.analysis.summarygraph.StringEdge
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 |
public StringEdge(String gap, Collection origins)
gap
- gap nameorigins
- objects describing the edgepublic StringEdge(String gap, Object origin)
gap
- gap nameorigin
- object describing the edgeMethod Detail |
public boolean addAnyString()
public boolean addLabel(String label)
label
- label string
public boolean addLabels(Automaton labels)
public Object clone()
clone
in class Object
public String getGap()
public Automaton getLabels()
public Collection getOrigins()
|
|||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |