cozy.__main__

Classes

Results

Stage

Generic enumeration.

Wizard

The base class for Textual Applications.

Module Contents

class cozy.__main__.Results
to_string()
class cozy.__main__.Stage

Bases: enum.Enum

Generic enumeration.

Derive from this class to define new enumerations.

confirm_start = 1
request_script_name = 2
confirm_script_clobber = 3
request_prepatched = 4
request_postpatched = 5
request_function_name = 6
request_signature = 7
request_concolic = 8
request_concolic_complete = 9
request_hooks = 10
request_textual_report = 11
request_visualization = 12
request_dump = 13
request_dump_name = 14
complete = 15
class cozy.__main__.Wizard

Bases: textual.app.App

The base class for Textual Applications.

Create an instance of an app.

Args:
driver_class: Driver class or None to auto-detect.

This will be used by some Textual tools.

css_path: Path to CSS or None to use the CSS_PATH class variable.

To load multiple CSS files, pass a list of strings or paths which will be loaded in order.

watch_css: Reload CSS if the files changed. This is set automatically if

you are using textual run with the dev switch.

Raises:

CssPathError: When the supplied CSS path(s) are an unexpected type.

CSS = Multiline-String
Show Value
"""
    Screen {
        padding:1
    }
    """
compose() textual.app.ComposeResult

Yield child widgets for a container.

This method should be implemented in a subclass.

async ask_yes_no(text)
async ask_string(text, placeholder='')
async ask_file(text)
async set_stage(stage)
async set_confirm_start()
async handle_confirm_start(message)
async set_confirm_script_clobber()
async handle_confirm_script_clobber(message)
async set_request_script_name()
async handle_request_script_name(message)
async set_request_prepatched()
async handle_request_prepatched(message)
async set_request_postpatched()
async handle_request_postpatched(message)
async set_request_function_name()
async handle_request_function_name(message)
async set_request_signature()
async handle_request_signature(message)
async set_request_hooks()
async handle_request_hooks(message)
async set_request_concolic()
async handle_request_concolic(message)
async set_request_concolic_complete()
async handle_request_concolic_complete(message)
async set_request_textual_report()
async handle_request_textual_report(message)
async set_request_dump()
async handle_request_dump(message)
async set_request_dump_name()
async handle_request_dump_name(message)
async set_request_visualization()
async handle_request_visualization(message)
async complete()
async on_input_submitted(message: textual.widgets.Input.Submitted) None
async on_option_list_option_selected(message: textual.widgets.OptionList.OptionSelected) None
async on_directory_tree_file_selected(message: textual.widgets.DirectoryTree.FileSelected) None