ConForM.CoopnTools.CoKer.Visual
Interface GraphicalVisualEditor

All Known Subinterfaces:
GraphicalVisualHelperEditor, GraphicalVisualToolEditor

public interface GraphicalVisualEditor

Graphical Visual Editor. Such an editor is able to perform editions of a graphical visual.


Field Summary
static int BOTTOM
          Constant denoting the bottom of a box.
static int ELEMENT
          Constant denoting an editable itself.
static int ES
          Constant denoting the alignment of an ediatble with selection.
static int INFO
          Constant denoting the information field of an editable.
static int LABEL
          Constant denoting the label of an editable.
static int LEFT
          Constant denoting the left of a box.
static int MIDDLE
          Constant denoting the middle (centre) of a box.
static int RIGHT
          Constant denoting the right of a box.
static int SGE
          Constant denoting the alignment of selection as a group with an editable.
static int SIE
          Constant denoting the alignment of selection's items with an editable.
static int TOP
          Constant denoting the top of a box.
 
Method Summary
 void addIntermediaryPoint(GraphicalVisualArc arc, int index, java.awt.Point point)
          Add an intermediary point at a specific index.
 void addIntermediaryPoint(GraphicalVisualArc arc, java.awt.Point point)
          Add an intermediary point at the best index.
 boolean canRedo()
          Look if it is possible to redo.
 boolean canUndo()
          Look if it is possible to undo.
 void copy()
          Copy the selection.
 void deselectAll()
          Deselection of all elements.
 GraphicalVisualElement[] editables()
          Get the edited elements.
 void export()
          Show the export dialog, and start an exportation process according to.
 void export(java.io.PrintWriter writer, int format, java.awt.Insets insets, int zoom, CoopnEnv env)
          Start an exportation process.
 int getHorizontalStep()
          Get the the horizontal step of the grid.
 int getRotationStep()
          Get the the rotation step of the angular grid.
 int getVerticalStep()
          Get the the vertical step of the grid.
 int getZoom()
          Return the current zoom factor.
 boolean hasPrimarySelection()
          Look if a primary selection exists.
 java.util.Set helpers()
          Get the set of helpers associated to this editor.
 void horizontalAlignment(GraphicalVisualElement editable, int kind, int editablePart, int editableLoc, int selectionLoc)
          Horizontal alignment of the selection.
 void incrementalLayout(IncrementalLayouter layouter)
          Incremental layout.
 void invertInfoSelection(GraphicalVisualElement element)
          Inversion of the selection state of the info field of an element.
 void invertLabelSelection(GraphicalVisualElement element)
          Inversion of the selection state of the label of an element.
 void invertSelection(GraphicalVisualElement element)
          Inversion of the selection state of an element.
 boolean isAngularGridActivated()
          Look if the angular grid is active.
 boolean isGridActivated()
          Look if the grid is active.
 void layout(Layouter layouter)
          Total layout.
 boolean modified()
          Look if this editor has be used to modify its content.
 boolean move(GraphicalVisualEditable editable, int x, int y)
          Move an editable.
 boolean move(GraphicalVisualEditable editable, int x, int y, java.awt.Dimension grid)
          Move an editable on a grid.
 boolean moveInfo(GraphicalVisualEditable editable, int x, int y)
          Move the information field of an editable.
 boolean moveInfo(GraphicalVisualEditable editable, int x, int y, java.awt.Dimension grid)
          Move the information field of an editable on a grid.
 void moveIntermediaryPoint(GraphicalVisualArc arc, int index, int x, int y)
          Move an intermediary point of an arc.
 boolean moveLabel(GraphicalVisualEditable editable, int x, int y)
          Move the label of an editable.
 boolean moveLabel(GraphicalVisualEditable editable, int x, int y, java.awt.Dimension grid)
          Move the label of an editable on a grid.
 void open()
          Show an open dialog, an start an open process according to it.
 void open(java.lang.String name)
          Start an open process.
 boolean openPossible()
          Look if the editor is able to perform an open.
 void print()
          Show the print dialog, and start a print process according to.
 void print(java.awt.print.PrinterJob printer)
          Start a print process.
 void quickHorizontalAlignment()
          Quick horizontal alignment of the selection.
 void quickVerticalAlignment()
          Quick vertical alignment of the selection.
 boolean quit()
          Quit.
 void redo()
          Redo the last undo, if possible.
 void removeIntermediaryPoint(GraphicalVisualArc arc, int index)
          Remove an intermediary point at a specific index.
 void removeIntermediaryPoint(GraphicalVisualArc arc, java.awt.Point point)
          Remove an intermediary point at the best index.
 void reOpen()
          Start a re-open process.
 boolean reOpenPossible()
          Look if the editor is able to perform a re-open.
 void resetAbstraction(GraphicalVisualElement abstracted, GraphicalVisualElement abstraction)
          Reset an abstraction.
 void resetAbstraction(GraphicalVisualElementGroup abstracted, GraphicalVisualElementGroup abstraction)
          Reset a set of abstractions.
 boolean resize(GraphicalVisualContainer container, int x, int y, int h, int v)
          Resize a container.
 boolean resize(GraphicalVisualContainer container, int x, int y, int h, int v, java.awt.Dimension grid)
          Resize a container on a grid.
 void resizeToFit()
          Resize the window to fit the drawing.
 boolean rotate(GraphicalVisualRotatableNode node, int angle)
          Rotate a rotatable node.
 boolean rotate(GraphicalVisualRotatableNode node, int angle, int grid)
          Rotate a rotatable node on an angular grid.
 void save()
          Start a save process.
 void saveAs()
          Show a saveAs dislog, an start a saveAs process according to it.
 void saveAs(java.lang.String name)
          Start a saveAs process.
 boolean saveAsPossible()
          Look if the editor is able to perform a saveAs.
 boolean savePossible()
          Look if the editor is able to perform a save.
 void scrollToShow()
          Scroll to show the selection.
 void select(GraphicalVisualElement element)
          Selection of an element.
 void select(GraphicalVisualElement[] elements)
          Selection of an array of elements.
 void selectAll()
          Selection of all top-level elements.
 boolean selected()
          Look if something is selected.
 void selectInfo(GraphicalVisualElement element)
          Selection of the info field of an element.
 void selectInternal(GraphicalVisualContainer container)
          Selection of the internal of a container.
 void selectLabel(GraphicalVisualElement element)
          Selection of the label of an element.
 void selectRectangle(java.awt.Rectangle rectangle)
          Selection of the content of a rectangular area.
 void setAbstraction(GraphicalVisualElement abstracted, GraphicalVisualElement abstraction)
          Set an abstraction.
 void setAbstraction(GraphicalVisualElementGroup abstracted, GraphicalVisualElementGroup abstraction)
          Set a set of abstractions.
 void setAndShowExclusiveInfoText(GraphicalVisualEditable editable, java.lang.String text)
          Set and show the info field text, and hide the label field.
 void setAndShowInfoText(GraphicalVisualEditable editable, java.lang.String text)
          Set and show the info field text.
 void setAndShowInfoText(GraphicalVisualElementGroup group, java.util.Map texts)
          Set and show many info field texts of elements in one edition.
 void setAngularGridActivated(boolean active)
          Set the activation status of the angular grid.
 void setColor(java.awt.Color color)
          Set the color of the selection.
 void setColor(GraphicalVisualEditable editable, java.awt.Color color)
          Set the color of an editable.
 void setGridActivated(boolean active)
          Set the activation status of the grid.
 void setHorizontalStep(int step)
          set the horizontal step of the grid.
 void setInfoText(GraphicalVisualEditable editable, java.lang.String text)
          Set the info field text.
 void setRotationStep(int step)
          set the rotation step of the angular grid.
 void setType(GraphicalVisualArc arc, int type)
          Set the type of an arc.
 void setVerticalStep(int step)
          set the vertical step of the grid.
 void setVisible(boolean visible)
          Show or hide the selection.
 void setVisible(GraphicalVisualEditable editable, boolean visible)
          Show or hide an editable.
 void setVisibleInfo(boolean visible)
          Show or hide the info of the selection.
 void setVisibleInfo(GraphicalVisualEditable editable, boolean visible)
          Show or hide the info of an editable.
 void setVisibleInfoExclusive(GraphicalVisualEditable editable)
          Show the infor field of an editable, and hide its label.
 void setVisibleInternal(GraphicalVisualContainer container, boolean visible)
          Show or hide the internal of a container.
 void setVisibleLabel(boolean visible)
          Show or hide the label of the selection.
 void setVisibleLabel(GraphicalVisualEditable editable, boolean visible)
          Show or hide the label of an editable.
 void setVisibleLabelAndInfo(GraphicalVisualEditable editable)
          Show both the label of an editable and its info field.
 void setVisibleLabelExclusive(GraphicalVisualEditable editable)
          Show the label of an editable, and hide its info field.
 void setZoom(int fact)
          Set the zoom factor
 void showVisual()
          Show (and move in front) the window associated to this editor.
 java.lang.String title()
          Get the title of the displayed document.
 void undo()
          Undo the last edit, if possible.
 void verticalAlignment(GraphicalVisualElement editable, int kind, int editablePart, int editableLoc, int selectionLoc)
          Vertical alignment of the selection.
 void zoom()
          Show the zoom dialog.
 void zoomIn()
          Increase the zoom factor.
 void zoomOut()
          Decrease the zoom factor.
 void zoomToFit()
          Zoom to fit in window.
 

