Struct AdvExtInvocation 

pub struct AdvExtInvocation {
    pub ext_type: ExtensionType,
    pub name: String,
    pub args: ExtensionArgs,
}

A parsed + Enh:Name[args] or + Opt:Name[args] line.

Fields

ext_type: ExtensionType

Whether this is an enhancement (ExtensionType::Enhancement) or optimization (ExtensionType::Optimization). The grammar restricts the value to those two variants; ExtensionType::Relation will never appear here.

name: String

args: ExtensionArgs

Trait Implementations

impl Clone for AdvExtInvocation

fn clone(&self) -> AdvExtInvocation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AdvExtInvocation

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

Formats the value using the given formatter.

impl ParsePair for AdvExtInvocation

fn rule() -> Rule

fn message() -> &'static str

fn parse_pair(pair: Pair<'_, Rule>) -> Self

fn parse_str(s: &str) -> Result<Self, MessageParseError>