cozy.__main__

Module Contents

Classes

Results

Stage

Create a collection of name/value pairs.

Wizard

class cozy.__main__.Results
to_string()
class cozy.__main__.Stage(*args, **kwds)

Bases: enum.Enum

Create a collection of name/value pairs.

Example enumeration:

>>> class Color(Enum):
...     RED = 1
...     BLUE = 2
...     GREEN = 3

Access them by:

  • attribute access:

    >>> Color.RED
    <Color.RED: 1>
    
  • value lookup:

    >>> Color(1)
    <Color.RED: 1>
    
  • name lookup:

    >>> Color['RED']
    <Color.RED: 1>
    

Enumerations can be iterated over, and know how many members they have:

>>> len(Color)
3
>>> list(Color)
[<Color.RED: 1>, <Color.BLUE: 2>, <Color.GREEN: 3>]

Methods can be added to enumerations, and members can have their own attributes – see the documentation for details.

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

CSS = Multiline-String
Show Value
"""
    Screen {
        padding:1
    }
    """
compose() textual.app.ComposeResult
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