Field Detail

SIE

public static final int SIE
Constant denoting the alignment of selection's items with an editable.

SGE

public static final int SGE
Constant denoting the alignment of selection as a group with an editable.

ES

public static final int ES
Constant denoting the alignment of an ediatble with selection.

ELEMENT

public static final int ELEMENT
Constant denoting an editable itself.

LABEL

public static final int LABEL
Constant denoting the label of an editable.

INFO

public static final int INFO
Constant denoting the information field of an editable.

MIDDLE

public static final int MIDDLE
Constant denoting the middle (centre) of a box.

LEFT

public static final int LEFT
Constant denoting the left of a box.

RIGHT

public static final int RIGHT
Constant denoting the right of a box.

TOP

public static final int TOP
Constant denoting the top of a box.

BOTTOM

public static final int BOTTOM
Constant denoting the bottom of a box.
Method Detail

title

public java.lang.String title()
Get the title of the displayed document.

canUndo

public boolean canUndo()
Look if it is possible to undo.
Returns:
true iff undo is possible.

canRedo

public boolean canRedo()
Look if it is possible to redo.
Returns:
true iff redo is possible.

undo

public void undo()
Undo the last edit, if possible.

redo

public void redo()
Redo the last undo, if possible.

editables

public GraphicalVisualElement[] editables()
Get the edited elements.

