aminePlatform.guis.util
Class CGUIs
java.lang.Object
aminePlatform.guis.util.CGUIs
- public class CGUIs
- extends java.lang.Object
Title : guis.util.CGUIs
Description : This class contains some UIs that are related to CG, for
instance the two CG parameters: functional CG and canonicity parameters.
CGUIs is also concerned by the display of a CG in both LF & CGIF in one frame.
- See Also:
Copyright: Copyright (c) Adil KABBAJ, 2004-2009
Constructor Summary |
CGUIs(javax.swing.JMenu menuDisplay,
javax.swing.JMenu menuParameters)
|
Methods inherited from class java.lang.Object |
clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
currEditor
public CGEditor currEditor
lnfCgifFrm
public LNFCGIFFrm lnfCgifFrm
menuDisplay
javax.swing.JMenu menuDisplay
menuParameters
javax.swing.JMenu menuParameters
menuDisplayCG_LF_CGIF
public javax.swing.JMenuItem menuDisplayCG_LF_CGIF
menuParamFunctionalCG
public javax.swing.JCheckBoxMenuItem menuParamFunctionalCG
menuParamCanonicityCG
public javax.swing.JCheckBoxMenuItem menuParamCanonicityCG
CGUIs
public CGUIs(javax.swing.JMenu menuDisplay,
javax.swing.JMenu menuParameters)
finalize
public void finalize()
showLNFCGIF
public void showLNFCGIF()
- Display a splitpane in which both the content of the current LNF editor and
CGIF editor are displayed.
updateFunctionalCGParameter
public void updateFunctionalCGParameter()
updateCanonicityCGParameter
public void updateCanonicityCGParameter()
setEnabledUIs
public void setEnabledUIs(boolean state)