Trait Formalize

pub trait Formalize {
    // Required method
    fn formalize(&mut self) -> Result<()>;
}

Required Methods

fn formalize(&mut self) -> Result<()>

Implementors

impl Formalize for Condition

impl Formalize for Evaluation

impl Formalize for Event

impl Formalize for Feature

impl Formalize for Goal

impl Formalize for InfraNode

impl Formalize for Inject

impl Formalize for Metric

impl Formalize for VM

impl Formalize for Script

impl Formalize for Story

impl Formalize for Scenario

impl Formalize for Vulnerability