modified

public boolean modified()
Look if this editor has be used to modify its content.

showVisual

public void showVisual()
Show (and move in front) the window associated to this editor.

helpers

public java.util.Set helpers()
Get the set of helpers associated to this editor.
Returns:
an unmodifiable set containing the helpers, as GraphicalHelperVisual items.

reOpenPossible

public boolean reOpenPossible()
Look if the editor is able to perform a re-open.

reOpen

public void reOpen()
Start a re-open process.

open

public void open()
Show an open dialog, an start an open process according to it.

openPossible

public boolean openPossible()
Look if the editor is able to perform an open.

open

public void open(java.lang.String name)
Start an open process.

savePossible

public boolean savePossible()
Look if the editor is able to perform a save.

save

public void save()
Start a save process.

saveAsPossible

public boolean saveAsPossible()
Look if the editor is able to perform a saveAs.

saveAs

public void saveAs()
Show a saveAs dislog, an start a saveAs process according to it.

saveAs

public void saveAs(java.lang.String name)
Start a saveAs process.

quit

public boolean quit()
Quit.
Returns:
true if the quit suceeded, as the user may cancel the operation.

export

public void export()
Show the export dialog, and start an exportation process according to.

export

public void export(java.io.PrintWriter writer,
                   int format,
                   java.awt.Insets insets,
                   int zoom,
                   CoopnEnv env)
