Module Simula

Package simula.compiler.utilities

Class ConsolePanel

java.lang.Object

java.awt.Component

java.awt.Container

javax.swing.JComponent

javax.swing.JPanel

simula.compiler.utilities.ConsolePanel

All Implemented Interfaces:

ImageObserver, MenuContainer, Serializable, Accessible

public final class ConsolePanel
extends JPanel

a Console panel.

Link to GitHub: Source File.

Author:

Øystein Myhre Andersen

See Also:

• Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class javax.swing.JPanel

JPanel.AccessibleJPanel

Nested classes/interfaces inherited from class javax.swing.JComponent

JComponent.AccessibleJComponent

Nested classes/interfaces inherited from class java.awt.Container

Container.AccessibleAWTContainer

Nested classes/interfaces inherited from class java.awt.Component

Component.AccessibleAWTComponent, Component.BaselineResizeBehavior, Component.BltBufferStrategy, Component.FlipBufferStrategy

Field Summary

Fields

Modifier and Type	Field	Description
(package private) ActionListener	actionListener	the ActionListener
private JMenuItem	clearItem	Menu item clear
private JMenuItem	copyItem	Menu item copy
private StyledDocument	doc	the StyledDocument showed in this panel
private char	keyin	Used by KeyListener and read()
private KeyListener	listener	the KeyListener
(package private) MouseListener	mouseListener	the MouseListener
private JPopupMenu	popupMenu	the Popup Menu
private boolean	reading	Used by KeyListener and read()
private Style	styleError	Error style
private Style	styleRegular	Regular style
private Style	styleWarning	Warning style
private static JTextPane	textPane	The text pane.

Fields inherited from class javax.swing.JComponent

listenerList, TOOL_TIP_TEXT_KEY, ui, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW

Fields inherited from class java.awt.Component

accessibleContext, BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT

Fields inherited from interface java.awt.image.ImageObserver

ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH

Constructor Summary

Constructors

Constructor	Description
ConsolePanel()	Create a new ConsolePanel.

Method Summary

Modifier and Type	Method	Description
private void	addStylesToDocument(StyledDocument doc)	Utility to add styles to the document
private void	clear()	Clear the Console.
OutputStream	getErrorStream()	Get a OutputStream suitable for writing errors on this panel
OutputStream	getOutputStream()	Get a OutputStream suitable for writing on this panel
private static void	IERR(String msg, Throwable e)	Utility method IERR
void	popup()	popup this Console Panel
(package private) char	read()	Reads a single character.
void	write(String s)	Write a string on this panel using styleRegular.
private void	write(String s, Style style)	Write a string onto this Console.
(package private) void	writeError(String s)	Write a string on this panel using styleError.
(package private) void	writeWarning(String s)	Write a string on this panel using styleWarning.

Methods inherited from class javax.swing.JPanel

getAccessibleContext, getUI, getUIClassID, paramString, setUI, updateUI

Methods inherited from class javax.swing.JComponent

addAncestorListener, addNotify, addVetoableChangeListener, computeVisibleRect, contains, createToolTip, disable, enable, firePropertyChange, firePropertyChange, firePropertyChange, fireVetoableChange, getActionForKeyStroke, getActionMap, getAlignmentX, getAlignmentY, getAncestorListeners, getAutoscrolls, getBaseline, getBaselineResizeBehavior, getBorder, getBounds, getClientProperty, getComponentGraphics, 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, isPaintingOrigin, isPaintingTile, isRequestFocusEnabled, isValidateRoot, paint, paintBorder, paintChildren, paintComponent, paintImmediately, paintImmediately, print, printAll, printBorder, printChildren, printComponent, processComponentKeyEvent, processKeyBinding, processKeyEvent, processMouseEvent, processMouseMotionEvent, putClientProperty, registerKeyboardAction, registerKeyboardAction, removeAncestorListener, removeNotify, removeVetoableChangeListener, repaint, repaint, requestDefaultFocus, requestFocus, requestFocus, requestFocusInWindow, 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, setUI, setVerifyInputWhenFocusTarget, setVisible, unregisterKeyboardAction, update

Methods inherited from class java.awt.Container

add, add, add, add, add, addContainerListener, addImpl, 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, processContainerEvent, processEvent, remove, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusCycleRoot, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setLayout, transferFocusDownCycle, validate, validateTree

Methods inherited from class java.awt.Component

action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addMouseWheelListener, bounds, checkImage, checkImage, coalesceEvents, contains, createImage, createImage, createVolatileImage, createVolatileImage, disableEvents, dispatchEvent, enable, enableEvents, enableInputMethods, firePropertyChange, 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, 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, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processMouseWheelEvent, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, requestFocus, requestFocus, requestFocusInWindow, resize, resize, setBounds, setBounds, setComponentOrientation, setCursor, setDropTarget, setFocusable, setFocusTraversalKeysEnabled, setIgnoreRepaint, setLocale, setLocation, setLocation, setMixingCutoutShape, setName, setSize, setSize, show, show, size, toString, transferFocus, transferFocusBackward, transferFocusUpCycle

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Details

textPane

private static JTextPane textPane

The text pane.

doc

private StyledDocument doc

the StyledDocument showed in this panel

styleRegular

private Style styleRegular

Regular style

styleWarning

private Style styleWarning

Warning style

styleError

private Style styleError

Error style

popupMenu

private JPopupMenu popupMenu

the Popup Menu

clearItem

private JMenuItem clearItem

Menu item clear

copyItem

private JMenuItem copyItem

Menu item copy

reading

private boolean reading

Used by KeyListener and read()

keyin

private char keyin

Used by KeyListener and read()

mouseListener

MouseListener mouseListener

the MouseListener

actionListener

ActionListener actionListener

the ActionListener

listener

private KeyListener listener

the KeyListener

Constructor Details

ConsolePanel

public ConsolePanel()

Create a new ConsolePanel.

Method Details

read

char read()

Reads a single character.

Returns:

The character read

getOutputStream

public OutputStream getOutputStream()

Get a OutputStream suitable for writing on this panel

Returns:

a OutputStream

getErrorStream

public OutputStream getErrorStream()

Get a OutputStream suitable for writing errors on this panel

Returns:

a OutputStream

write

public void write(String s)

Write a string on this panel using styleRegular.

Parameters:

s - a string to write

writeError

void writeError(String s)

Write a string on this panel using styleError.

Parameters:

s - a string to write

writeWarning

void writeWarning(String s)

Write a string on this panel using styleWarning.

Parameters:

s - a string to write

write

private void write(String s,
 Style style)

Write a string onto this Console.

Parameters:

s - the string to write

style - the style

clear

private void clear()

Clear the Console.

IERR

private static void IERR(String msg,
 Throwable e)

Utility method IERR

Parameters:

msg - error message

e - the underlying cause

popup

public void popup()

popup this Console Panel

addStylesToDocument

private void addStylesToDocument(StyledDocument doc)

Utility to add styles to the document

Parameters:

doc - the document