pub struct TrueName {
pub is_nullable: bool,
pub is_mutable: bool,
pub variant: StringName,
}
Fields§
§is_nullable: bool
§is_mutable: bool
§variant: StringName
Implementations§
Trait Implementations§
source§impl ContainsTemp for TrueName
impl ContainsTemp for TrueName
fn contains_temp(&self) -> bool
source§impl From<&Expression> for TrueName
impl From<&Expression> for TrueName
source§fn from(value: &Expression) -> TrueName
fn from(value: &Expression) -> TrueName
Converts to this type from the input type.
source§impl From<&StringName> for TrueName
impl From<&StringName> for TrueName
source§fn from(name: &StringName) -> Self
fn from(name: &StringName) -> Self
Converts to this type from the input type.
source§impl From<&TrueName> for StringName
impl From<&TrueName> for StringName
source§impl HasParent<&TrueName> for Class
impl HasParent<&TrueName> for Class
source§fn has_parent(
&self,
name: &TrueName,
ctx: &Context,
pos: Position
) -> TypeResult<bool>
fn has_parent(
&self,
name: &TrueName,
ctx: &Context,
pos: Position
) -> TypeResult<bool>
Has name as parent. Read more
source§impl IsSuperSet<TrueName> for TrueName
impl IsSuperSet<TrueName> for TrueName
source§fn is_superset_of(
&self,
other: &TrueName,
ctx: &Context,
pos: Position
) -> TypeResult<bool>
fn is_superset_of(
&self,
other: &TrueName,
ctx: &Context,
pos: Position
) -> TypeResult<bool>
Check if TrueName is supertype of other TrueName.
If self is nullable, then super of other iff:
- Other is null.
- Or, variant is supertype of other’s variant. (Other may or may not be nullable.) If self is not nullable, then super of other iff:
- Other is not nullable.
- And, variant is supertype of other’s variant.
source§impl MatchTempName for TrueName
impl MatchTempName for TrueName
source§impl Ord for TrueName
impl Ord for TrueName
source§impl PartialEq<TrueName> for TrueName
impl PartialEq<TrueName> for TrueName
source§impl PartialOrd<TrueName> for TrueName
impl PartialOrd<TrueName> for TrueName
1.0.0 · source§fn le(&self, other: &Rhs) -> bool
fn le(&self, other: &Rhs) -> bool
This method tests less than or equal to (for
self
and other
) and is used by the <=
operator. Read more