|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use GenericGraphBox | |
---|---|
fr.umlv.unitex | |
fr.umlv.unitex.undo |
Uses of GenericGraphBox in fr.umlv.unitex |
---|
Subclasses of GenericGraphBox in fr.umlv.unitex | |
---|---|
class |
FstGraphBox
This class describes a box of a sentence automaton. |
class |
GraphBox
This class describes a box of a graph. |
Methods in fr.umlv.unitex with parameters of type GenericGraphBox | |
---|---|
void |
GenericGraphicalZone.addBox(GenericGraphBox g)
Adds a graph box to the graph |
void |
GenericGraphicalZone.addReverseTransitionsFromSelectedBoxes(GenericGraphBox src)
Adds transitions from a specified graph box to all selected boxes |
void |
GenericGraphicalZone.addTransitionsFromSelectedBoxes(GenericGraphBox dest,
boolean save)
Adds transitions from all selected boxes to a specified graph box |
void |
GenericGraphBox.addTransitionTo(GenericGraphBox g)
Adds a transition to a box. |
void |
GenericGraphBox.drawTransition(java.awt.Graphics2D g,
GenericGraphBox dest)
Draws a transition to a box |
java.util.ArrayList |
GenericGraphicalZone.getTransitionTo(GenericGraphBox dest)
Removes all transitions that go to a specified graph box |
void |
GenericGraphBox.onlyAddTransitionTo(GenericGraphBox g)
Adds a transition to a box. |
void |
GenericGraphBox.removeTransitionTo(GenericGraphBox g)
removes a box transition |
void |
GenericGraphicalZone.removeTransitionTo(GenericGraphBox dest)
Removes all transitions that go to a specified graph box |
Uses of GenericGraphBox in fr.umlv.unitex.undo |
---|
Constructors in fr.umlv.unitex.undo with parameters of type GenericGraphBox | |
---|---|
AddBoxeEdit(GenericGraphBox boxe,
java.util.ArrayList boxes,
GenericGraphicalZone zone)
contruct an edit to redo and undo an add boxe action |
|
BoxeTextEdit(GenericGraphBox boxe,
java.lang.String text,
GenericGraphicalZone zone)
contruct an edit to redo and undo a text edition in a boxe |
|
RemoveBoxeEdit(GenericGraphBox boxe,
java.util.ArrayList boxes,
GenericGraphicalZone zone)
|
|
TransitionEdit(GenericGraphBox srcBoxe,
GenericGraphBox dstBoxe)
constuct a Transition Edit |
|
TransitionGroupEdit(java.util.ArrayList selectedBoxes,
GenericGraphBox dst,
GenericGraphicalZone zone)
|
|
TranslationEdit(GenericGraphBox boxe,
int x,
int y)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |