Struct mz_sql::query_model::dot::DotGenerator

struct DotGenerator<'a> {
    output: String,
    indent: u32,
    expr_humanizer: &'a dyn ExprHumanizer,
    with_types: bool,
}

Generates a graphviz graph from a Query Graph Model, defined in the DOT language. See https://graphviz.org/doc/info/lang.html.

Fields

output: String

indent: u32

expr_humanizer: &'a dyn ExprHumanizer

with_types: bool

Implementations

impl<'a> DotGenerator<'a>

fn new(expr_humanizer: &'a dyn ExprHumanizer, with_types: bool) -> Self

fn derive_required_attributes(&self, model: &mut Model, start_box: BoxId)

Derive attributes required for rendering the given Model.

fn generate(self, model: &mut Model, label: &str) -> Result<String, Error>

Generates a graphviz graph for the given model, labeled with label.

fn generate_subgraph(
    self,
    model: &mut Model,
    start_box: BoxId,
    label: &str
) -> Result<String, Error>

Generates a graphviz graph for the given subgraph of the model, labeled with label.

fn get_box_title(b: &QueryBox) -> &'static str

fn get_box_head(&self, b: &QueryBox) -> String

fn add_correlation_info(
    &mut self,
    correlation_info: BTreeMap<QuantifierId, HashSet<ColumnReference>>
)

Adds red arrows from correlated quantifiers to the sibling quantifiers they are correlated with.

fn get_quantifier_alias(q: &Quantifier) -> String

fn inc(&mut self)

fn dec(&mut self)

fn new_line(&mut self, s: &str)

fn end_line(&mut self)

Trait Implementations

impl<'a> Debug for DotGenerator<'a>

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

Formats the value using the given formatter.