Enum Expr

pub enum Expr {
    BoolValue(bool, Option<Position>),
    IntValue(isize, Option<Position>),
    RealValue(Fraction, Option<Position>),
    Unary(UnaryOp, Box<Expr>, Option<Position>),
    Binary(Box<Expr>, BinOp, Box<Expr>, Option<Position>),
    Nary(NaryOp, Vec<Expr>, Option<Position>),
    Variable(VariableId, Option<Position>),
    Parameter(Parameter),
    FunctionCall(FunctionId, Vec<Expr>, Option<Position>),
    Instance(InstanceId, Option<Position>),
    StrucSelf(StructureId, Option<Position>),
    StrucAttribute(Box<Expr>, AttributeId<StructureId>, Option<Position>),
    StrucMetCall(Box<Expr>, MethodId<StructureId>, Vec<Expr>, Option<Position>),
    ClassSelf(ClassId, Option<Position>),
    ClassAttribute(Box<Expr>, AttributeId<ClassId>, Option<Position>),
    ClassMetCall(Box<Expr>, MethodId<ClassId>, Vec<Expr>, Option<Position>),
    AsClass(Box<Expr>, ClassId),
    AsInterval(Box<Expr>, isize, isize, Option<Position>),
    AsInt(Box<Expr>, Option<Position>),
    AsReal(Box<Expr>, Option<Position>),
    IfThenElse(Box<Expr>, Box<Expr>, Vec<(Expr, Expr)>, Box<Expr>, Option<Position>),
    Quantifier(QtOp, Vec<Parameter>, Box<Expr>, Option<Position>),
    Unresolved(String, Option<Position>),
    UnresolvedFunCall(String, Vec<Expr>, Option<Position>),
    UnresolvedAttribute(Box<Expr>, String, Option<Position>),
    UnresolvedMethCall(Box<Expr>, String, Vec<Expr>, Option<Position>),
}

Variants

BoolValue(bool, Option<Position>)

IntValue(isize, Option<Position>)

RealValue(Fraction, Option<Position>)

Unary(UnaryOp, Box<Expr>, Option<Position>)

Binary(Box<Expr>, BinOp, Box<Expr>, Option<Position>)

Nary(NaryOp, Vec<Expr>, Option<Position>)

Variable(VariableId, Option<Position>)

Parameter(Parameter)

FunctionCall(FunctionId, Vec<Expr>, Option<Position>)

Instance(InstanceId, Option<Position>)

StrucSelf(StructureId, Option<Position>)

StrucAttribute(Box<Expr>, AttributeId<StructureId>, Option<Position>)

StrucMetCall(Box<Expr>, MethodId<StructureId>, Vec<Expr>, Option<Position>)

ClassSelf(ClassId, Option<Position>)

ClassAttribute(Box<Expr>, AttributeId<ClassId>, Option<Position>)

ClassMetCall(Box<Expr>, MethodId<ClassId>, Vec<Expr>, Option<Position>)

AsClass(Box<Expr>, ClassId)

AsInterval(Box<Expr>, isize, isize, Option<Position>)

AsInt(Box<Expr>, Option<Position>)

AsReal(Box<Expr>, Option<Position>)

IfThenElse(Box<Expr>, Box<Expr>, Vec<(Expr, Expr)>, Box<Expr>, Option<Position>)

Quantifier(QtOp, Vec<Parameter>, Box<Expr>, Option<Position>)

Unresolved(String, Option<Position>)

UnresolvedFunCall(String, Vec<Expr>, Option<Position>)

UnresolvedAttribute(Box<Expr>, String, Option<Position>)

UnresolvedMethCall(Box<Expr>, String, Vec<Expr>, Option<Position>)

Implementations

impl Expr

pub fn resolve_type(&self, entries: &TypeEntries) -> Result<Expr, Error>

impl Expr

pub fn resolve( &self, problem: &Problem, entries: &Entries, ) -> Result<Expr, Error>

impl Expr

pub fn typ(&self, problem: &Problem) -> Type

impl Expr

pub fn check_type(&self, problem: &Problem) -> Result<(), Error>

impl Expr

pub fn substitute(&self, old: &Expr, expr: &Expr) -> Expr

pub fn substitute_all(&self, all: Vec<(Expr, Expr)>) -> Expr

impl Expr

pub fn check_parameter_size(&self, problem: &Problem) -> Result<(), Error>

impl Expr

pub fn type_inference(&self, problem: &Problem) -> Expr

pub fn as_type(&self, problem: &Problem, expected: &Type) -> Expr

Trait Implementations

impl Clone for Expr

fn clone(&self) -> Expr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Expr

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

Formats the value using the given formatter.

impl IsSame for Expr

fn is_same(&self, other: &Self) -> bool

fn all_same(v1: &Vec<Expr>, v2: &Vec<Expr>) -> bool

impl ToLang for Expr

fn to_lang(&self, problem: &Problem) -> String

impl WithPosition for Expr

fn position(&self) -> &Option<Position>