cadrumo.entrypoints.tui.declarations.routes module

Closed Declarations route catalogue and injected root factory.

class DeclarationsUnavailableScreen(controller, target)[source]

Bases: DeclarationsWorkspaceScreen

Explicit refusal without fabricating an empty result.

Parameters:
compose()[source]

Called by Textual to create child widgets.

This method is called when a widget is mounted or by setting recompose=True when calling [refresh()][textual.widget.Widget.refresh].

Note that you don’t typically need to explicitly call this method.

Return type:

Iterable[Widget]

Example

def compose(self) -> ComposeResult:
    yield Header()
    yield Label("Press the button below:")
    yield Button()
    yield Footer()
on_mount()[source]

Populate navigation while preserving the visible refusal.

Return type:

None

on_data_table_row_selected(event)[source]

Permit navigation away from the unavailable body.

Return type:

None

Parameters:

event (RowSelected)

can_focus: bool

Widget may receive focus.

can_focus_children: bool

Widget’s children may receive focus.

class DeclarationsRouteV1(destination, zone, factory)[source]

Bases: object

One route and its projection zone.

Parameters:

  • destination (DeclarationsDestinationIdV1)

  • zone (DeclarationsWorkspaceZone | None)

  • factory (DeclarationsInternalScreenFactoryV1 | None)

destination: TypeAliasType
zone: DeclarationsWorkspaceZone | None
factory: TypeAliasType | None
declared_declarations_destination_ids()[source]

Return the destination identities from the defining literal.

Return type:

frozenset[str]

resolve_declarations_screen(controller, target)[source]

Resolve a target without I/O or controller construction.

Return type:

Screen[None]

Parameters:
declarations_screen_factory(projection, *, work_action, revisions_action, filing_action, modelo_workspace_factory=None, revision_handoff=None, filing_handoff=None, calendar_projection=None, calendar_entry_handoff=None, calendar_recovery_handoff=None)[source]

Bind only injected facts, admissions, and typed handoffs.

Return type:

TuiScreenFactoryV1

Parameters: