Struct typeql::pattern::ThingStatement

pub struct ThingStatement {
    pub variable: ConceptVariable,
    pub iid: Option<IIDConstraint>,
    pub isa: Option<IsaConstraint>,
    pub has: Vec<HasConstraint>,
    pub predicate: Option<Predicate>,
    pub relation: Option<RelationConstraint>,
}

Fields

variable: ConceptVariable

iid: Option<IIDConstraint>

isa: Option<IsaConstraint>

has: Vec<HasConstraint>

predicate: Option<Predicate>

relation: Option<RelationConstraint>

Implementations

impl ThingStatement

pub fn new(variable: ConceptVariable) -> ThingStatement

pub fn owner(&self) -> VariableRef<'_>

pub fn variables(&self) -> Box<dyn Iterator<Item = VariableRef<'_>> + '_>

pub fn constrain_has(self, has: HasConstraint) -> ThingStatement

pub fn constrain_iid(self, iid: IIDConstraint) -> ThingStatement

pub fn constrain_isa(self, isa: IsaConstraint) -> ThingStatement

pub fn constrain_predicate(self, predicate: Predicate) -> ThingStatement

pub fn constrain_relation(self, relation: RelationConstraint) -> ThingStatement

Trait Implementations

impl Clone for ThingStatement

fn clone(&self) -> ThingStatement

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ThingStatement

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

Formats the value using the given formatter.

impl Display for ThingStatement

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

Formats the value using the given formatter.

impl From<ConceptVariable> for ThingStatement

fn from(variable: ConceptVariable) -> Self

Converts to this type from the input type.

impl From<ThingStatement> for Pattern

fn from(statement: ThingStatement) -> Self

Converts to this type from the input type.

impl From<ThingStatement> for Statement

fn from(x: ThingStatement) -> Self

Converts to this type from the input type.

impl PartialEq for ThingStatement

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

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

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Validatable for ThingStatement

fn validate(&self) -> Result

fn validated(self) -> Result<Self>

impl Writable for ThingStatement

fn statements(self) -> Vec<ThingStatement>

impl Eq for ThingStatement

impl StructuralPartialEq for ThingStatement