public class PolychronyWindow extends PolychronyWindowDependent
Modifier and Type | Field and Description |
---|---|
static PolychronyWindow |
the_mainPwindow |
static PolychronyWindow[] |
the_RwindowList |
static boolean |
the_silentSave |
PolychronyWindow[] |
this_CwindowList |
TOOL_TIP_TEXT_KEY, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW
Constructor and Description |
---|
PolychronyWindow(PolychronyWindow PwindowSource)
Constructor of a child PolychronyWindow built from an another one.
|
PolychronyWindow(PolychronyWindow PwindowSource,
java.lang.String WDPath,
java.lang.String imageDirectory,
java.lang.String docDirectory)
Constructor of a secondary root PolychronyWindow built from an another one.
|
PolychronyWindow(java.lang.String WDPath)
Constructor of a secondary root PolychronyWindow at start
assume defined the main PolychronyWindow
success: PolychronyWindow::initial loading (if any) has to be called from outside (using initialLoadRoot)
PolychronyWindow::refresh(unchanged), and then sig_iterate have to be called from outside (using newPolychronyWindowCompletion)
|
PolychronyWindow(java.lang.String WDPath,
java.lang.String imageDirectory,
java.lang.String docDirectory)
Constructor of the empty main Polychrony window
Create the SWING main Polychrony window and global variables (set_PolychronySessionVariables)
Create root window variables
PolychronyWindow::initial loading (if any) has to be called from outside (using initialLoadRoot)
PolychronyWindow::refresh(unchanged), and then sig_iterate have to be called from outside (using newPolychronyWindowCompletion)
|
PolychronyWindow(java.lang.String WDPath,
java.lang.String imageDirectory,
java.lang.String docDirectory,
java.awt.Frame awtFrame)
Constructor of the empty main PolychronyWindow (eclipse)
Create the main Polychrony window and global variables (set_PolychronySessionVariables)
Call PolychronyWindow::refresh unchanged, then sig_iterate
|
Modifier and Type | Method and Description |
---|---|
void |
actionPerformedGEwindowListener(java.awt.event.ActionEvent event,
int userAction) |
void |
actionPerformedGrid(int userAction) |
void |
actionPerformedPwindowListener(java.awt.event.ActionEvent event,
int userAction,
int complement) |
void |
actionPerformedStrokeWidth(int userAction) |
void |
actionPerformedundo() |
void |
actionPerformedZoom(double scaleVal) |
void |
append_text2Twindow(int w,
java.lang.String s) |
void |
appendNewJNode(java.lang.String nom,
int SignalTree,
boolean setInAtEnd) |
int |
browser_directory_file_path(boolean isGraphic,
boolean openDialog)
PLG
|
boolean |
browserSet_signalFile(boolean openDialog) |
void |
cancel_action() |
void |
clear_Twindow(int w) |
void |
close_Pwindow() |
void |
createLibBar(long signalRef,
java.lang.String fname,
java.lang.String fnamews,
java.lang.String LibName) |
void |
deleteSelectedNode() |
void |
displayConfirm(int action)
only with J_raz
|
void |
displayCurrentAction(int action) |
void |
displayError(int no) |
void |
displayFont() |
void |
displayParsingError(java.lang.String errorString) |
void |
drawImage(java.lang.String name,
int x,
int y) |
void |
drawLine(int x1,
int y1,
int x2,
int y2,
int coul,
int ep) |
void |
drawPolygon(int[] xPoints,
int[] yPoints,
int nPoints,
int coul,
int ep) |
void |
drawPolyline(int[] x_points,
int[] y_points,
int nbPoints,
int coul,
int ep) |
void |
drawRectangle(int x,
int y,
int w,
int h,
int coul,
int ep) |
void |
drawString(java.lang.String chaine,
int x,
int y,
int coul,
int typePolice) |
void |
exit_Polychrony()
Method called when the user clicks on the button "exit Polychrony"
|
void |
fillPolygon(int[] xPoints,
int[] yPoints,
int nPoints,
int coul,
int ep) |
void |
fillRectangle(int x,
int y,
int w,
int h,
int coul) |
int |
get_activeTwindowType() |
LiaisonSignal |
get_C_interface() |
int |
get_firstFreeTextwindow() |
int |
get_GEwindowMouseButton() |
boolean |
get_portNameVisibility() |
java.lang.String |
get_thisPwindowIdent() |
int |
get_TwindowCharWidth(int w) |
java.lang.String |
get_TwindowContent(int w) |
java.lang.String |
getBrowserFileName() |
java.lang.String |
getCurrentPath() |
boolean |
getdetailsState() |
java.lang.String |
getgifHtmlDir() |
int |
getIndexLibrary(java.lang.String fname) |
java.lang.String |
getSelectedObjectName() |
int |
getSizeFontH(int type) |
int |
getSizeFontL(int type) |
java.lang.String |
getString1() |
java.lang.String |
getString2() |
JTree2 |
getTreeWin() |
int |
getUserChoice() |
int |
getXOrd() |
int |
getYOrd() |
void |
goto_firstCwindow()
select this first child window; this when this is does not have children
|
void |
goto_leftPwindow()
select this left window;
select the_mainPwindow if this is the first root
select this if this is a first child
|
void |
goto_Mwindow()
select this main window;
|
void |
goto_parentPwindow()
select this ancestor window; this when this is a root
|
void |
goto_rightPwindow()
select this right window;
select the_mainPwindow if this is the last root
select this if this is a last child
|
void |
hide_Twindow(int w) |
boolean |
initialLoadRoot(java.lang.String fileName,
boolean graphic,
boolean bcompleteName)
Initial file loading in this root window:
--> if fileName exits: sig_iterate with J_load/J_parse action and J_start complement is called
--> sig_iterate call Signal then C LOADING
this default file is reset, this Pwindow becomes not changed (SWING)
|
void |
initSelectedNode(boolean afterCompil) |
void |
install_library(long vtree,
int vindex) |
boolean |
is_GEwindowMouseButtonClicked() |
boolean |
isLoadedLibrary(java.lang.String fname) |
void |
load_node_in(boolean graphic)
load a tree
if this_selectedComplement is J_before the tree is inserted before the selected node
if this_selectedComplement is J_in the tree is inserted after the last declaration of the selected node
|
void |
load_root(boolean graphic)
load a tree as the new root of this window
cut to clipboard the current root if any
this default file is reset, this Pwindow becomes not changed
|
static boolean |
new_PolychronyWindow(java.lang.String WDPath,
java.lang.String filename,
boolean isGraphic)
Call to the constructor of a secondary root PolychronyWindow at start
assume defined the main PolychronyWindow
|
boolean |
newPolychronyWindowCompletion(boolean changed) |
void |
notImplemented(java.lang.String message)
Function is called
|
void |
print_GEwindow() |
void |
querySave_root()
if this window has changed, dialog save this window
selectedNtrees is assumed to be a root
|
void |
raz_selectedAction()
this method is called by the Signal supervisor
|
int |
read_clickedAction()
return the clicked value if it has been set since previous call
return J_no_action otherwise
|
void |
refresh_theseGwindows(boolean value) |
void |
refresh()
Display current Tree and its selected node
Display selected node content in its graph
|
void |
refresh(boolean changed)
Display current Tree and its selected node
Display selected node content in its graph
|
int |
register_aCwindow(PolychronyWindow aChildWindow)
Adds aChildWindow in a free slot of this_CwindowList
|
void |
register_aTwindow(int index,
TextWindow aTextWindow)
Assign aTextWindow to position index of this_TwindowList
assume this_TwindowList contains MAX_OPENED_TWINDOWS slots
assume 0 <= index < MAX_OPENED_TWINDOWS
|
boolean |
removeLibrary(java.lang.String fname) |
void |
reset_GEwindowMoveMouseEvent() |
void |
reset_polychrony() |
void |
reset_Pwindow() |
void |
reset_selectedAction()
method called by CompilerFunct and CompilerDiag
|
void |
resetCurrentActionListener() |
void |
save_allRoots(boolean silent)
recursively save all root windows including the main one
if this window has changed or if saving in query mode, dialog save this window
|
void |
save_innerModel()
ASSUME: a node is selected and it is not the root
save this node with the hep of browsing
see also save_root
|
void |
save_root(boolean silent)
ASSUME: this_PwindowTree is not empty
save the root
if silent = true, browsing is proposed only if filename is missing
see also save_innerModel
|
void |
selectPwindow() |
void |
selectPwindow(PolychronyWindow aPwindow) |
void |
set_clickedAction(int userAction) |
void |
set_GEwindowMoveMouseEvent() |
void |
set_selectedAction(int userAction) |
void |
set_selectedAction(int userAction,
int complement) |
void |
setCurrentTree(int iBox) |
void |
show_Twindow(int w) |
boolean |
sig_iterate(int action)
call C interface with "action" as current action
|
void |
unparse_root()
ASSUME: this_PwindowTree is not empty
save the root
if silent = true, browsing is proposed only if filename is missing
|
void |
upTempSelectedNode() |
confirmPolychronyExit
getAccessibleContext, getUI, getUIClassID, setUI, updateUI
addAncestorListener, addNotify, addVetoableChangeListener, computeVisibleRect, contains, createToolTip, disable, enable, firePropertyChange, firePropertyChange, firePropertyChange, getActionForKeyStroke, getActionMap, getAlignmentX, getAlignmentY, getAncestorListeners, getAutoscrolls, getBaseline, getBaselineResizeBehavior, getBorder, getBounds, getClientProperty, getComponentPopupMenu, getConditionForKeyStroke, getDebugGraphicsOptions, getDefaultLocale, getFontMetrics, getGraphics, getHeight, getInheritsPopupMenu, getInputMap, getInputMap, getInputVerifier, getInsets, getInsets, getListeners, getLocation, getMaximumSize, getMinimumSize, getNextFocusableComponent, getPopupLocation, getPreferredSize, getRegisteredKeyStrokes, getRootPane, getSize, getToolTipLocation, getToolTipText, getToolTipText, getTopLevelAncestor, getTransferHandler, getVerifyInputWhenFocusTarget, getVetoableChangeListeners, getVisibleRect, getWidth, getX, getY, grabFocus, hide, isDoubleBuffered, isLightweightComponent, isManagingFocus, isOpaque, isOptimizedDrawingEnabled, isPaintingForPrint, isPaintingTile, isRequestFocusEnabled, isValidateRoot, paint, paintImmediately, paintImmediately, print, printAll, putClientProperty, registerKeyboardAction, registerKeyboardAction, removeAncestorListener, removeNotify, removeVetoableChangeListener, repaint, repaint, requestDefaultFocus, requestFocus, requestFocus, requestFocusInWindow, resetKeyboardActions, reshape, revalidate, scrollRectToVisible, setActionMap, setAlignmentX, setAlignmentY, setAutoscrolls, setBackground, setBorder, setComponentPopupMenu, setDebugGraphicsOptions, setDefaultLocale, setDoubleBuffered, setEnabled, setFocusTraversalKeys, setFont, setForeground, setInheritsPopupMenu, setInputMap, setInputVerifier, setMaximumSize, setMinimumSize, setNextFocusableComponent, setOpaque, setPreferredSize, setRequestFocusEnabled, setToolTipText, setTransferHandler, setVerifyInputWhenFocusTarget, setVisible, unregisterKeyboardAction, update
add, add, add, add, add, addContainerListener, addPropertyChangeListener, addPropertyChangeListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalKeys, getFocusTraversalPolicy, getLayout, getMousePosition, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paintComponents, preferredSize, printComponents, remove, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusCycleRoot, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setLayout, transferFocusDownCycle, validate
action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addMouseWheelListener, bounds, checkImage, checkImage, contains, createImage, createImage, createVolatileImage, createVolatileImage, dispatchEvent, enable, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBackground, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusCycleRootAncestor, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getForeground, getGraphicsConfiguration, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputContext, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocale, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, getMouseWheelListeners, getName, getParent, getPeer, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getToolkit, getTreeLock, gotFocus, handleEvent, hasFocus, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isMaximumSizeSet, isMinimumSizeSet, isPreferredSizeSet, isShowing, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, postEvent, prepareImage, prepareImage, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, resize, resize, setBounds, setBounds, setComponentOrientation, setCursor, setDropTarget, setFocusable, setFocusTraversalKeysEnabled, setIgnoreRepaint, setLocale, setLocation, setLocation, setName, setSize, setSize, show, show, size, toString, transferFocus, transferFocusBackward, transferFocusUpCycle
public static PolychronyWindow the_mainPwindow
public static PolychronyWindow[] the_RwindowList
public PolychronyWindow[] this_CwindowList
public static boolean the_silentSave
public PolychronyWindow(PolychronyWindow PwindowSource)
public PolychronyWindow(PolychronyWindow PwindowSource, java.lang.String WDPath, java.lang.String imageDirectory, java.lang.String docDirectory)
public PolychronyWindow(java.lang.String WDPath)
public PolychronyWindow(java.lang.String WDPath, java.lang.String imageDirectory, java.lang.String docDirectory)
public PolychronyWindow(java.lang.String WDPath, java.lang.String imageDirectory, java.lang.String docDirectory, java.awt.Frame awtFrame)
public java.lang.String get_thisPwindowIdent()
public void actionPerformedPwindowListener(java.awt.event.ActionEvent event, int userAction, int complement)
public int get_firstFreeTextwindow()
public void register_aTwindow(int index, TextWindow aTextWindow)
public void hide_Twindow(int w)
public void show_Twindow(int w)
public void append_text2Twindow(int w, java.lang.String s)
public java.lang.String get_TwindowContent(int w)
public int get_TwindowCharWidth(int w)
public void clear_Twindow(int w)
public int get_activeTwindowType()
public void actionPerformedundo()
public void actionPerformedZoom(double scaleVal)
public void actionPerformedGrid(int userAction)
public void actionPerformedStrokeWidth(int userAction)
public void print_GEwindow()
public void drawPolyline(int[] x_points, int[] y_points, int nbPoints, int coul, int ep)
public void drawLine(int x1, int y1, int x2, int y2, int coul, int ep)
public void fillPolygon(int[] xPoints, int[] yPoints, int nPoints, int coul, int ep)
public void drawPolygon(int[] xPoints, int[] yPoints, int nPoints, int coul, int ep)
public void drawRectangle(int x, int y, int w, int h, int coul, int ep)
public void fillRectangle(int x, int y, int w, int h, int coul)
public void drawString(java.lang.String chaine, int x, int y, int coul, int typePolice)
public void drawImage(java.lang.String name, int x, int y)
public int get_GEwindowMouseButton()
public boolean is_GEwindowMouseButtonClicked()
public int getXOrd()
public int getYOrd()
public void set_GEwindowMoveMouseEvent()
public void reset_GEwindowMoveMouseEvent()
public int getSizeFontH(int type)
public int getSizeFontL(int type)
public java.lang.String getSelectedObjectName()
public void deleteSelectedNode()
public JTree2 getTreeWin()
public void initSelectedNode(boolean afterCompil)
public void upTempSelectedNode()
public void setCurrentTree(int iBox)
public java.lang.String getString1()
public java.lang.String getString2()
public int getUserChoice()
public void notImplemented(java.lang.String message)
public void displayError(int no)
public int register_aCwindow(PolychronyWindow aChildWindow)
public void goto_rightPwindow()
public void goto_leftPwindow()
public void goto_firstCwindow()
public void goto_parentPwindow()
public void goto_Mwindow()
public LiaisonSignal get_C_interface()
public void cancel_action()
public void refresh_theseGwindows(boolean value)
public void refresh()
public void set_clickedAction(int userAction)
public boolean sig_iterate(int action)
public void refresh(boolean changed)
public void load_node_in(boolean graphic)
public void load_root(boolean graphic)
public void save_innerModel()
public void save_root(boolean silent)
public void querySave_root()
public void unparse_root()
public void save_allRoots(boolean silent)
public void selectPwindow(PolychronyWindow aPwindow)
public void selectPwindow()
public boolean get_portNameVisibility()
public boolean getdetailsState()
public void resetCurrentActionListener()
public void actionPerformedGEwindowListener(java.awt.event.ActionEvent event, int userAction)
public void appendNewJNode(java.lang.String nom, int SignalTree, boolean setInAtEnd)
public int read_clickedAction()
public void set_selectedAction(int userAction, int complement)
public void set_selectedAction(int userAction)
public void raz_selectedAction()
public void reset_selectedAction()
public boolean browserSet_signalFile(boolean openDialog)
public int browser_directory_file_path(boolean isGraphic, boolean openDialog)
public java.lang.String getgifHtmlDir()
public java.lang.String getBrowserFileName()
public java.lang.String getCurrentPath()
public void displayFont()
public void displayParsingError(java.lang.String errorString)
public void reset_Pwindow()
public void reset_polychrony()
public void displayConfirm(int action)
public void exit_Polychrony()
public void close_Pwindow()
public void displayCurrentAction(int action)
public int getIndexLibrary(java.lang.String fname)
public boolean isLoadedLibrary(java.lang.String fname)
public void createLibBar(long signalRef, java.lang.String fname, java.lang.String fnamews, java.lang.String LibName)
public boolean removeLibrary(java.lang.String fname)
public void install_library(long vtree, int vindex)
public boolean newPolychronyWindowCompletion(boolean changed)
public boolean initialLoadRoot(java.lang.String fileName, boolean graphic, boolean bcompleteName)
public static boolean new_PolychronyWindow(java.lang.String WDPath, java.lang.String filename, boolean isGraphic)