Start an exportation process.
Parameters:
writer - the print writer to use
format - the format, according to GraphicalExporter constants
insets - the margins
zoom - the zoom in percents
env - the environment to use

print

public void print()
Show the print dialog, and start a print process according to.

print

public void print(java.awt.print.PrinterJob printer)
Start a print process.

copy

public void copy()
Copy the selection.

isGridActivated

public boolean isGridActivated()
Look if the grid is active.

setGridActivated

public void setGridActivated(boolean active)
Set the activation status of the grid.
Parameters:
active - true iff the grid is to be set to active

getHorizontalStep

public int getHorizontalStep()
Get the the horizontal step of the grid.

setHorizontalStep

public void setHorizontalStep(int step)
set the horizontal step of the grid.
Parameters:
step - the horizontal step in CLU

getVerticalStep

public int getVerticalStep()
Get the the vertical step of the grid.

setVerticalStep

public void setVerticalStep(int step)
set the vertical step of the grid.
Parameters:
step - the vertical step in CLU

isAngularGridActivated

public boolean isAngularGridActivated()
Look if the angular grid is active.

setAngularGridActivated

public void setAngularGridActivated(boolean active)
Set the activation status of the angular grid.
Parameters:
active - true iff the angular grid is to be set to active

getRotationStep

public int getRotationStep()
Get the the rotation step of the angular grid.

setRotationStep

public void setRotationStep(int step)
set the rotation step of the angular grid.
Parameters:
step - the horizontal step in degrees

scrollToShow

public void scrollToShow()
Scroll to show the selection.

resizeToFit

public void resizeToFit()
Resize the window to fit the drawing.

selected

public boolean selected()
Look if something is selected.

hasPrimarySelection

public boolean hasPrimarySelection()
Look if a primary selection exists. A primary selection, if is exists, is an unique selected element, this first one to be selected.

deselectAll

public void deselectAll()
Deselection of all elements. If no elements was selected, no edition is performed.

selectAll

public void selectAll()
Selection of all top-level elements.

select

public void select(GraphicalVisualElement element)
Selection of an element.
Parameters:
element - the element

select

public void select(GraphicalVisualElement[] elements)
Selection of an array of elements.
Parameters:
element - the element

selectLabel

public void selectLabel(GraphicalVisualElement element)
Selection of the label of an element.
Parameters:
element - the element

selectInfo

public void selectInfo(GraphicalVisualElement element)
Selection of the info field of an element.
Parameters:
element - the element

invertSelection

public void invertSelection(GraphicalVisualElement element)
Inversion of the selection state of an element.
Parameters:
element - the element

invertLabelSelection

public void invertLabelSelection(GraphicalVisualElement element)
Inversion of the selection state of the label of an element.
Parameters:
element - the element

invertInfoSelection

public void invertInfoSelection(GraphicalVisualElement element)
Inversion of the selection state of the info field of an element.
Parameters:
element - the element

selectInternal

public void selectInternal(GraphicalVisualContainer container)
Selection of the internal of a container.
Parameters:
container - the container

selectRectangle

public void selectRectangle(java.awt.Rectangle rectangle)
Selection of the content of a rectangular area.
Parameters:
rectangle - the rectangular area

getZoom

public int getZoom()
Return the current zoom factor.
Returns:
the zoom factor; 100 is the normal size.

zoom

public void zoom()
Show the zoom dialog.

setZoom

public void setZoom(int fact)
Set the zoom factor
Parameters:
fact - the new zoom factor, between 20 and 400.

zoomIn

public void zoomIn()
Increase the zoom factor. Zoom gets 1.1 time greater

zoomOut

