Enum DataType 

pub enum DataType {
    StructType {
        name: Option<String>,
        variables: Vec<Variable>,
    },
    EnumType {
        name: Option<String>,
        numeric_type: String,
        elements: AstNode,
    },
    SubRangeType {
        name: Option<String>,
        referenced_type: String,
        referenced_type_location: SourceLocation,
        bounds: Option<AstNode>,
    },
    ArrayType {
        name: Option<String>,
        bounds: AstNode,
        referenced_type: Box<DataTypeDeclaration>,
        is_variable_length: bool,
    },
    PointerType {
        name: Option<String>,
        referenced_type: Box<DataTypeDeclaration>,
        auto_deref: Option<AutoDerefType>,
        type_safe: bool,
        is_function: bool,
    },
    StringType {
        name: Option<String>,
        is_wide: bool,
        size: Option<AstNode>,
    },
    VarArgs {
        referenced_type: Option<Box<DataTypeDeclaration>>,
        sized: bool,
    },
    GenericType {
        name: String,
        generic_symbol: String,
        nature: TypeNature,
    },
}

Variants

StructType

Fields

name: Option<String>

variables: Vec<Variable>

EnumType

Fields

name: Option<String>

numeric_type: String

elements: AstNode

SubRangeType

Fields

name: Option<String>

referenced_type: String

referenced_type_location: SourceLocation

Source location of referenced_type. Used by validation to point at the actual offending token when the referenced type is unknown.

bounds: Option<AstNode>

ArrayType

Fields

name: Option<String>

bounds: AstNode

referenced_type: Box<DataTypeDeclaration>

is_variable_length: bool

PointerType

Fields

name: Option<String>

referenced_type: Box<DataTypeDeclaration>

auto_deref: Option<AutoDerefType>

type_safe: bool

Indicates whether to perform type validation. When false, pointer type mismatches are allowed, e.g., foo : POINTER TO DINT := ADR(stringValue). When true, the type of the pointer must match the referenced type exactly.

is_function: bool

Indicates whether the pointer is a function pointer.

StringType

Fields

name: Option<String>

is_wide: bool

size: Option<AstNode>

VarArgs

Fields

referenced_type: Option<Box<DataTypeDeclaration>>

sized: bool

GenericType

Fields

name: String

generic_symbol: String

nature: TypeNature

Implementations

impl DataType

pub fn set_name(&mut self, new_name: String)

pub fn get_name(&self) -> Option<&str>

pub fn replace_data_type_with_reference_to( &mut self, type_name: String, location: &SourceLocation, ) -> Option<DataTypeDeclaration>

pub fn is_pointer(&self) -> bool

pub fn is_type_safe_pointer(&self) -> bool

pub fn is_generic(&self) -> bool

Trait Implementations

impl Clone for DataType

fn clone(&self) -> DataType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DataType

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for DataType

where 'de: 'static,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for DataType

fn eq(&self, other: &DataType) -> 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 Serialize for DataType

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Walker for DataType

fn walk<V>(&self, visitor: &mut V)

where V: AstVisitor,

impl WalkerMut for DataType

fn walk<V>(&mut self, visitor: &mut V)

where V: AstVisitorMut,

impl StructuralPartialEq for DataType