Enum Type

pub enum Type {
    Invalid,
    Void,
    InferredProperty,
    InferredCallback,
    Component(Rc<Component>),
    Builtin(Rc<BuiltinElement>),
    Native(Rc<NativeClass>),
    Callback {
        return_type: Option<Box<Type>>,
        args: Vec<Type>,
    },
    Function {
        return_type: Box<Type>,
        args: Vec<Type>,
    },
    Float32,
    Int32,
    String,
    Color,
    Duration,
    PhysicalLength,
    LogicalLength,
    Angle,
    Percent,
    Image,
    Bool,
    Model,
    PathData,
    Easing,
    Brush,
    Array(Box<Type>),
    Struct {
        fields: BTreeMap<String, Type>,
        name: Option<String>,
        node: Option<ObjectType>,
    },
    Enumeration(Rc<Enumeration>),
    UnitProduct(Vec<(Unit, i8)>),
    ElementReference,
    LayoutCache,
}

Variants

Invalid

Correspond to an uninitialized type, or an error

Void

The type of an expression that return nothing

InferredProperty

The type of a property two way binding whose type was not yet inferred

InferredCallback

The type of a callback alias whose type was not yet inferred

Component(Rc<Component>)

Builtin(Rc<BuiltinElement>)

Native(Rc<NativeClass>)

Callback

Fields

return_type: Option<Box<Type>>

args: Vec<Type>

Function

Fields

return_type: Box<Type>

args: Vec<Type>

Float32

Int32

String

Color

Duration

PhysicalLength

LogicalLength

Angle

Percent

Image

Bool

Model

PathData

Easing

Brush

Array(Box<Type>)

This is usually a model

Struct

Fields

fields: BTreeMap<String, Type>

name: Option<String>

When declared in .60 as struct Foo := { }, then the name is “Foo” When there is no node, but there is a name, then it is a builtin type

node: Option<ObjectType>

When declared in .60, this is the node of the declaration.

Enumeration(Rc<Enumeration>)

UnitProduct(Vec<(Unit, i8)>)

A type made up of the product of several “unit” types. The first parameter is the unit, and the second parameter is the power. The vector should be sorted by 1) the power, 2) the unit.

ElementReference

LayoutCache

This is a SharedArray<f32>

Implementations

impl Type

pub fn is_property_type(&self) -> bool

valid type for properties

pub fn ok_for_public_api(&self) -> bool

pub fn lookup_property<'a>(&self, name: &'a str) -> PropertyLookupResult<'a>

pub fn property_list(&self) -> Vec<(String, Type)>

List of sub properties valid for the auto completion

pub fn lookup_type_for_child_element( &self, name: &str, tr: &TypeRegister, ) -> Result<Type, String>

pub fn lookup_member_function(&self, name: &str) -> Expression

pub fn as_builtin(&self) -> &BuiltinElement

Assume this is a builtin type, panic if it isn’t

pub fn as_native(&self) -> &NativeClass

Assume this is a builtin type, panic if it isn’t

pub fn as_component(&self) -> &Rc<Component>

Assume it is a Component, panic if it isn’t

pub fn as_enum(&self) -> &Rc<Enumeration>

Assume it is an enumeration, panic if it isn’t

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

Return true if the type can be converted to the other type

pub fn collect_contextual_types( &self, context_restricted_types: &mut HashMap<String, HashSet<String>>, )

pub fn default_unit(&self) -> Option<Unit>

If this is a number type which should be used with an unit, this returns the default unit otherwise, returns None

pub fn as_unit_product(&self) -> Option<Vec<(Unit, i8)>>

Return a unit product vector even for single scalar

Trait Implementations

impl Clone for Type

fn clone(&self) -> Type

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Type

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

Formats the value using the given formatter.

impl Default for Type

fn default() -> Self

Returns the “default value” for a type.

impl Display for Type

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

Formats the value using the given formatter.

impl From<Type> for PropertyDeclaration

fn from(ty: Type) -> Self

Converts to this type from the input type.

impl PartialEq for Type

fn eq(&self, other: &Self) -> 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.