lehrbuch
Class EinEimer

java.lang.Object
  java.awt.Component
      java.awt.Container
          java.awt.Panel
              java.applet.Applet
                  lehrbuch.Programm
                      lehrbuch.EinEimer

All Implemented Interfaces:

java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, javax.accessibility.Accessible

public class EinEimer
extends Programm

Eine Klasse zum Erweitern (Applet). Der Eimer wird am Bildschirm zu Beginn dargestellt. Er kann (mit Getränk) gefüllt und entleert werden (Methoden "fuellen" und "entleeren"). Als Getränke stehen "EinEimer.WASSER" und "EinEimer.WEIN" zur Verfügung. Wenn die Reihenfolgebedingungen verletzt werden, ungeprüfte Ausnahmen "lehrbuch.VollError" und "lehrbuch.LeerError" werden ausgelöst. Reihenfolgebedingungen: Als erster Mutator muss "fuellen" aufgerufen werden; Anschließend dürfen "entleeren" und "fuellen" nur abwechselnd aufgerufen werden, sonst Ausnahme "inhalt" darf auch nur bei vollem Eimer gerufen werden, sonst Ausnahme

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class java.applet.Applet

java.applet.Applet.AccessibleApplet

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

java.awt.Panel.AccessibleAWTPanel

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

java.awt.Container.AccessibleAWTContainer

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

java.awt.Component.AccessibleAWTComponent, java.awt.Component.BaselineResizeBehavior, java.awt.Component.BltBufferStrategy, java.awt.Component.FlipBufferStrategy

Field Summary

static Getraenk	WASSER
static Getraenk	WEIN

Fields inherited from class java.awt.Component

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

EinEimer()

Method Summary

static void	entleeren() Eimer wird animiert entleert, wenn voll
static void	fuellen() der Eimer wird animiert gefüllt, wenn leer.
static void	fuellen(Getraenk getraenk) der Eimer wird animiert mit "getraenk" gefüllt, wenn leer.
static Getraenk	inhalt() Informator
static boolean	istGefuellt() Zustandsinformator
static void	meldung(boolean wert) Ausgabe eines boolean Werts im Meldungsfenster. // const Beim Aufruf erscheint ein Meldungsfenster.
static void	meldung(Getraenk getraenk) Ausgabe eines Getraenks im Meldungsfenster. // const Beim Aufruf erscheint ein Meldungsfenster.
static void	meldung(java.lang.String text) Textausgabe im Meldungsfenster. // const Beim Aufruf erscheint ein Meldungsfenster.

Methods inherited from class lehrbuch.Programm

meldung, programm, start

Methods inherited from class java.applet.Applet

destroy, getAccessibleContext, getAppletContext, getAppletInfo, getAudioClip, getAudioClip, getCodeBase, getDocumentBase, getImage, getImage, getLocale, getParameter, getParameterInfo, init, isActive, newAudioClip, play, play, resize, resize, setStub, showStatus, stop

Methods inherited from class java.awt.Panel

addNotify

Methods inherited from class java.awt.Container

add, add, add, add, add, addContainerListener, addImpl, addPropertyChangeListener, addPropertyChangeListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getAlignmentX, getAlignmentY, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalKeys, getFocusTraversalPolicy, getInsets, getLayout, getListeners, getMaximumSize, getMinimumSize, getMousePosition, getPreferredSize, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paint, paintComponents, paramString, preferredSize, print, printComponents, processContainerEvent, processEvent, remove, remove, removeAll, removeContainerListener, removeNotify, setComponentZOrder, setFocusCycleRoot, setFocusTraversalKeys, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setFont, setLayout, transferFocusBackward, transferFocusDownCycle, update, 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, contains, createImage, createImage, createVolatileImage, createVolatileImage, disable, disableEvents, dispatchEvent, enable, enable, enableEvents, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBackground, getBaseline, getBaselineResizeBehavior, getBounds, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusCycleRootAncestor, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, getGraphics, getGraphicsConfiguration, getHeight, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputContext, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocation, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, getMouseWheelListeners, getName, getParent, getPeer, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getSize, getToolkit, getTreeLock, getWidth, getX, getY, gotFocus, handleEvent, hasFocus, hide, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isDoubleBuffered, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isMaximumSizeSet, isMinimumSizeSet, isOpaque, isPreferredSizeSet, isShowing, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, postEvent, prepareImage, prepareImage, printAll, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processKeyEvent, processMouseEvent, processMouseMotionEvent, processMouseWheelEvent, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, repaint, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, reshape, setBackground, setBounds, setBounds, setComponentOrientation, setCursor, setDropTarget, setEnabled, setFocusable, setFocusTraversalKeysEnabled, setForeground, setIgnoreRepaint, setLocale, setLocation, setLocation, setMaximumSize, setMinimumSize, setName, setPreferredSize, setSize, setSize, setVisible, show, show, size, toString, transferFocus, transferFocusUpCycle

Methods inherited from class java.lang.Object

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

Field Detail

WASSER

public static final Getraenk WASSER

WEIN

public static final Getraenk WEIN

Constructor Detail

EinEimer

public EinEimer()

Method Detail

fuellen

public static void fuellen(Getraenk getraenk)
                    throws VollError

der Eimer wird animiert mit "getraenk" gefüllt, wenn leer.

Parameters:

getraenk - WASSER oder WEIN

Throws:

VollError - (ungeprüft) wenn voll

fuellen

public static void fuellen()
                    throws VollError

der Eimer wird animiert gefüllt, wenn leer.

Throws:

VollError - (ungeprüft) wenn voll

entleeren

public static void entleeren()
                      throws LeerError

Eimer wird animiert entleert, wenn voll

Throws:

LeerError - (ungeprüft) wenn Eimer leer

istGefuellt

public static boolean istGefuellt()

Zustandsinformator

Returns:

true wenn der Eimer gefüllt ist

inhalt

public static Getraenk inhalt()
                       throws LeerError

Informator

Returns:

enthaltener Getränk

Throws:

LeerError - (ungeprüft) wenn Eimer leer

meldung

public static void meldung(Getraenk getraenk)

Ausgabe eines Getraenks im Meldungsfenster. // const Beim Aufruf erscheint ein Meldungsfenster. Es muss bestätigt werden.

Parameters:

getraenk - das auszugebende Getraenk // const

See Also:

meldung(String)

meldung

public static void meldung(boolean wert)

Ausgabe eines boolean Werts im Meldungsfenster. // const Beim Aufruf erscheint ein Meldungsfenster. Es muss bestätigt werden.

Parameters:

wert - der auszugebende Wert // const

See Also:

meldung(String)

meldung

public static void meldung(java.lang.String text)

Textausgabe im Meldungsfenster. // const Beim Aufruf erscheint ein Meldungsfenster. Es muss bestätigt werden.

Parameters:

text - der auszugebende Text // const

See Also:

Programm.meldung(String)