Compiled: Wed Dec 05 00:08:00 PST 2012 from source file: frege/j/Awt.fr
Definitions for native components found in packages java.awt, java.awt.event
a shorthand for ActionEventT in the IO Monad
a shorthand for ActionListenerT in the IO Monad
operations of a java.awt.AWTEvent
operations of a java.awt.event.ActionEvent
operations for java.awt.event.ActionListener
wrapper for IsActionListener.nativeActionPerformed that passes argument IsActionEvent.asActionEvent
Operations for sub classes of java.awt.Component
WindowT, ComponentT, ContainerT
Operations for java classes derived from java.awt.Container
Operations for java classes derived from java.awt.Window
inherited from IsAWTEvent.asAWTEvent
inherited from Util.IsEventObject.asEventObject
inherited from IsAWTEvent.asAWTEvent
inherited from IsActionEvent.asActionEvent
inherited from Util.IsEventObject.asEventObject
inherited from IsActionEvent.getActionCommand
inherited from IsActionEvent.getModifiers
inherited from IsActionListener.actionPerformed
inherited from IsActionListener.asActionListener
inherited from IsActionListener.nativeActionPerformed
inherited from IsComponent.asComponent
inherited from IsComponent.setEnabled
inherited from IsComponent.setVisible
inherited from IsComponent.asComponent
inherited from IsComponent.setEnabled
inherited from IsComponent.setVisible
inherited from IsComponent.asComponent
inherited from IsComponent.setEnabled
inherited from IsComponent.setVisible
inherited from IsContainer.add
inherited from IsContainer.addComponent
inherited from IsContainer.asContainer
inherited from IsContainer.add
inherited from IsContainer.addComponent
inherited from IsContainer.asContainer
inherited from IsWindow.asWindow
inherited from IsWindow.pack
an object with compile timt type java.awt.AWTEvent
an object with compile timt type java.awt.event.ActionEvent
an object with compile time type java.awt.event.ActionListener
make an action listener from a function
a bare java.awt.Component
a bare java.wat.Container
some java.awt.Window
ActionEventT.ctrl_mask, ActionEventT.alt_mask, ActionEventT.meta_mask, ActionEventT.shift_mask
IsComponent_ComponentT.setEnabled, IsComponent_ComponentT.setVisible
IsComponent_ContainerT.setEnabled, IsComponent_ContainerT.setVisible
IsComponent_WindowT.setEnabled, IsComponent_WindowT.setVisible