ContRap
The symbolic tool for control-flow based rapid prototyping.

Library qtgui
Overview

This library is undocumented

Non-class functions

Here you will find the list of all functions, which are defined outside the scope of a class.

qtHorizontalLayout(widgets:List,size:QSize):QtLayoutWidget
Layouts widgets given in the argument list horizontally
qtVerticalLayout(widgets:List,size:QSize):QtLayoutWidget
Layouts widgets given in the argument list vertically
Class QtImageViewer

Here you will find the class functions of 'QtImageViewer' defined in the library 'qtgui'.

QtFileDialog():QtFileDialog
Constructs a new file dialog
changed(self:QtFileDialog,command:):void
Performs an action when the file name in the dialog has been changed
file(self:QtFileDialog):String
Returns the name of the selected file
QtImageViewer(options:List):QtImageViewer
Constructs an image viewer with the given options
clear(self:QtImageViewer):void
Clears the external primitives
click(self:QtImageViewer,expression:):void
Defines the widget behaviour when the image is clicked
cursor(self:QtImageViewer):QPointF
Returns the cursor position
move(self:QtImageViewer,expression:):void
Defines the widget behaviour when the cursor moves over the image
setImage(self:QtImageViewer,image:QImage):void
Sets the image to view
setPrimitive(self:QtImageViewer,primitive:Primitive2D):void
Sets external primitives to draw
QtLineEdit():QtLineEdit
Creates a new line edito widget
setText(self:QtLineEdit,text:String):void
Sets the text of the editor
text(self:QtLineEdit):QString
Returns the text of the widget
changed(self:QtPlayer,expression:):void
Sets the expression which should be evaluated if the player value has changed
QtPushButton(text:String,expression:):QtPushButton
pressed(self:QtPushButton,expression:):void
Calls an expression when the button is pressed
setText(self:QtPushButton,text:String):void
Sets the text of the button
QtSlider():QtSlider
change(self:QtSlider,expression:):void
Sets the expression which should be evaluated if the slider value has changed
position(self:QtSlider):int
Returns the slider value
setRange(self:QtSlider,min:int,max:int):void
Sets the range of the slider
set(self:QtSlider,value:int):void
Sets the slider value
Class QtSlider

Here you will find the class functions of 'QtSlider' defined in the library 'qtgui'.

QtFileDialog():QtFileDialog
Constructs a new file dialog
changed(self:QtFileDialog,command:):void
Performs an action when the file name in the dialog has been changed
file(self:QtFileDialog):String
Returns the name of the selected file
QtImageViewer(options:List):QtImageViewer
Constructs an image viewer with the given options
clear(self:QtImageViewer):void
Clears the external primitives
click(self:QtImageViewer,expression:):void
Defines the widget behaviour when the image is clicked
cursor(self:QtImageViewer):QPointF
Returns the cursor position
move(self:QtImageViewer,expression:):void
Defines the widget behaviour when the cursor moves over the image
setImage(self:QtImageViewer,image:QImage):void
Sets the image to view
setPrimitive(self:QtImageViewer,primitive:Primitive2D):void
Sets external primitives to draw
QtLineEdit():QtLineEdit
Creates a new line edito widget
setText(self:QtLineEdit,text:String):void
Sets the text of the editor
text(self:QtLineEdit):QString
Returns the text of the widget
changed(self:QtPlayer,expression:):void
Sets the expression which should be evaluated if the player value has changed
QtPushButton(text:String,expression:):QtPushButton
pressed(self:QtPushButton,expression:):void
Calls an expression when the button is pressed
setText(self:QtPushButton,text:String):void
Sets the text of the button
QtSlider():QtSlider
change(self:QtSlider,expression:):void
Sets the expression which should be evaluated if the slider value has changed
position(self:QtSlider):int
Returns the slider value
setRange(self:QtSlider,min:int,max:int):void
Sets the range of the slider
set(self:QtSlider,value:int):void
Sets the slider value
Class QtPlayer

Here you will find the class functions of 'QtPlayer' defined in the library 'qtgui'.

QtFileDialog():QtFileDialog
Constructs a new file dialog
changed(self:QtFileDialog,command:):void
Performs an action when the file name in the dialog has been changed
file(self:QtFileDialog):String
Returns the name of the selected file
QtImageViewer(options:List):QtImageViewer
Constructs an image viewer with the given options
clear(self:QtImageViewer):void
Clears the external primitives
click(self:QtImageViewer,expression:):void
Defines the widget behaviour when the image is clicked
cursor(self:QtImageViewer):QPointF
Returns the cursor position
move(self:QtImageViewer,expression:):void
Defines the widget behaviour when the cursor moves over the image
setImage(self:QtImageViewer,image:QImage):void
Sets the image to view
setPrimitive(self:QtImageViewer,primitive:Primitive2D):void
Sets external primitives to draw
QtLineEdit():QtLineEdit
Creates a new line edito widget
setText(self:QtLineEdit,text:String):void
Sets the text of the editor
text(self:QtLineEdit):QString
Returns the text of the widget
changed(self:QtPlayer,expression:):void
Sets the expression which should be evaluated if the player value has changed
QtPushButton(text:String,expression:):QtPushButton
pressed(self:QtPushButton,expression:):void
Calls an expression when the button is pressed
setText(self:QtPushButton,text:String):void
Sets the text of the button
QtSlider():QtSlider
change(self:QtSlider,expression:):void
Sets the expression which should be evaluated if the slider value has changed
position(self:QtSlider):int
Returns the slider value
setRange(self:QtSlider,min:int,max:int):void
Sets the range of the slider
set(self:QtSlider,value:int):void
Sets the slider value
Class QtPushButton

