CoreContext

com.phasmidsoftware.number.core.inner.CoreContext
See theCoreContext companion object
trait CoreContext

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
class Object
trait Matchable
class Any
Known subtypes

Members list

Value members

Abstract methods

def factorQualifies(f: Factor): Boolean

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.

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 Context that qualifies a factor only if it qualifies in both this context and the given context.

def fieldQualifies(f: Field): Boolean

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.

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.

def or(that: CoreContext): CoreContext

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 Context to combine with this Context.

Attributes

Returns

a new Context that represents the logical OR of the two contexts.

def qualifyingField(fo: Option[Field]): Option[Field]

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 Field to be evaluated.

Attributes

Returns

an optional Field if it qualifies; otherwise, None.