Uses of Class
fr.umlv.unitex.GenericGraphBox

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)