public void zoomOut()
Decrease the zoom factor. Zoom gets 1.1 time smaller

zoomToFit

public void zoomToFit()
Zoom to fit in window.

move

public boolean move(GraphicalVisualEditable editable,
                    int x,
                    int y)
Move an editable.
Parameters:
editable - the editable
x - the x-increment
y - the y increment
Returns:
true iff the move succeeded.

moveLabel

public boolean moveLabel(GraphicalVisualEditable editable,
                         int x,
                         int y)
Move the label of an editable.
Parameters:
editable - the editable
x - the x-increment
y - the y increment
Returns:
true iff the move succeeded.

moveInfo

public boolean moveInfo(GraphicalVisualEditable editable,
                        int x,
                        int y)
Move the information field of an editable.
Parameters:
editable - the editable
x - the x-increment
y - the y increment
Returns:
true iff the move succeeded.

move

public boolean move(GraphicalVisualEditable editable,
                    int x,
                    int y,
                    java.awt.Dimension grid)
Move an editable on a grid.
Parameters:
editable - the editable
x - the x-increment
y - the y increment
grid - the grid; if null, takes the current grid of the editor (if any)
Returns:
true iff the move succeeded.

moveLabel

public boolean moveLabel(GraphicalVisualEditable editable,
                         int x,
                         int y,
                         java.awt.Dimension grid)
Move the label of an editable on a grid.
Parameters:
editable - the editable
x - the x-increment
y - the y increment
grid - the grid; if null, takes the current grid of the editor (if any)
Returns:
true iff the move succeeded.

moveInfo

public boolean moveInfo(GraphicalVisualEditable editable,
                        int x,
                        int y,
                        java.awt.Dimension grid)
Move the information field of an editable on a grid.
Parameters:
editable - the editable
x - the x-increment
y - the y increment
grid - the grid; if null, takes the current grid of the editor (if any)
Returns:
true iff the move succeeded.

resize

public boolean resize(GraphicalVisualContainer container,
                      int x,
                      int y,
                      int h,
                      int v)
Resize a container.
Parameters:
container - the container
x - the x-increment (inflation) or decrement (deflation)
y - the y increment (inflation) or decrement (deflation)
h - specify if resize at left, right or both part of component; one of GraphicalVisualEditor.LEFT, GraphicalVisualEditor.MIDDLE or GraphicalVisualEditor.RIGHT
v - specify if resize at top, bottom or both part of component one of GraphicalVisualEditor.TOP, GraphicalVisualEditor.MIDDLE or GraphicalVisualEditor.BOTTOM
Returns:
true iff the resize succeeded.

resize

public boolean resize(GraphicalVisualContainer container,
                      int x,
                      int y,
                      int h,
                      int v,
                      java.awt.Dimension grid)
Resize a container on a grid.
Parameters:
container - the container
x - the x-increment (inflation) or decrement (deflation)
y - the y increment (inflation) or decrement (deflation)
h - specify if resize at left, right or both part of component; one of GraphicalVisualEditor.LEFT, GraphicalVisualEditor.MIDDLE or GraphicalVisualEditor.RIGHT
v - specify if resize at top, bottom or both part of component one of GraphicalVisualEditor.TOP, GraphicalVisualEditor.MIDDLE or GraphicalVisualEditor.BOTTOM
grid - the grid; if null, takes the current grid of the editor (if any)
Returns:
true iff the resize succeeded.

rotate

public boolean rotate(GraphicalVisualRotatableNode node,
                      int angle)
Rotate a rotatable node.
Parameters:
node - the rotatable node
angle - the angle as a integer; this parameter is evaluated module 360
Returns:
true iff the rotation succeeded.

rotate

public boolean rotate(GraphicalVisualRotatableNode node,
                      int angle,
                      int grid)
Rotate a rotatable node on an angular grid.
Parameters:
node - the rotatable node
angle - the angle as a integer; this parameter is evaluated module 360
grid - the angular grid; if zero, takes the current angular grid of the editor (if any)
Returns:
true iff the rotation succeeded.

