Enum SValue 

pub enum SValue {
    Text(ARc<str>),
    Int(i64),
    Float(f64),
    Bool(bool),
}

This should model a Scratch value. Scratch treats texts that are non-numeric as the number 0 and also stores numbers inside of arithmetic expressions as texts, at least sometimes.

So it is useful to have a type that mimics this implicit conversion behaviour.

Variants

Text(ARc<str>)

Int(i64)

Float(f64)

Bool(bool)

Implementations

impl SValue

pub fn q_add_numbers<Q>(&self, other: &SValue, sink: &mut Q) -> SValue

where Q: QuirkSink<SValueToNumberQ> + QuirkSink<SNumberToFloatQ> + QuirkSink<IntegerAddWouldFailQ>,

See SNumber::q_add_numbers

impl SValue

pub fn q_div_numbers<Q>(&self, other: &SValue, sink: &mut Q) -> SValue

where Q: QuirkSink<SValueToNumberQ> + QuirkSink<SNumberToFloatQ>,

See SNumber::q_div_numbers

impl SValue

pub fn q_mul_numbers<Q>(&self, other: &SValue, sink: &mut Q) -> SValue

where Q: QuirkSink<SValueToNumberQ> + QuirkSink<SNumberToFloatQ> + QuirkSink<IntegerMulWouldFailQ>,

See SNumber::q_mul_numbers

impl SValue

pub fn q_sub_numbers<Q>(&self, other: &SValue, sink: &mut Q) -> SValue

where Q: QuirkSink<SValueToNumberQ> + QuirkSink<SNumberToFloatQ> + QuirkSink<IntegerSubWouldFailQ>,

See SNumber::q_sub_numbers

impl SValue

pub fn q_eq<Q>(&self, other: &SValue, sink: &mut Q) -> bool

where Q: QuirkSink<SValueToNumberQ> + QuirkSink<SNumberToFloatQ>,

Compares two Scratch values for equality

If any of the two values is a non-numeric text (it can’t be parsed as float or int) or a boolean, both values will be converted to strings. Those strings will then be compared for equality.

Otherwise, the numeric equality is used as in SNumber::q_eq.

impl SValue

pub fn q_and<Q>(&self, other: &SValue, sink: &mut Q) -> bool

where Q: QuirkSink<SValueToBoolQ>,

pub fn q_or<Q>(&self, other: &SValue, sink: &mut Q) -> bool

where Q: QuirkSink<SValueToBoolQ>,

pub fn q_not<Q>(&self, sink: &mut Q) -> bool

where Q: QuirkSink<SValueToBoolQ>,

impl SValue

pub fn q_lt<Q>(&self, other: &SValue, sink: &mut Q) -> bool

where Q: QuirkSink<SNumberToFloatQ> + QuirkSink<SValueToNumberQ>,

different unicode encodings of similar looking characters?

pub fn q_gt<Q>(&self, other: &SValue, sink: &mut Q) -> bool

where Q: QuirkSink<SNumberToFloatQ> + QuirkSink<SValueToNumberQ>,

like Self::q_lt with swapped arguments

impl SValue

pub const fn default_empty_cmp_hole() -> Self

For empty wholes in the shape of a comparison block, Scratch automatically treats its value as false

pub fn default_empty_expr_hole() -> Self

For empty wholes in the shape of an expression block, Scratch automatically treats its value as the empty string

impl SValue

pub fn is_float(&self) -> bool

pub fn is_int(&self) -> bool

pub fn is_number(&self) -> bool

pub fn is_bool_but_not_as_text(&self) -> bool

Comparison operations (=, < and >) treat the texts "true" and "false" for comparisons differently than the boolean literals true and false that could be generated by <>-shaped-blocks.

(Boolean literals true and false are equal to 1 and 0 while "true" and "false" force a textual comparison so then they are not equal to 1 and 0.)

This method is used in cases where it is not allowed to parse the string literals as booleans automatically.

pub fn as_bool(&self) -> bool

pub fn as_text(&self) -> Cow<'_, str>

impl SValue

pub fn q_as_bool<Q>(&self, sink: &mut Q) -> bool

where Q: QuirkSink<SValueToBoolQ>,

Converts the value to a boolean according to Scratch logic.

input	associated boolean
""	false
"false"	false
"true"	true
Int 0 / Float 0.0	false
Int 1 / Float 1.0	true
other string	true
other number	true
already boolean	unchanged

Occuring behaviour differences Scratch implements to avoid errors will be reported to the sink.

As expression blocks can’t be placed in comparison contexts these quriks should never occur because of a user’s program.

For completness they are reported.

impl SValue

pub fn q_as_float<Q>(&self, sink: &mut Q) -> f64

where Q: QuirkSink<SValueToFloatQ>,

impl SValue

pub fn q_as_number_permissive_bool_text<Q>(&self, sink: &mut Q) -> SNumber

where Q: QuirkSink<SValueToNumberQ>,

pub fn q_as_number<Q>(&self, sink: &mut Q) -> SNumber

where Q: QuirkSink<SValueToNumberQ>,

pub fn q_as_number_strict_bool_text<Q>(&self, sink: &mut Q) -> SNumber

where Q: QuirkSink<SValueToNumberQ>,

Converts the SValue to an SNumber

• The boolean true will become integer 1
• The boolean false will become integer 0
• Any text (also the strings "true", "false") will become integer 0
• Integers will stay as they are
• Floats will stay as they are

impl SValue

pub fn q_as_text<Q>(&self, _: &mut Q) -> Cow<'_, str>

