Trait pn_editor_core::Renderer[−][src]

pub trait Renderer {
    fn draw_simulated(&mut self, simulated: bool);

    fn draw_place(
        &mut self, 
        x: f32, 
        y: f32, 
        radius: f32, 
        zoom: f32, 
        name: &TextLine, 
        name_cursor: usize, 
        show_cursor: bool, 
        count: u32, 
        selected: bool
    );

    fn draw_transition(
        &mut self, 
        x: f32, 
        y: f32, 
        width: f32, 
        height: f32, 
        zoom: f32, 
        name: &TextLine, 
        name_cursor: usize, 
        show_cursor: bool, 
        selected: bool, 
        forward: bool, 
        backwards: bool
    );

    fn draw_line(
        &mut self, 
        from_x: f32, 
        from_y: f32, 
        to_x: f32, 
        to_y: f32, 
        zoom: f32
    );

    fn draw_arrow(
        &mut self, 
        from_x: f32, 
        from_y: f32, 
        to_x: f32, 
        to_y: f32, 
        radius: f32, 
        width: f32, 
        height: f32, 
        zoom: f32, 
        arrow_kind: ArrowKind
    );

    fn draw_field(&mut self, text: &TextLine, cursor: usize);

    fn draw_select_box(&mut self, x1: f32, y1: f32, x2: f32, y2: f32, zoom: f32);

    fn draw_text_box(
        &mut self, 
        text: &Vec<TextLine>, 
        cursor: usize, 
        line: usize, 
        offset: usize
    );

    fn finish(&mut self);
}

The renderer trait is used to display the elements of the petri net in a specific way. Every drawing method starts with draw_ and takes the context as t he first argument. The positions are always given relative to the center without zoom applied. Zoom has to be applied by the renderer.

Required methods

fn draw_simulated(&mut self, simulated: bool)[src]

Renders some indications if simulation mode is enabled.

fn draw_place(
    &mut self,
    x: f32,
    y: f32,
    radius: f32,
    zoom: f32,
    name: &TextLine,
    name_cursor: usize,
    show_cursor: bool,
    count: u32,
    selected: bool
)[src]

This draws a place of the petri net. Places should be visualized as circles with radius RAD.

  • pos: The center of the place.
  • name: The name of the place as char array.
  • name_cursor: The position of the cursor inside the name.
  • show_cursor: Indicates if the cursor is shown for this place.
  • count: The token count of the place. A different visualization is recommended if it contains at least one token.
  • selected: Indicates if the place is currently selected.

fn draw_transition(
    &mut self,
    x: f32,
    y: f32,
    width: f32,
    height: f32,
    zoom: f32,
    name: &TextLine,
    name_cursor: usize,
    show_cursor: bool,
    selected: bool,
    forward: bool,
    backwards: bool
)[src]

This draws a transition of the petri net. Places should be visualized as rectangles with width WIDTH and height HEIGHT.

  • pos: The center of the transition.
  • name: The name of the transition as char array.
  • name_cursor: The position of the cursor inside the name.
  • show_cursor: Indicates if the cursor is shown for this transition.
  • selected: Indicates if the transition is currently selected.
  • forward: Indicates if the transition can fire.
  • backwards: Indicates if the transition can fire backwards.

fn draw_line(
    &mut self,
    from_x: f32,
    from_y: f32,
    to_x: f32,
    to_y: f32,
    zoom: f32
)[src]

This draws a line from position from to position to. Lines are used for visualizing nodes with multiple instances.

fn draw_arrow(
    &mut self,
    from_x: f32,
    from_y: f32,
    to_x: f32,
    to_y: f32,
    radius: f32,
    width: f32,
    height: f32,
    zoom: f32,
    arrow_kind: ArrowKind
)[src]

This draws an arrow from an element at position from to an element at position to. An element is either a place, a transition or a point. Both elements are of a different type. The element types are specified by arrow_kind. Depending on the element type, there might need to be different offsets or different curvatures.

fn draw_field(&mut self, text: &TextLine, cursor: usize)[src]

This draws a global input text field. The position is not further specified, so it can be anywhere.

  • text: The text in the field.
  • cursor: The position of the cursor inside the text.

fn draw_select_box(&mut self, x1: f32, y1: f32, x2: f32, y2: f32, zoom: f32)[src]

This draws a box for when the user selects multiple objects using a box. corner1 and corner2 are the positions of two opposite corners of the box.

fn draw_text_box(
    &mut self,
    text: &Vec<TextLine>,
    cursor: usize,
    line: usize,
    offset: usize
)[src]

This draws a text box, which might contains multiple lines of text.

  • text: The text as a list of lines, which are each represented as a list of lines.
  • cursor: The cursor position on the specified line.
  • line: The line, where the cursor currently is.
  • offset: Indicates by how many lines the text is moved up.

fn finish(&mut self)[src]

Finishes rendering of a single frame.

Loading content...

Implementors

Loading content...