Prog1Tools
Class ScreenSpecContract

java.lang.Object
  extended by net.sourceforge.c4j.ContractBase<ScreenSpec>
      extended by Prog1Tools.ScreenSpecContract

public class ScreenSpecContract
extends net.sourceforge.c4j.ContractBase<ScreenSpec>

Vertragsklasse zum Interface ScreenSpec.

Version:
2.0
Author:
hagen.buchwald@kit.edu

Field Summary
 
Fields inherited from class net.sourceforge.c4j.ContractBase
m_target
 
Constructor Summary
ScreenSpecContract(ScreenSpec target)
           
 
Method Summary
 void post_clearScreen()
           
 void post_clearScreen(boolean fastMode)
           
 void post_getChoosenColor()
           
 void post_getChoosenFile()
           
 void post_getSelectedKeyChar()
           
 void post_getSelectedKeyCode()
           
 void post_getSelectedMouseButton()
           
 void post_getSelectedOption()
           
 void post_readBoolean(java.lang.String title, java.lang.String message)
           
 void post_readByte(java.lang.String title, java.lang.String message)
           
 void post_readChar(java.lang.String title, java.lang.String message)
           
 void post_readDouble(java.lang.String title, java.lang.String message)
           
 void post_readFloat(java.lang.String title, java.lang.String message)
           
 void post_readInt(java.lang.String title, java.lang.String message)
           
 void post_readLine(java.lang.String title, java.lang.String message)
           
 void post_readLong(java.lang.String title, java.lang.String message)
           
 void post_readShort(java.lang.String title, java.lang.String message)
           
 void post_resetFont()
           
 void post_resetKeyEvent()
           
 void post_resetMouseEvent()
           
 void post_setDebug(boolean debug)
           
 void post_setFont(java.lang.String fontName, int fontStyle, int fontSize)
           
 void post_setResizable(boolean resizable)
           
 void post_showColorChooserDialog(java.lang.String title)
           
 void post_showConfirmDialog(java.lang.String title, java.lang.String message)
           
 void post_showFileOpenDialog()
           
 void post_showFileSaveDialog()
           
 void post_showInputDialogComboBox(java.lang.String title, java.lang.String message, java.lang.String[] comboBoxItems)
           
 void post_showMessageDialog(java.lang.String title, java.lang.String message)
           
 void post_showOptionDialogAbbruchOK(java.lang.String title, java.lang.String message)
           
 void post_showOptionDialogJaNein(java.lang.String title, java.lang.String message)
           
 void pre_clearScreen()
           
 void pre_clearScreen(boolean fastMode)
           
 void pre_getChoosenColor()
           
 void pre_getChoosenFile()
           
 void pre_getSelectedKeyChar()
           
 void pre_getSelectedKeyCode()
           
 void pre_getSelectedMouseButton()
           
 void pre_getSelectedOption()
           
 void pre_readBoolean(java.lang.String title, java.lang.String message)
           
 void pre_readByte(java.lang.String title, java.lang.String message)
           
 void pre_readChar(java.lang.String title, java.lang.String message)
           
 void pre_readDouble(java.lang.String title, java.lang.String message)
           
 void pre_readFloat(java.lang.String title, java.lang.String message)
           
 void pre_readInt(java.lang.String title, java.lang.String message)
           
 void pre_readLine(java.lang.String title, java.lang.String message)
           
 void pre_readLong(java.lang.String title, java.lang.String message)
           
 void pre_readShort(java.lang.String title, java.lang.String message)
           
 void pre_resetFont()
           
 void pre_resetKeyEvent()
           
 void pre_resetMouseEvent()
           
 void pre_setDebug(boolean debug)
           
 void pre_setFont(java.lang.String fontName, int fontStyle, int fontSize)
           
 void pre_setResizable(boolean resizable)
           
 void pre_showColorChooserDialog(java.lang.String title)
           
 void pre_showConfirmDialog(java.lang.String title, java.lang.String message)
           
 void pre_showFileOpenDialog()
           
 void pre_showFileSaveDialog()
           
 void pre_showInputDialogComboBox(java.lang.String title, java.lang.String message, java.lang.String[] comboBoxItems)
           
 void pre_showMessageDialog(java.lang.String title, java.lang.String message)
           
 void pre_showOptionDialogAbbruchOK(java.lang.String title, java.lang.String message)
           
 void pre_showOptionDialogJaNein(java.lang.String title, java.lang.String message)
           
 
Methods inherited from class net.sourceforge.c4j.ContractBase
addLogger, classInvariantCheck, getPreconditionValue, getReturnValue, getTargetField, implies, popPreconditionValuesMap, popReturnValue, postConditionCheck, preConditionCheck, pushPreconditionValuesMap, pushReturnValue, setPreconditionValue, setReturnValue
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ScreenSpecContract

public ScreenSpecContract(ScreenSpec target)
Method Detail

pre_getSelectedMouseButton

public void pre_getSelectedMouseButton()

post_getSelectedMouseButton

public void post_getSelectedMouseButton()

pre_getSelectedKeyCode

public void pre_getSelectedKeyCode()

