|
|||||||||
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 Object
public 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 ActionListener
public JDomGraph getParent()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |