Compiled: Wed Dec 05 00:08:12 PST 2012 from source file: frege/j/Swing.fr
Definitions for native components below javax.swing
a AbstractButtonT in the IO monad
a JComponentT in the IO monad
convenient name for type JFrameT
convenient name for JLabelT
operations of javax.swing.AbstractButton
downcast to javax.swing.AbstractButton
Adds an ActionListener to the button.
Sets the horizontal position of the text relative to the icon.
Sets the vertical position of the text relative to the icon.
operations of javax.swing.JButton
downcast to javax.swing.JButton
operations of javax.swing.JComponent
JButtonT, JPanelT, AbstractButtonT, JComponentT
downcast to javax.swing.JComponent
operations of javax.swing.JPanel
downcast to javax.swing.JPanel
inherited from Awt.IsContainer.add
inherited from IsAbstractButton.addActionListener
inherited from Awt.IsContainer.addComponent
inherited from IsAbstractButton.asAbstractButton
inherited from Awt.IsComponent.asComponent
inherited from Awt.IsContainer.asContainer
inherited from IsJComponent.asJComponent
inherited from IsAbstractButton.nativeAddActionListener
inherited from Awt.IsComponent.setEnabled
inherited from IsAbstractButton.setHorizontalTextPosition
inherited from IsJComponent.setOpaque
inherited from IsAbstractButton.setVerticalTextPosition
inherited from Awt.IsComponent.setVisible
inherited from Awt.IsContainer.add
inherited from Awt.IsContainer.addComponent
inherited from Awt.IsComponent.asComponent
inherited from Awt.IsContainer.asContainer
inherited from Awt.IsComponent.setEnabled
inherited from Awt.IsComponent.setVisible
inherited from Awt.IsContainer.add
inherited from IsAbstractButton.addActionListener
inherited from Awt.IsContainer.addComponent
inherited from IsAbstractButton.asAbstractButton
inherited from Awt.IsComponent.asComponent
inherited from Awt.IsContainer.asContainer
inherited from IsJButton.asJButton
inherited from IsJComponent.asJComponent
inherited from IsAbstractButton.nativeAddActionListener
inherited from Awt.IsComponent.setEnabled
inherited from IsAbstractButton.setHorizontalTextPosition
inherited from IsJComponent.setOpaque
inherited from IsAbstractButton.setVerticalTextPosition
inherited from Awt.IsComponent.setVisible
inherited from Awt.IsContainer.add
inherited from Awt.IsContainer.addComponent
inherited from Awt.IsComponent.asComponent
inherited from Awt.IsContainer.asContainer
inherited from IsJComponent.asJComponent
inherited from Awt.IsComponent.setEnabled
inherited from IsJComponent.setOpaque
inherited from Awt.IsComponent.setVisible
inherited from Awt.IsContainer.add
inherited from Awt.IsContainer.addComponent
inherited from Awt.IsComponent.asComponent
inherited from Awt.IsContainer.asContainer
inherited from IsJComponent.asJComponent
inherited from IsJPanel.asJPanel
inherited from Awt.IsComponent.setEnabled
inherited from IsJComponent.setOpaque
inherited from Awt.IsComponent.setVisible
inherited from Awt.IsContainer.add
inherited from Awt.IsContainer.addComponent
inherited from Awt.IsComponent.asComponent
inherited from Awt.IsContainer.asContainer
inherited from Awt.IsWindow.asWindow
inherited from Awt.IsWindow.pack
inherited from Awt.IsComponent.setEnabled
inherited from Awt.IsComponent.setVisible
an object with compiler time type javax.swing.AbstractButton
an object with compiler time type javax.swing.JButton
an object with compiler time type javax.swing.JComponent
A javax.swing.JFrame
constant to dispose of the window when closed
constant to do nothing when closed
constant to exit the application when closed
constant to hide the window when closed
this really belongs to interface RootPaneConatiner
creates a new invisible frame with the specified title
Sets the operation that will happen by default when the user initiates a "close" on this frame.
a swing label
create a label
an object with compiler time type javax.swing.JPanel
this is defined as an abstract type so as to enable the access to the constants in the usual way.
Note that the constants are in lowercase, in contast to java.
wrapper for javax.swing.SwingUtilities.invokeAndWait
wrapper for javax.swing.SwingUtilities.invokeLater
JFrameT.exit_on_close, JFrameT.dispose_on_close, JFrameT.do_nothing_on_close, JFrameT.hide_on_close, SwingConstants.north, SwingConstants.horizontal, SwingConstants.center, SwingConstants.bottom, SwingConstants.east, SwingConstants.left, SwingConstants.leading, SwingConstants.next, SwingConstants.right, SwingConstants.north_west, SwingConstants.north_east, SwingConstants.previous, SwingConstants.top, SwingConstants.south_east, SwingConstants.south, SwingConstants.south_west, SwingConstants.vertical, SwingConstants.trailing, SwingConstants.west
IsAbstractButton_AbstractButtonT.setEnabled, IsAbstractButton_AbstractButtonT.setOpaque, IsAbstractButton_AbstractButtonT.setVisible
IsAbstractButton_AbstractButtonT.setHorizontalTextPosition, IsAbstractButton_AbstractButtonT.setVerticalTextPosition
IsJButton_JButtonT.setEnabled, IsJButton_JButtonT.setOpaque, IsJButton_JButtonT.setVisible
IsJButton_JButtonT.setHorizontalTextPosition, IsJButton_JButtonT.setVerticalTextPosition
IsJComponent_JComponentT.setEnabled, IsJComponent_JComponentT.setOpaque, IsJComponent_JComponentT.setVisible
IsContainer_JLabelT.setEnabled, IsContainer_JLabelT.setVisible
IsJPanel_JPanelT.setOpaque, IsJPanel_JPanelT.setEnabled, IsJPanel_JPanelT.setVisible
IsAbstractButton.setHorizontalTextPosition, IsAbstractButton.setVerticalTextPosition