Module Java.Swing

Definitions for native components below javax.swing

Imports

• import Java.Awt as Awt
• import Java.swing.GroupLayout as GroupLayout
• import frege.Prelude as Prelude
• import Prelude.PreludeArrays as PreludeArrays
• import Prelude.PreludeBase as PreludeBase
• import Prelude.PreludeDecimal as PreludeDecimal
• import Prelude.PreludeIO as PreludeIO
• import Prelude.PreludeList as PreludeList
• import Prelude.PreludeMonad as PreludeMonad
• import Prelude.PreludeText as PreludeText
• import Java.lang.Reflect as Reflect
• import Java.util.Regex as Regexp

Table of Content

• Definitions

  data AbstractButton = native javax.swing.AbstractButton

  data GroupLayout = native javax.swing.GroupLayout

  data JButton = native javax.swing.JButton

  data JComponent = native javax.swing.JComponent

  data JFrame = native javax.swing.JFrame

  data JLabel = native javax.swing.JLabel

  data JPanel = native javax.swing.JPanel

  data JTextComponent = native javax.swing.text.JTextComponent

  data JTextField = native javax.swing.JTextField

  data SwingConstants = pure native javax.swing.SwingConstants

  invokeLater ∷ MutableIO Runnable → IO () 

  invokeAndWait ∷ MutableIO Runnable → IO ()   throws InvocationTargetException, InterruptedException

• Functions and Values by Type

Definitions

data SwingConstants = pure native javax.swing.SwingConstants

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 contrast to Java.

Member Functions

bottom ∷ Int
pure native javax.swing.SwingConstants.BOTTOM

center ∷ Int
pure native javax.swing.SwingConstants.CENTER

east ∷ Int
pure native javax.swing.SwingConstants.EAST

horizontal ∷ Int
pure native javax.swing.SwingConstants.HORIZONTAL

leading ∷ Int
pure native javax.swing.SwingConstants.LEADING

left ∷ Int
pure native javax.swing.SwingConstants.LEFT

next ∷ Int
pure native javax.swing.SwingConstants.NEXT

north ∷ Int
pure native javax.swing.SwingConstants.NORTH

north_east ∷ Int
pure native javax.swing.SwingConstants.NORTH_EAST

north_west ∷ Int
pure native javax.swing.SwingConstants.NORTH_WEST

previous ∷ Int
pure native javax.swing.SwingConstants.PREVIOUS

right ∷ Int
pure native javax.swing.SwingConstants.RIGHT

south ∷ Int
pure native javax.swing.SwingConstants.SOUTH

south_east ∷ Int
pure native javax.swing.SwingConstants.SOUTH_EAST

south_west ∷ Int
pure native javax.swing.SwingConstants.SOUTH_WEST

top ∷ Int
pure native javax.swing.SwingConstants.TOP

trailing ∷ Int
pure native javax.swing.SwingConstants.TRAILING

vertical ∷ Int
pure native javax.swing.SwingConstants.VERTICAL

west ∷ Int
pure native javax.swing.SwingConstants.WEST

data JFrame = native javax.swing.JFrame

A javax.swing.JFrame

Member Functions

dispose_on_close ∷ Int
pure native javax.swing.JFrame.DISPOSE_ON_CLOSE

constant to dispose of the window when closed

do_nothing_on_close ∷ Int
pure native javax.swing.JFrame.DO_NOTHING_ON_CLOSE

constant to do nothing when closed

exit_on_close ∷ Int
pure native javax.swing.JFrame.EXIT_ON_CLOSE

constant to exit the application when closed

getContentPane ∷ MutableIO JFrame → STMutable RealWorld Container
native getContentPane

hide_on_close ∷ Int
pure native javax.swing.JFrame.HIDE_ON_CLOSE

constant to hide the window when closed

new ∷ String → STMutable RealWorld JFrame
     | () → STMutable RealWorld JFrame
native new

The first form creates a new invisible frame with the specified title

The second form creates a new invisible frame

newα ∷ String → STMutable RealWorld JFrame
native new  overloads new

The first form creates a new invisible frame with the specified title

The second form creates a new invisible frame

newβ ∷ () → STMutable RealWorld JFrame
native new  overloads new

The first form creates a new invisible frame with the specified title

The second form creates a new invisible frame

setContentPane ∷ MutableIO JFrame → MutableIO Container → IO ()
native setContentPane

this really belongs to interface RootPaneContainer

setDefaultCloseOperation ∷ MutableIO JFrame → Int → IO ()
native setDefaultCloseOperation

Sets the operation that will happen by default when the user initiates a "close" on this frame.

data JLabel = native javax.swing.JLabel

a swing label

Member Functions

new ∷ String → STMutable RealWorld JLabel
     | () → STMutable RealWorld JLabel
native new

create a label or a blank label

newα ∷ String → STMutable RealWorld JLabel
native new  overloads new

create a label or a blank label

newβ ∷ () → STMutable RealWorld JLabel
native new  overloads new

