|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
ObjectFragment
public class Fragment
A fragment in a dominance graph. This fragment contains nodes (labelled and unlabelled) and solid edges, such that the contained nodes are all connected by the contained edges. Fragments of a dominance graph are actually computed by the computeFragments method in JDomGraph. Objects of this class can serve as popup targets, i.e. they provide a menu item for a popup menu.
| Method Summary | |
|---|---|
void |
actionPerformed(ActionEvent e)
|
void |
addMenuItem(String id,
String label)
Adds a menu item to the popup target's menu. |
JMenuItem |
getMenu()
Return the JMenu object that represents this popup target's submenu. |
String |
getMenuLabel()
Returns the label of the menu item for this popup target in a superordinate menu. |
Set<DefaultGraphCell> |
getNodes()
Get all nodes in this fragment. |
JDomGraph |
getParent()
|
int |
size()
Get the number of nodes in this fragment. |
String |
toString()
|
| Methods inherited from class Object |
|---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Method Detail |
|---|
public Set<DefaultGraphCell> getNodes()
public int size()
public String toString()
toString in class Objectpublic String getMenuLabel()
public JMenuItem getMenu()
public void addMenuItem(String id,
String label)
id - an identification for this menu itemlabel - the label that will be displayed for this menu item.public void actionPerformed(ActionEvent e)
actionPerformed in interface ActionListenerpublic JDomGraph getParent()
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||