Enum sixtyfps_compilerlib::langtype::Type

pub enum Type {
    Invalid,
    Void,
    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,
    PathElements,
    Easing,
    Brush,
    Array(Box<Type>),
    Struct {
        fields: BTreeMap<String, Type>,
        name: Option<String>,
        node: Option<ObjectType>,
    },
    Enumeration(Rc<Enumeration>),
    UnitProduct(Vec<(Unit, i8)>),
    ElementReference,
}

Variants

Invalid

Correspond to an uninitialized type, or an error

Void

The type of an expression that return nothing

Component(Rc<Component>)

Builtin(Rc<BuiltinElement>)

Native(Rc<NativeClass>)

Callback

Fields of Callback

return_type: Option<Box<Type>>args: Vec<Type>

Function

Fields of Function

return_type: Box<Type>args: Vec<Type>

Float32

Int32

String

Color

Duration

PhysicalLength

LogicalLength

Angle

Percent

Image

Bool

Model

PathElements

Easing

Brush

Array(Box<Type>)

Struct

Fields of Struct

fields: BTreeMap<String, Type>name: Option<String>node: Option<ObjectType>

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

Implementations

impl Type

pub fn is_object_type(&self) -> bool

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>

Assime 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 copy of the value.

pub 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

Performs the conversion.

impl PartialEq<Type> for Type

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

This method tests for self and other values to be equal, and is used by ==.

#[must_use]

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

This method tests for !=.