ImpossibleContext
A Context that rejects all Factor instances without exception.
ImpossibleContext is a specific instance of the Context trait that always returns false for any factor, indicating that no factor qualifies within this context.
This context acts as the logical negation of all other possible contexts, prohibiting any factor from being considered qualifying.
Attributes
- Graph
-
- Supertypes
-
trait Singletontrait Producttrait Mirrortrait Serializabletrait Producttrait Equalstrait Contexttrait CoreContextclass Objecttrait Matchableclass AnyShow all
- Self type
-
ImpossibleContext.type
Members list
Type members
Inherited types
The names of the product elements.
The names of the product elements.
Attributes
- Inherited from:
- Singleton
Attributes
- Inherited from:
- Singleton
The mirrored *-type.
The mirrored *-type.
Attributes
- Inherited from:
- Singleton
Attributes
- Inherited from:
- Singleton
Inherited and Abstract types
The name of the type.
The name of the type.
Attributes
- Inherited from:
- Mirror
Value members
Concrete methods
Determines whether the given factor qualifies for this ImpossibleContext.
Determines whether the given factor qualifies for this ImpossibleContext.
Value parameters
- f
-
the factor to be evaluated for qualification (itd).
Attributes
- Returns
-
false.
Returns a string representation of the object.
Returns a string representation of the object.
The default representation is platform dependent.
Attributes
- Returns
-
a string representation of the object.
- Definition Classes
-
Any
Inherited methods
Produces a new context that requires both this context and the provided context to qualify a factor. The resulting context effectively applies a logical AND operation between this context and the given context.
Produces a new context that requires both this context and the provided context to qualify a factor. The resulting context effectively applies a logical AND operation between this context and the given context.
Value parameters
- that
-
the second context that will be combined with this context using a logical AND operation.
Attributes
- Returns
-
a new
Contextthat qualifies a factor only if it qualifies in both this context and the given context. - Definition Classes
- Inherited from:
- Context
Checks if the given Field qualifies based on its associated factor, if any.
Checks if the given Field qualifies based on its associated factor, if any.
CONSIDER moving Field into inner package.
Value parameters
- f
-
the field to evaluate.
Attributes
- Returns
-
true if the field's associated factor qualifies, or if no factor is associated; false otherwise.
- Inherited from:
- CoreContext
Creates a new instance of type T with elements taken from product p.
Creates a new instance of type T with elements taken from product p.
Attributes
- Inherited from:
- Singleton
Negates the qualification of a factor in the current context.
Negates the qualification of a factor in the current context.
Attributes
- Returns
-
A new context that inverts the qualification logic for factors.
- Definition Classes
- Inherited from:
- Context
Combines this Context with another Context using a logical OR operation. The resulting Context qualifies a factor if it qualifies in either the current Context or the provided Context.
Combines this Context with another Context using a logical OR operation. The resulting Context qualifies a factor if it qualifies in either the current Context or the provided Context.
Value parameters
- that
-
the other
Contextto combine with thisContext.
Attributes
- Returns
-
a new
Contextthat represents the logical OR of the two contexts. - Definition Classes
- Inherited from:
- Context
An iterator over the names of all the elements of this product.
An iterator over the names of all the elements of this product.
Attributes
- Inherited from:
- Product
An iterator over all the elements of this product.
An iterator over all the elements of this product.
Attributes
- Returns
-
in the default implementation, an
Iterator[Any] - Inherited from:
- Product
Determines if a given optional Scalar is qualified within this context.
Determines if a given optional Scalar is qualified within this context.
The method evaluates the provided optional Scalar's associated factor, and checks if the factor satisfies the qualification criteria defined in this context. If the factor qualifies, the Scalar itself is returned wrapped in an Option. Otherwise, the result is None.
Value parameters
- so
-
an optional
Scalarto evaluate; ifNoneis provided, the method directly returnsNone
Attributes
- Returns
-
an optional
Scalarthat qualifies, orNoneif either the input isNoneor the factor does not meet the qualification criteria - Inherited from:
- Context
Determines whether a given optional field qualifies based on its associated factor.
Determines whether a given optional field qualifies based on its associated factor.
This method evaluates an optional Field to determine if it can be considered a qualifying field within the given context. The Field must have an associated factor, and that factor must qualify based on the fieldQualifies logic.
Value parameters
- fo
-
an optional
Fieldto be evaluated.
Attributes
- Returns
-
an optional
Fieldif it qualifies; otherwise,None. - Inherited from:
- CoreContext
Determines whether a given HasValue qualifies in the current Context.
Determines whether a given HasValue qualifies in the current Context.
This method evaluates the provided HasValue object to check if it meets the criteria defined by the Context. The qualification logic is based on the specific type of HasValue. Natural numbers (Nat) automatically qualify, whereas scalar values (Scalar) qualify only if their associated factor meets the required conditions.
Value parameters
- v
-
the
HasValueobject to check for qualification
Attributes
- Returns
-
trueif theHasValuequalifies; otherwise, throws aAlgebraExceptionfor unsupported types - Inherited from:
- Context