Struct DefAbstractPropStmt 

pub struct DefAbstractPropStmt {
    pub name: String,
    pub params: Vec<String>,
    pub line_file: LineFile,
}

Fields

name: String

params: Vec<String>

line_file: LineFile

Implementations

impl DefAbstractPropStmt

pub fn new(name: String, params: Vec<String>, line_file: LineFile) -> Self

impl DefAbstractPropStmt

pub fn stmt_type_name(&self) -> String

impl DefAbstractPropStmt

pub fn to_latex_string(&self) -> String

Trait Implementations

impl Clone for DefAbstractPropStmt

fn clone(&self) -> DefAbstractPropStmt

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Display for DefAbstractPropStmt

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

Formats the value using the given formatter.

impl From<DefAbstractPropStmt> for Stmt

fn from(v: DefAbstractPropStmt) -> Self

Converts to this type from the input type.