setType

public void setType(GraphicalVisualArc arc,
                    int type)
Set the type of an arc.
Parameters:
arc - the arc
type - the type of the arc

moveIntermediaryPoint

public void moveIntermediaryPoint(GraphicalVisualArc arc,
                                  int index,
                                  int x,
                                  int y)
Move an intermediary point of an arc.
Parameters:
arc - the arc
index - the index of the intermediary point
x - the x-increment
y - the y increment

addIntermediaryPoint

public void addIntermediaryPoint(GraphicalVisualArc arc,
                                 int index,
                                 java.awt.Point point)
Add an intermediary point at a specific index.
Parameters:
arc - the arc
point - the location of the new point
index - the index

addIntermediaryPoint

public void addIntermediaryPoint(GraphicalVisualArc arc,
                                 java.awt.Point point)
Add an intermediary point at the best index. The index is determined such that the closest path segment is broken.
Parameters:
arc - the arc
point - the location of the new point

removeIntermediaryPoint

public void removeIntermediaryPoint(GraphicalVisualArc arc,
                                    int index)
Remove an intermediary point at a specific index.
Parameters:
arc - the arc
index - the index

removeIntermediaryPoint

public void removeIntermediaryPoint(GraphicalVisualArc arc,
                                    java.awt.Point point)
Remove an intermediary point at the best index. The index is determined such that the closest intermediary point to the parameter point is removed.
Parameters:
arc - the arc
point - the location of the point to remove

layout

public void layout(Layouter layouter)
Total layout. Perform a total layout of the picture.
Parameters:
layouter - the layouter to use

incrementalLayout

public void incrementalLayout(IncrementalLayouter layouter)
Incremental layout. Perform an incremental layout of the picture. Only the selected elements are layouted.
Parameters:
layouter - the layouter to use

horizontalAlignment

public void horizontalAlignment(GraphicalVisualElement editable,
                                int kind,
                                int editablePart,
                                int editableLoc,
                                int selectionLoc)
Horizontal alignment of the selection. The selection is aligned on the given editable.
Parameters:
editable - the element used as reference for the alignment
kind - the kind of alignment; one of SGE, SIE or ES
editablePart - specify if the element itself, its label or its information field must be used as the base of the operation; one of ELEMENT, LABEL or INFO
editableLoc - specify if the left, the centre or the right of the base must be used in the alignment; one of LEFT, MIDDLE, RIGHT
selectionLoc - specify if the left, the centre or the right of the selection must be used in the alignment; one of LEFT, MIDDLE, RIGHT

quickHorizontalAlignment

public void quickHorizontalAlignment()
Quick horizontal alignment of the selection. The middle of the primary selection is aligned on the middle of the group composed by the secondary selection.

verticalAlignment

public void verticalAlignment(GraphicalVisualElement editable,
                              int kind,
                              int editablePart,
                              int editableLoc,
                              int selectionLoc)
Vertical alignment of the selection. The selection is aligned on the given editable.
Parameters:
editable - the element used as reference for the alignment
kind - the kind of alignment; one of SGE, SIE or ES
editablePart - specify if the element itself, its label or its information field must be used as the base of the operation; one of ELEMENT, LABEL or INFO
editableLoc - specify if the top, the centre or the bottom of the base must be used in the alignment; one of TOP, MIDDLE, BOTTOM
selectionLoc - specify if the top, the centre or the bottom of the selection must be used in the alignment; one of TOP, MIDDLE, BOTTOM

quickVerticalAlignment

public void quickVerticalAlignment()
Quick vertical alignment of the selection. The middle of the primary selection is aligned on the middle of the group composed by the secondary selection.

setVisible

public void setVisible(GraphicalVisualEditable editable,
                       boolean visible)
Show or hide an editable.
Parameters:
editable - the editable
visible - true iff the editable must be visible

setVisible

public void setVisible(boolean visible)
Show or hide the selection.
Parameters:
visible - true iff the selection must be visible

setVisibleLabel

