AnyAttr

scair.scairdl.constraints.AnyAttr
object AnyAttr extends IRDLConstraint

An IRDL constraint that matches any attribute.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
AnyAttr.type

Members list

Value members

Concrete methods

override def toString(): String

Returns a string representation of the constraint.

Returns a string representation of the constraint.

Attributes

Definition Classes
Any
override def verify(that_attr: Attribute, constraint_ctx: ConstraintContext): Unit

Verifies if the given attribute satisfies the constraint within the provided context. This implementation always succeeds as it matches any attribute.

Verifies if the given attribute satisfies the constraint within the provided context. This implementation always succeeds as it matches any attribute.

Value parameters

constraint_ctx

the context in which to verify the constraint

that_attr

the attribute to verify

Attributes

Definition Classes

Inherited methods

Combines this constraint with another constraint using logical AND.

Combines this constraint with another constraint using logical AND.

Value parameters

that

the other constraint to combine with

Attributes

Returns

a new AllOf constraint representing the logical AND of this and the other constraint

Inherited from:
IRDLConstraint
def verify(those_attrs: Seq[Attribute], constraint_ctx: ConstraintContext): Unit

Verifies if the given sequence of attributes satisfies the constraint within the provided context.

Verifies if the given sequence of attributes satisfies the constraint within the provided context.

Value parameters

constraint_ctx

the context in which to verify the constraint

those_attrs

the sequence of attributes to verify

Attributes

Inherited from:
IRDLConstraint

Combines this constraint with another constraint using logical OR.

Combines this constraint with another constraint using logical OR.

Value parameters

that

the other constraint to combine with

Attributes

Returns

a new AnyOf constraint representing the logical OR of this and the other constraint

Inherited from:
IRDLConstraint