Enum DatexExpression 

pub enum DatexExpression {
    Recover,
    Null,
    Boolean(bool),
    Text(String),
    Decimal(Decimal),
    TypedDecimal(TypedDecimal),
    Integer(Integer),
    TypedInteger(TypedInteger),
    Identifier(String),
    Endpoint(Endpoint),
    List(Vec<DatexExpression>),
    Map(Vec<(DatexExpression, DatexExpression)>),
    Statements(Vec<Statement>),
    Variable(VariableId, String),
    GetReference(PointerAddress),
    Conditional {
        condition: Box<DatexExpression>,
        then_branch: Box<DatexExpression>,
        else_branch: Option<Box<DatexExpression>>,
    },
    VariableDeclaration {
        id: Option<VariableId>,
        kind: VariableKind,
        name: String,
        type_annotation: Option<TypeExpression>,
        init_expression: Box<DatexExpression>,
    },
    TypeDeclaration {
        id: Option<VariableId>,
        name: String,
        value: TypeExpression,
        hoisted: bool,
    },
    TypeExpression(TypeExpression),
    Type(TypeExpression),
    FunctionDeclaration {
        name: String,
        parameters: Vec<(String, TypeExpression)>,
        return_type: Option<TypeExpression>,
        body: Box<DatexExpression>,
    },
    CreateRef(Box<DatexExpression>),
    CreateRefMut(Box<DatexExpression>),
    CreateRefFinal(Box<DatexExpression>),
    Deref(Box<DatexExpression>),
    Slot(Slot),
    SlotAssignment(Slot, Box<DatexExpression>),
    PointerAddress(PointerAddress),
    BinaryOperation(BinaryOperator, Box<DatexExpression>, Box<DatexExpression>, Option<Type>),
    ComparisonOperation(ComparisonOperator, Box<DatexExpression>, Box<DatexExpression>),
    VariableAssignment(AssignmentOperator, Option<VariableId>, String, Box<DatexExpression>),
    DerefAssignment {
        operator: AssignmentOperator,
        deref_count: usize,
        deref_expression: Box<DatexExpression>,
        assigned_expression: Box<DatexExpression>,
    },
    UnaryOperation(UnaryOperator, Box<DatexExpression>),
    ApplyChain(Box<DatexExpression>, Vec<ApplyOperation>),
    Placeholder,
    RemoteExecution(Box<DatexExpression>, Box<DatexExpression>),
}

Variants

Recover

This is a marker for recovery from parse errors. We should never use this manually.

Null

null

Boolean(bool)

Boolean (true or false)

Text(String)

Text, e.g “Hello, world!”

Decimal(Decimal)

Decimal, e.g 123.456789123456

TypedDecimal(TypedDecimal)

Typed Decimal, e.g. 123.456i8

Integer(Integer)

Integer, e.g 123456789123456789

TypedInteger(TypedInteger)

Typed Integer, e.g. 123i8

Identifier(String)

Identifier (variable / core type usage)

Endpoint(Endpoint)

Endpoint, e.g. @test_a or @test_b

List(Vec<DatexExpression>)

List, e.g [1, 2, 3, "text"]

Map(Vec<(DatexExpression, DatexExpression)>)

Map, e.g {“xy”: 2, (3): 4, xy: “xy”}

Statements(Vec<Statement>)

One or more statements, e.g (1; 2; 3)

Variable(VariableId, String)

Variable name - only generated by the precompiler, not by the parser

GetReference(PointerAddress)

reference access, e.g. &

Conditional

Conditional expression, e.g. if (true) { 1 } else { 2 }

Fields

condition: Box<DatexExpression>

then_branch: Box<DatexExpression>

else_branch: Option<Box<DatexExpression>>

VariableDeclaration

Variable declaration, e.g. const x = 1, const mut x = 1, or var y = 2. VariableId is always set to 0 by the ast parser.

Fields

id: Option<VariableId>

kind: VariableKind

name: String

type_annotation: Option<TypeExpression>

init_expression: Box<DatexExpression>

TypeDeclaration

Type declaration, e.g. type MyType = { x: 42, y: “John” };

Fields

id: Option<VariableId>

name: String

value: TypeExpression

hoisted: bool

TypeExpression(TypeExpression)

Type expression, e.g. { x: 42, y: “John” }

Type(TypeExpression)

Type keyword, e.g. type(…)

FunctionDeclaration

Fields

name: String

parameters: Vec<(String, TypeExpression)>

return_type: Option<TypeExpression>

body: Box<DatexExpression>

CreateRef(Box<DatexExpression>)

Reference, e.g. &x

CreateRefMut(Box<DatexExpression>)

Mutable reference, e.g. &mut x

CreateRefFinal(Box<DatexExpression>)

Final reference, e.g. &final x

Deref(Box<DatexExpression>)

Deref

Slot(Slot)

Slot, e.g. #1, #endpoint

SlotAssignment(Slot, Box<DatexExpression>)

Slot assignment

PointerAddress(PointerAddress)

BinaryOperation(BinaryOperator, Box<DatexExpression>, Box<DatexExpression>, Option<Type>)

ComparisonOperation(ComparisonOperator, Box<DatexExpression>, Box<DatexExpression>)

VariableAssignment(AssignmentOperator, Option<VariableId>, String, Box<DatexExpression>)

DerefAssignment

Fields

operator: AssignmentOperator

deref_count: usize

deref_expression: Box<DatexExpression>

assigned_expression: Box<DatexExpression>

UnaryOperation(UnaryOperator, Box<DatexExpression>)

ApplyChain(Box<DatexExpression>, Vec<ApplyOperation>)

Placeholder

RemoteExecution(Box<DatexExpression>, Box<DatexExpression>)

Trait Implementations

impl Clone for DatexExpression

fn clone(&self) -> DatexExpression

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DatexExpression

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

Formats the value using the given formatter.

impl From<&ValueContainer> for DatexExpression

fn from(value: &ValueContainer) -> Self

Converts a ValueContainer into a DatexExpression AST. This AST can then be further processed or decompiled into human-readable DATEX code.

impl PartialEq for DatexExpression

fn eq(&self, other: &DatexExpression) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl TryFrom<&DatexExpression> for StructuralTypeDefinition

type Error = ()

The type returned in the event of a conversion error.

fn try_from(expr: &DatexExpression) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<&DatexExpression> for Type

type Error = ()

The type returned in the event of a conversion error.

fn try_from(expr: &DatexExpression) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<&DatexExpression> for ValueContainer

type Error = ()

The type returned in the event of a conversion error.

fn try_from(expr: &DatexExpression) -> Result<Self, Self::Error>

Performs the conversion.

impl StructuralPartialEq for DatexExpression