public void setVisibleLabel(GraphicalVisualEditable editable,
                            boolean visible)
Show or hide the label of an editable.
Parameters:
editable - the editable
visible - true iff the label must be visible

setVisibleLabel

public void setVisibleLabel(boolean visible)
Show or hide the label of the selection.
Parameters:
visible - true iff the label must be visible

setVisibleInfo

public void setVisibleInfo(GraphicalVisualEditable editable,
                           boolean visible)
Show or hide the info of an editable.
Parameters:
editable - the editable
visible - true iff the info must be visible

setVisibleInfo

public void setVisibleInfo(boolean visible)
Show or hide the info of the selection.
Parameters:
visible - true iff the info must be visible

setVisibleInternal

public void setVisibleInternal(GraphicalVisualContainer container,
                               boolean visible)
Show or hide the internal of a container.
Parameters:
container - the container
visible - true iff the internal must be visible

setVisibleLabelExclusive

public void setVisibleLabelExclusive(GraphicalVisualEditable editable)
Show the label of an editable, and hide its info field.
Parameters:
editable - the editable

setVisibleInfoExclusive

public void setVisibleInfoExclusive(GraphicalVisualEditable editable)
Show the infor field of an editable, and hide its label.
Parameters:
editable - the editable

setVisibleLabelAndInfo

public void setVisibleLabelAndInfo(GraphicalVisualEditable editable)
Show both the label of an editable and its info field.
Parameters:
editable - the editable

setColor

public void setColor(GraphicalVisualEditable editable,
                     java.awt.Color color)
Set the color of an editable.
Parameters:
editable - the editable
color - the color to set

setColor

public void setColor(java.awt.Color color)
Set the color of the selection.
Parameters:
color - the color to set

setInfoText

public void setInfoText(GraphicalVisualEditable editable,
                        java.lang.String text)
Set the info field text.
Parameters:
editable - the editable
text - the text

setAndShowInfoText

public void setAndShowInfoText(GraphicalVisualEditable editable,
                               java.lang.String text)
Set and show the info field text.
Parameters:
editable - the editable
text - the text

setAndShowExclusiveInfoText

public void setAndShowExclusiveInfoText(GraphicalVisualEditable editable,
                                        java.lang.String text)
Set and show the info field text, and hide the label field.
Parameters:
editable - the editable
text - the text

setAndShowInfoText

public void setAndShowInfoText(GraphicalVisualElementGroup group,
                               java.util.Map texts)
Set and show many info field texts of elements in one edition.
Parameters:
group - the group of elements
texts - a map between the elements and the corresponding texts; any element of the group which has no associated text is just shown

setAbstraction

public void setAbstraction(GraphicalVisualElement abstracted,
                           GraphicalVisualElement abstraction)
Set an abstraction. The asbtracted element is hidden, while the label of its abstraction is shown. The label is supposed to denote the abstracted element.
Parameters:
abstracted - the abstracted element
abstraction - the abstraction

resetAbstraction

public void resetAbstraction(GraphicalVisualElement abstracted,
                             GraphicalVisualElement abstraction)
Reset an abstraction. The asbtracted element is shown, while the label of its abstraction is hidden. The label is supposed to denote the abstracted element.
Parameters:
abstracted - the abstracted element
abstraction - the abstraction

setAbstraction

public void setAbstraction(GraphicalVisualElementGroup abstracted,
                           GraphicalVisualElementGroup abstraction)
Set a set of abstractions. The asbtracted elements are hidden, while the label of their abstraction are shown. The label are supposed to denote the abstracted elements.
Parameters:
abstracted - the abstracted elements
abstraction - the abstractions

resetAbstraction

public void resetAbstraction(GraphicalVisualElementGroup abstracted,
                             GraphicalVisualElementGroup abstraction)
Reset a set of abstractions. The asbtracted elements are shown, while the label of their abstractions are hidden. The label are supposed to denote the abstracted elements.
Parameters:
abstracted - the abstracted elements
abstraction - the abstractions