Enum StpaView 

pub enum StpaView {
    IoOptions,
    Diagram,
    Losses,
    Hazards,
    Elements,
    Interactions,
    UcaContexts,
    CaAnalyses,
    Constraints,
    Ucas,
    ControlLoops,
    ControlLoopSequences,
    Scenarios,
}

Variants

IoOptions

Diagram

Losses

Hazards

Elements

Interactions

UcaContexts

CaAnalyses

Constraints

Ucas

ControlLoops

ControlLoopSequences

Scenarios

Trait Implementations

impl Behavior<StpaView> for TreeBehavior

fn tab_title_for_pane(&mut self, pane: &StpaView) -> WidgetText

The title of a pane tab.

fn simplification_options(&self) -> SimplificationOptions

What are the rules for simplifying the tree?

fn pane_ui( &mut self, ui: &mut Ui, _tile_id: TileId, panel: &mut StpaView, ) -> UiResponse

Show a pane tile in the given [egui::Ui].

fn is_tab_closable(&self, _tiles: &Tiles<Pane>, _tile_id: TileId) -> bool

Should the tab have a close-button?

fn on_tab_close(&mut self, _tiles: &mut Tiles<Pane>, _tile_id: TileId) -> bool

Called when the close-button on a tab is pressed.

fn close_button_outer_size(&self) -> f32

The size of the close button in the tab.

fn close_button_inner_margin(&self) -> f32

How much smaller the visual part of the close-button will be compared to [Self::close_button_outer_size].

fn tab_title_for_tile( &mut self, tiles: &Tiles<Pane>, tile_id: TileId, ) -> WidgetText

The title of a general tab.

fn tab_ui( &mut self, tiles: &mut Tiles<Pane>, ui: &mut Ui, id: Id, tile_id: TileId, state: &TabState, ) -> Response

Show the ui for the a tab of some tile.

fn drag_ui(&mut self, tiles: &Tiles<Pane>, ui: &mut Ui, tile_id: TileId)

Show the ui for the tab being dragged.

fn on_tab_button( &mut self, _tiles: &Tiles<Pane>, _tile_id: TileId, button_response: Response, ) -> Response

Called by the default implementation of [Self::tab_ui] for each added button

fn retain_pane(&mut self, _pane: &Pane) -> bool

Return false if a given pane should be removed from its parent.

fn top_bar_right_ui( &mut self, _tiles: &Tiles<Pane>, _ui: &mut Ui, _tile_id: TileId, _tabs: &Tabs, _scroll_offset: &mut f32, )

Adds some UI to the top right of each tab bar.

fn tab_bar_height(&self, _style: &Style) -> f32

The height of the bar holding tab titles.

fn gap_width(&self, _style: &Style) -> f32

Width of the gap between tiles in a horizontal or vertical layout, and between rows/columns in a grid layout.

fn min_size(&self) -> f32

No child should shrink below this width nor height.

fn preview_dragged_panes(&self) -> bool

Show we preview panes that are being dragged, i.e. show their ui in the region where they will end up?

fn dragged_overlay_color(&self, visuals: &Visuals) -> Color32

Cover the tile that is being dragged with this color.

fn paint_on_top_of_tile( &self, _painter: &Painter, _style: &Style, _tile_id: TileId, _rect: Rect, )

Add some custom painting on top of a tile (container or pane), e.g. draw an outline on top of it.

fn resize_stroke(&self, style: &Style, resize_state: ResizeState) -> Stroke

The stroke used for the lines in horizontal, vertical, and grid layouts.

fn tab_title_spacing(&self, _visuals: &Visuals) -> f32

Extra spacing to left and right of tab titles.

fn tab_bar_color(&self, visuals: &Visuals) -> Color32

The background color of the tab bar.

fn tab_bg_color( &self, visuals: &Visuals, _tiles: &Tiles<Pane>, _tile_id: TileId, state: &TabState, ) -> Color32

The background color of a tab.

fn tab_outline_stroke( &self, visuals: &Visuals, _tiles: &Tiles<Pane>, _tile_id: TileId, state: &TabState, ) -> Stroke

Stroke of the outline around a tab title.

fn tab_bar_hline_stroke(&self, visuals: &Visuals) -> Stroke

Stroke of the line separating the tab title bar and the content of the active tab.

fn tab_text_color( &self, visuals: &Visuals, _tiles: &Tiles<Pane>, _tile_id: TileId, state: &TabState, ) -> Color32

The color of the title text of the tab.

fn drag_preview_stroke(&self, visuals: &Visuals) -> Stroke

When drag-and-dropping a tile, the candidate area is drawn with this stroke.

fn drag_preview_color(&self, visuals: &Visuals) -> Color32

When drag-and-dropping a tile, the candidate area is drawn with this background color.

fn paint_drag_preview( &self, visuals: &Visuals, painter: &Painter, parent_rect: Option<Rect>, preview_rect: Rect, )

When drag-and-dropping a tile, how do we preview what is about to happen?

fn grid_auto_column_count( &self, num_visible_children: usize, rect: Rect, gap: f32, ) -> usize

How many columns should we use for a [crate::Grid] put into [crate::GridLayout::Auto]?

fn ideal_tile_aspect_ratio(&self) -> f32

When using [crate::GridLayout::Auto], what is the ideal aspect ratio of a tile?

fn on_edit(&mut self, _edit_action: EditAction)

Called if the user edits the tree somehow, e.g. changes the size of some container, clicks a tab, or drags a tile.

impl Debug for StpaView

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl IntoEnumIterator for StpaView

type Iterator = StpaViewIter

fn iter() -> StpaViewIter

impl PartialEq for StpaView

fn eq(&self, other: &StpaView) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for StpaView

impl StructuralPartialEq for StpaView