create a label or a blank label

setText ∷ MutableIO JLabel → String → IO ()
native setText

Defines the single line of text this component will display.

invokeLater ∷ MutableIO Runnable → IO ()
native javax.swing.SwingUtilities.invokeLater

wrapper for javax.swing.SwingUtilities.invokeLater

invokeAndWait ∷ MutableIO Runnable → IO ()
native javax.swing.SwingUtilities.invokeAndWait  throws InvocationTargetException, InterruptedException

wrapper for javax.swing.SwingUtilities.invokeAndWait

data JComponent = native javax.swing.JComponent

an object with compiler time type javax.swing.JComponent

Member Functions

setOpaque ∷ MutableIO JComponent → Bool → IO ()
native setOpaque

data JPanel = native javax.swing.JPanel

an object with compiler time type javax.swing.JPanel

Member Functions

new ∷ () → STMutable RealWorld JPanel
native new

data AbstractButton = native javax.swing.AbstractButton

an object with compiler time type javax.swing.AbstractButton

Member Functions

addActionListener ∷ MutableIO AbstractButton → MutableIO ActionListener → IO ()
native addActionListener

Adds an ActionListener to the button.

setHorizontalTextPosition ∷ MutableIO AbstractButton → Int → IO ()
native setHorizontalTextPosition

Sets the horizontal position of the text relative to the icon.

setText ∷ MutableIO AbstractButton → String → IO ()
native setText

set a text

setVerticalTextPosition ∷ MutableIO AbstractButton → Int → IO ()
native setVerticalTextPosition

Sets the vertical position of the text relative to the icon.

data JButton = native javax.swing.JButton

an object with compiler time type javax.swing.JButton

Member Functions

new ∷ String → STMutable RealWorld JButton
     | () → STMutable RealWorld JButton
native new

create a button with label or a blank one

newα ∷ String → STMutable RealWorld JButton
native new  overloads new

create a button with label or a blank one

newβ ∷ () → STMutable RealWorld JButton
native new  overloads new

create a button with label or a blank one

data JTextComponent = native javax.swing.text.JTextComponent

Member Functions

getText ∷ MutableIO JTextComponent → IO String
native getText

setText ∷ MutableIO JTextComponent → String → IO ()
native setText

data JTextField = native javax.swing.JTextField

an object with compile time type javax.swing.JTextField

Member Functions

new ∷ () → STMutable RealWorld JTextField
native new

data GroupLayout = native javax.swing.GroupLayout

Member Functions

new ∷ MutableIO Container → STMutable RealWorld GroupLayout
native new

setHorizontalGroup ∷ MutableIO GroupLayout → MutableIO Group → IO ()
native setHorizontalGroup

Functions and Values by Type

MutableIO Container → STMutable RealWorld GroupLayout

GroupLayout.new

MutableIO Runnable → IO ()

invokeAndWait, invokeLater

MutableIO AbstractButton → MutableIO ActionListener → IO ()

AbstractButton.addActionListener

MutableIO AbstractButton → String → IO ()

AbstractButton.setText

MutableIO AbstractButton → Int → IO ()

AbstractButton.setVerticalTextPosition, AbstractButton.setHorizontalTextPosition

MutableIO GroupLayout → MutableIO Group → IO ()

GroupLayout.setHorizontalGroup

MutableIO JComponent → Bool → IO ()

JComponent.setOpaque

MutableIO JFrame → MutableIO Container → IO ()

JFrame.setContentPane

MutableIO JFrame → Int → IO ()

JFrame.setDefaultCloseOperation

MutableIO JFrame → STMutable RealWorld Container

JFrame.getContentPane

MutableIO JLabel → String → IO ()

JLabel.setText

MutableIO JTextComponent → String → IO ()

JTextComponent.setText

MutableIO JTextComponent → IO String

JTextComponent.getText

String → STMutable RealWorld JButton

JButton.newα

String → STMutable RealWorld JFrame

JFrame.newα

String → STMutable RealWorld JLabel

JLabel.newα

() → STMutable RealWorld JButton

JButton.newβ

() → STMutable RealWorld JFrame

JFrame.newβ

() → STMutable RealWorld JLabel

JLabel.newβ

() → STMutable RealWorld JPanel

JPanel.new

() → STMutable RealWorld JTextField

JTextField.new

Int

JFrame.hide_on_close, JFrame.exit_on_close, JFrame.dispose_on_close, JFrame.do_nothing_on_close, SwingConstants.west, SwingConstants.top, SwingConstants.trailing, SwingConstants.vertical, SwingConstants.south_east, SwingConstants.right, SwingConstants.south, SwingConstants.south_west, SwingConstants.north_west, SwingConstants.north, SwingConstants.next, SwingConstants.north_east, SwingConstants.horizontal, SwingConstants.leading, SwingConstants.center, SwingConstants.bottom, SwingConstants.east, SwingConstants.left, SwingConstants.previous

ω

JButton.new, JFrame.new, JLabel.new