Here you will find the class functions of 'QtPushButton' defined in the library 'qtgui'.

QtFileDialog():QtFileDialog
Constructs a new file dialog
changed(self:QtFileDialog,command:):void
Performs an action when the file name in the dialog has been changed
file(self:QtFileDialog):String
Returns the name of the selected file
QtImageViewer(options:List):QtImageViewer
Constructs an image viewer with the given options
clear(self:QtImageViewer):void
Clears the external primitives
click(self:QtImageViewer,expression:):void
Defines the widget behaviour when the image is clicked
cursor(self:QtImageViewer):QPointF
Returns the cursor position
move(self:QtImageViewer,expression:):void
Defines the widget behaviour when the cursor moves over the image
setImage(self:QtImageViewer,image:QImage):void
Sets the image to view
setPrimitive(self:QtImageViewer,primitive:Primitive2D):void
Sets external primitives to draw
QtLineEdit():QtLineEdit
Creates a new line edito widget
setText(self:QtLineEdit,text:String):void
Sets the text of the editor
text(self:QtLineEdit):QString
Returns the text of the widget
changed(self:QtPlayer,expression:):void
Sets the expression which should be evaluated if the player value has changed
QtPushButton(text:String,expression:):QtPushButton
pressed(self:QtPushButton,expression:):void
Calls an expression when the button is pressed
setText(self:QtPushButton,text:String):void
Sets the text of the button
QtSlider():QtSlider
change(self:QtSlider,expression:):void
Sets the expression which should be evaluated if the slider value has changed
position(self:QtSlider):int
Returns the slider value
setRange(self:QtSlider,min:int,max:int):void
Sets the range of the slider
set(self:QtSlider,value:int):void
Sets the slider value
Class QtLineEdit

Here you will find the class functions of 'QtLineEdit' defined in the library 'qtgui'.

QtFileDialog():QtFileDialog
Constructs a new file dialog
changed(self:QtFileDialog,command:):void
Performs an action when the file name in the dialog has been changed
file(self:QtFileDialog):String
Returns the name of the selected file
QtImageViewer(options:List):QtImageViewer
Constructs an image viewer with the given options
clear(self:QtImageViewer):void
Clears the external primitives
click(self:QtImageViewer,expression:):void
Defines the widget behaviour when the image is clicked
cursor(self:QtImageViewer):QPointF
Returns the cursor position
move(self:QtImageViewer,expression:):void
Defines the widget behaviour when the cursor moves over the image
setImage(self:QtImageViewer,image:QImage):void
Sets the image to view
setPrimitive(self:QtImageViewer,primitive:Primitive2D):void
Sets external primitives to draw
QtLineEdit():QtLineEdit
Creates a new line edito widget
setText(self:QtLineEdit,text:String):void
Sets the text of the editor
text(self:QtLineEdit):QString
Returns the text of the widget
changed(self:QtPlayer,expression:):void
Sets the expression which should be evaluated if the player value has changed
QtPushButton(text:String,expression:):QtPushButton
pressed(self:QtPushButton,expression:):void
Calls an expression when the button is pressed
setText(self:QtPushButton,text:String):void
Sets the text of the button
QtSlider():QtSlider
change(self:QtSlider,expression:):void
Sets the expression which should be evaluated if the slider value has changed
position(self:QtSlider):int
Returns the slider value
setRange(self:QtSlider,min:int,max:int):void
Sets the range of the slider
set(self:QtSlider,value:int):void
Sets the slider value
Class QtFileDialog

Here you will find the class functions of 'QtFileDialog' defined in the library 'qtgui'.

QtFileDialog():QtFileDialog
Constructs a new file dialog
changed(self:QtFileDialog,command:):void
Performs an action when the file name in the dialog has been changed
file(self:QtFileDialog):String
Returns the name of the selected file
QtImageViewer(options:List):QtImageViewer
Constructs an image viewer with the given options
clear(self:QtImageViewer):void
Clears the external primitives
click(self:QtImageViewer,expression:):void
Defines the widget behaviour when the image is clicked
cursor(self:QtImageViewer):QPointF
Returns the cursor position
move(self:QtImageViewer,expression:):void
Defines the widget behaviour when the cursor moves over the image
setImage(self:QtImageViewer,image:QImage):void
Sets the image to view
setPrimitive(self:QtImageViewer,primitive:Primitive2D):void
Sets external primitives to draw
QtLineEdit():QtLineEdit
Creates a new line edito widget
setText(self:QtLineEdit,text:String):void
Sets the text of the editor
text(self:QtLineEdit):QString
Returns the text of the widget
changed(self:QtPlayer,expression:):void
Sets the expression which should be evaluated if the player value has changed
QtPushButton(text:String,expression:):QtPushButton
pressed(self:QtPushButton,expression:):void
Calls an expression when the button is pressed
setText(self:QtPushButton,text:String):void
Sets the text of the button
QtSlider():QtSlider
change(self:QtSlider,expression:):void
Sets the expression which should be evaluated if the slider value has changed
position(self:QtSlider):int
Returns the slider value
setRange(self:QtSlider,min:int,max:int):void
Sets the range of the slider
set(self:QtSlider,value:int):void
Sets the slider value