Prog1Tools
Class ScreenSpecContract
java.lang.Object
net.sourceforge.c4j.ContractBase<ScreenSpec>
Prog1Tools.ScreenSpecContract
public class ScreenSpecContract
- extends net.sourceforge.c4j.ContractBase<ScreenSpec>
Vertragsklasse zum Interface ScreenSpec.
- Version:
- 2.0
- Author:
- hagen.buchwald@kit.edu
Fields inherited from class net.sourceforge.c4j.ContractBase |
m_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 |
ScreenSpecContract
public ScreenSpecContract(ScreenSpec target)
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()