post_getSelectedKeyCode

public void post_getSelectedKeyCode()

pre_getSelectedKeyChar

public void pre_getSelectedKeyChar()

post_getSelectedKeyChar

public void post_getSelectedKeyChar()

pre_getSelectedOption

public void pre_getSelectedOption()

post_getSelectedOption

public void post_getSelectedOption()

pre_getChoosenColor

public void pre_getChoosenColor()

post_getChoosenColor

public void post_getChoosenColor()

pre_getChoosenFile

public void pre_getChoosenFile()

post_getChoosenFile

public void post_getChoosenFile()

pre_setDebug

public void pre_setDebug(boolean debug)

post_setDebug

public void post_setDebug(boolean debug)

pre_setResizable

public void pre_setResizable(boolean resizable)

post_setResizable

public void post_setResizable(boolean resizable)

pre_resetFont

public void pre_resetFont()

post_resetFont

public void post_resetFont()

pre_setFont

public void pre_setFont(java.lang.String fontName,
                        int fontStyle,
                        int fontSize)

post_setFont

public void post_setFont(java.lang.String fontName,
                         int fontStyle,
                         int fontSize)

pre_clearScreen

public void pre_clearScreen()

post_clearScreen

public void post_clearScreen()

pre_clearScreen

public void pre_clearScreen(boolean fastMode)

post_clearScreen

public void post_clearScreen(boolean fastMode)

pre_showMessageDialog

public void pre_showMessageDialog(java.lang.String title,
                                  java.lang.String message)

post_showMessageDialog

public void post_showMessageDialog(java.lang.String title,
                                   java.lang.String message)

pre_showOptionDialogAbbruchOK

public void pre_showOptionDialogAbbruchOK(java.lang.String title,
                                          java.lang.String message)

post_showOptionDialogAbbruchOK

public void post_showOptionDialogAbbruchOK(java.lang.String title,
                                           java.lang.String message)

pre_showOptionDialogJaNein

public void pre_showOptionDialogJaNein(java.lang.String title,
                                       java.lang.String message)

post_showOptionDialogJaNein

public void post_showOptionDialogJaNein(java.lang.String title,
                                        java.lang.String message)

pre_showInputDialogComboBox

public void pre_showInputDialogComboBox(java.lang.String title,
                                        java.lang.String message,
                                        java.lang.String[] comboBoxItems)

post_showInputDialogComboBox

public void post_showInputDialogComboBox(java.lang.String title,
                                         java.lang.String message,
                                         java.lang.String[] comboBoxItems)

pre_readByte

public void pre_readByte(java.lang.String title,
                         java.lang.String message)

post_readByte

public void post_readByte(java.lang.String title,
                          java.lang.String message)

pre_readShort

public void pre_readShort(java.lang.String title,
                          java.lang.String message)

post_readShort

public void post_readShort(java.lang.String title,
                           java.lang.String message)

pre_readInt

public void pre_readInt(java.lang.String title,
                        java.lang.String message)

post_readInt

public void post_readInt(java.lang.String title,
                         java.lang.String message)

pre_readLong

public void pre_readLong(java.lang.String title,
                         java.lang.String message)

post_readLong

public void post_readLong(java.lang.String title,
                          java.lang.String message)

pre_readFloat

public void pre_readFloat(java.lang.String title,
                          java.lang.String message)

post_readFloat

public void post_readFloat(java.lang.String title,
                           java.lang.String message)

pre_readDouble

public void pre_readDouble(java.lang.String title,
                           java.lang.String message)

post_readDouble

public void post_readDouble(java.lang.String title,
                            java.lang.String message)

pre_readChar

public void pre_readChar(java.lang.String title,
                         java.lang.String message)

post_readChar

public void post_readChar(java.lang.String title,
                          java.lang.String message)

pre_readBoolean

public void pre_readBoolean(java.lang.String title,
                            java.lang.String message)

post_readBoolean

public void post_readBoolean(java.lang.String title,
                             java.lang.String message)

pre_readLine

public void pre_readLine(java.lang.String title,
                         java.lang.String message)

post_readLine

public void post_readLine(java.lang.String title,
                          java.lang.String message)

pre_showConfirmDialog

public void pre_showConfirmDialog(java.lang.String title,
                                  java.lang.String message)

post_showConfirmDialog

public void post_showConfirmDialog(java.lang.String title,
                                   java.lang.String message)

pre_showFileOpenDialog

public void pre_showFileOpenDialog()

post_showFileOpenDialog

public void post_showFileOpenDialog()

pre_showFileSaveDialog

public void pre_showFileSaveDialog()

post_showFileSaveDialog

public void post_showFileSaveDialog()

pre_showColorChooserDialog

public void pre_showColorChooserDialog(java.lang.String title)

post_showColorChooserDialog

public void post_showColorChooserDialog(java.lang.String title)

pre_resetMouseEvent

public void pre_resetMouseEvent()

post_resetMouseEvent

public void post_resetMouseEvent()

pre_resetKeyEvent

public void pre_resetKeyEvent()

post_resetKeyEvent

public void post_resetKeyEvent()