class PlanVerifier extends AnyRef
- Annotations
- @nowarn()
- See also
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- PlanVerifier
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
Instance Constructors
- new PlanVerifier(preps: GraphPreparations)
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def allImportingBindings(matrix: ImmutableMultiMap[DIKey, (InstantiationOp, Set[AxisPoint])], currentActivation: Set[AxisPoint])(importedKey: DIKey, d: DIKey): Set[OperationOrigin]
- Attributes
- protected[this]
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def checkConflicts(allAxis: Map[String, Set[String]], withoutCurrentActivations: Set[(InstantiationOp, Set[AxisPoint], Set[AxisPoint])], execOpIndex: MutableMultiMap[DIKey, InstantiationOp], excludedActivations: Set[NESet[AxisPoint]], effectType: SafeType): Either[NEList[PlanIssue], Seq[(Set[AxisPoint], Set[DIKey])]]
- Attributes
- protected[this]
- final def checkForConflictingAxisChoices(ops: Set[(InstantiationOp, Set[AxisPoint], Set[AxisPoint])]): List[ConflictingAxisChoices]
- Attributes
- protected[this]
- final def checkForDuplicateActivations(ops: Set[(InstantiationOp, Set[AxisPoint], Set[AxisPoint])]): List[DuplicateActivations]
this method fails in case any bindings in the set have indistinguishable activations
this method fails in case any bindings in the set have indistinguishable activations
- Attributes
- protected[this]
- def checkForIncompatibleEffectType(effectType: SafeType, ops: Set[(InstantiationOp, Set[AxisPoint], Set[AxisPoint])]): List[IncompatibleEffectType]
- Attributes
- protected[this]
- final def checkForShadowedActivations(allAxis: Map[String, Set[String]], ops: Set[(InstantiationOp, Set[AxisPoint], Set[AxisPoint])]): List[ShadowedActivation]
- Attributes
- protected[this]
- final def checkForUnsaturatedAxis(allAxis: Map[String, Set[String]], ops: Set[(InstantiationOp, Set[AxisPoint], Set[AxisPoint])], excludedActivations: Set[NESet[AxisPoint]]): List[UnsaturatedAxis]
This method fails in case there are missing/uncovered points on any of the reachable axis
This method fails in case there are missing/uncovered points on any of the reachable axis
- Attributes
- protected[this]
- final def checkForUnsolvableConflicts(ops: Set[(InstantiationOp, Set[AxisPoint], Set[AxisPoint])]): List[UnsolvableConflict]
this method fails in case any bindings in the set have indistinguishable activations
this method fails in case any bindings in the set have indistinguishable activations
- Attributes
- protected[this]
- Annotations
- @tailrec()
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- final def depsOf(execOpIndex: MutableMultiMap[DIKey, InstantiationOp])(op: InstantiationOp): Set[DIKey]
- Attributes
- protected[this]
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def isIgnoredActivation(excludedActivations: Set[NESet[AxisPoint]])(activation: Set[AxisPoint]): Boolean
- Attributes
- protected[this]
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- def trace(allAxis: Map[String, Set[String]], allVisited: HashSet[(DIKey, Set[AxisPoint])], matrix: ImmutableMultiMap[DIKey, (InstantiationOp, Set[AxisPoint])], execOpIndex: MutableMultiMap[DIKey, InstantiationOp], justMutators: ImmutableMultiMap[DIKey, (InstantiationOp, Set[AxisPoint])], providedKeys: (DIKey) => Boolean, excludedActivations: Set[NESet[AxisPoint]], rootKeys: Set[DIKey], effectType: SafeType, bindings: ModuleBase): Set[PlanIssue]
- Attributes
- protected[this]
- def verify[F[_]](bindings: ModuleBase, roots: Roots, providedKeys: (DIKey) => Boolean, excludedActivations: Set[NESet[AxisPoint]])(implicit arg0: TagK[F]): PlanVerifierResult
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()