where Q: QuirkSink<Infallible>,

impl SValue

pub fn q_abs<Q>(&self, sink: &mut Q) -> SNumber

where Q: QuirkSink<SValueToNumberQ>,

pub fn q_modulo<Q>(&self, other: &Self, sink: &mut Q) -> SNumber

where Q: QuirkSink<SNumberToFloatQ> + QuirkSink<SValueToNumberQ>,

impl SValue

pub fn floor<Q>(&self, sink: &mut Q) -> SNumber

where Q: QuirkSink<SValueToNumberQ>,

impl SValue

pub fn round<Q>(&self, sink: &mut Q) -> SNumber

where Q: QuirkSink<SValueToNumberQ>,

impl SValue

pub fn ceil<Q>(&self, sink: &mut Q) -> SNumber

where Q: QuirkSink<SValueToNumberQ>,

impl SValue

pub fn sqrt<Q>(&self, sink: &mut Q) -> SNumber

where Q: QuirkSink<SValueToNumberQ>,

impl SValue

pub fn q_cos<Q>(&self, sink: &mut Q) -> SNumber

where Q: QuirkSink<SValueToNumberQ> + QuirkSink<SNumberToFloatQ>,

impl SValue

pub fn q_sin<Q>(&self, sink: &mut Q) -> SNumber

where Q: QuirkSink<SValueToNumberQ> + QuirkSink<SNumberToFloatQ>,

impl SValue

pub fn q_tan<Q>(&self, sink: &mut Q) -> SNumber

where Q: QuirkSink<SValueToNumberQ> + QuirkSink<SNumberToFloatQ>,

impl SValue

pub fn q_acos<Q>(&self, sink: &mut Q) -> SNumber

where Q: QuirkSink<SValueToNumberQ> + QuirkSink<SNumberToFloatQ>,

impl SValue

pub fn q_asin<Q>(&self, sink: &mut Q) -> SNumber

where Q: QuirkSink<SValueToNumberQ> + QuirkSink<SNumberToFloatQ>,

impl SValue

pub fn q_atan<Q>(&self, sink: &mut Q) -> SNumber

where Q: QuirkSink<SValueToNumberQ> + QuirkSink<SNumberToFloatQ>,

impl SValue

pub fn q_exp<Q>(&self, sink: &mut Q) -> SNumber

where Q: QuirkSink<SValueToNumberQ> + QuirkSink<SNumberToFloatQ>,

impl SValue

pub fn q_power_of_10<Q>(&self, sink: &mut Q) -> SNumber

where Q: QuirkSink<SValueToNumberQ> + QuirkSink<SNumberToFloatQ>,

impl SValue

pub fn q_ln<Q>(&self, sink: &mut Q) -> SNumber

where Q: QuirkSink<SValueToNumberQ> + QuirkSink<SNumberToFloatQ>,

impl SValue

pub fn q_log10<Q>(&self, sink: &mut Q) -> SNumber

where Q: QuirkSink<SValueToNumberQ> + QuirkSink<SNumberToFloatQ>,

impl SValue

pub fn nth_letter_of_me<Q>(&self, one_based_n: &SValue, sink: &mut Q) -> SValue

where Q: QuirkSink<NthLetterOfTextQ> + QuirkSink<SValueToNumberQ> + QuirkSink<NumberTooBigForIntQ>,

impl SValue

pub fn concat_no_limit(&self, other: &SValue) -> ARc<str>

pub fn concat( &self, other: &SValue, max_string_length: usize, ) -> Option<ARc<str>>

Concatenates this value (as string) with another value (as string)

pub fn contains_text(&self, maybe_contained: &SValue) -> bool

Does this text contain another text?

pub fn textual_length(&self) -> usize

The number of characters in the textual representation of a value

Trait Implementations

impl Clone for SValue

fn clone(&self) -> SValue

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SValue

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

Formats the value using the given formatter.

impl Display for SValue

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

Formats the value using the given formatter.

impl<'a> From<&'a str> for SValue

fn from(value: &'a str) -> Self

Converts to this type from the input type.

impl From<Number> for SValue

Available on crate feature serde_json only.

fn from(value: Number) -> SValue

Converts to this type from the input type.

impl From<Rc<str>> for SValue

fn from(value: ARc<str>) -> Self

Converts to this type from the input type.

impl From<SNumber> for SValue

fn from(value: SNumber) -> Self

Converts to this type from the input type.

impl From<String> for SValue

fn from(value: String) -> Self

Converts to this type from the input type.

impl From<f64> for SValue

fn from(value: f64) -> Self

Converts to this type from the input type.

impl From<i64> for SValue

fn from(value: i64) -> Self

Converts to this type from the input type.

impl FromStr for SValue

type Err = Infallible

The associated error which can be returned from parsing.

fn from_str(s: &str) -> Result<Self, Self::Err>

Parses a string s to return a value of this type.

impl PartialEq for SValue

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

Equality operator ==.

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

Inequality operator !=.

impl PartialEq<&SValue> for SValue

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

Equality operator ==.

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

Inequality operator !=.

impl PartialEq<SValue> for &SValue

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

Equality operator ==.

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

Inequality operator !=.

impl PartialOrd for SValue

fn partial_cmp(&self, other: &Self) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl TryFrom<Value> for SValue

Available on crate feature serde_json only.

type Error = JsonValueNoSValue

The type returned in the event of a conversion error.

fn try_from(value: Value) -> Result<Self, Self::Error>

Performs the conversion.