Represents a trait for specifying in which evaluation-contexts a particular expression may be evaluated.
The Context trait provides an abstraction for determining whether a particular factor or field qualifies within the scope of a specific context. It supports logical operations (or, and, not) to compose complex contexts from simpler ones.
Attributes
- Companion
- object
- Graph
-
- Supertypes
- Known subtypes
- Self type
Members list
Value members
Concrete 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
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
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
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
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 methods
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
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
Inherited and Abstract methods
Determines whether the given factor is acceptable in this Context.
Determines whether the given factor is acceptable in this Context.
Value parameters
- f
-
the factor.
Attributes
- Returns
-
true if the factor qualifies; false otherwise.
- Inherited from:
- CoreContext