Struct Assertion 

pub struct Assertion {
    pub kind: AssertionKind,
    pub param: Arc<str>,
    pub ty: Type,
    pub negated: bool,
    pub param_key: Vec<ArrayKey>,
}

Fields

kind: AssertionKind

param: Arc<str>

ty: Type

negated: bool

True for the !Type negated form (@psalm-assert !null $x): the parameter is asserted to NOT be ty, rather than to BE it.

param_key: Vec<ArrayKey>

Set for an assertion targeting a specific (possibly nested) array key path of param rather than the whole parameter (@psalm-assert-if-true string $arr['a']['b'] — param is "arr", param_key is [String("a"), String("b")]). Empty means “targets the whole parameter”.

Trait Implementations

impl Clone for Assertion

fn clone(&self) -> Assertion

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Assertion

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Assertion

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for Assertion

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for Assertion

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Assertion