class OccursInImpactPropagator extends ImpactPropagator
The occurs-in impact propagator is an impact propagator based on the occurs-in (refers-to) relation that marks impacted items by surrounding them with error terms so that after the error terms are replaced with valid ones the validity of the entire theory graph is ensured
- Source
- Propagator.scala
- Alphabetic
- By Inheritance
- OccursInImpactPropagator
- ImpactPropagator
- Propagator
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
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
-
def
apply(diff: Diff): Diff
default application of propagators is to propagate (i.e.
default application of propagators is to propagate (i.e. apply directly calls propagate)
- diff
the diff
- returns
the generated propagation diff
- Definition Classes
- Propagator
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
var
boxedPaths: Set[CPath]
paths made invalid by the propagation
paths made invalid by the propagation
- Definition Classes
- Propagator
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
def
dependsOn(path: Path): Set[Path]
Implements the dependency relation, returns all paths that refer to a certain path (i.e.
Implements the dependency relation, returns all paths that refer to a certain path (i.e. the impacts) For the foundational impact propagator uses the default refersTo relation given by the ontology (and gathered by the checker)
- path
the path
- returns
the set of impacted paths
- Attributes
- protected
- Definition Classes
- OccursInImpactPropagator → ImpactPropagator
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
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()
-
def
propFunc(path: Path, changes: Set[ContentChange]): List[StrictChange]
The propagation function for individual paths It implements how impacted items are affected by the propagation For the foundational impact propagator this applies box terms (OpenMath error terms) to surround (potentially) invalid terms for strict changes and applies the default propagation function for pragmatic changes (if applicable).
The propagation function for individual paths It implements how impacted items are affected by the propagation For the foundational impact propagator this applies box terms (OpenMath error terms) to surround (potentially) invalid terms for strict changes and applies the default propagation function for pragmatic changes (if applicable).
- path
the impacted path
- changes
the set of changes that impact path
- returns
optionally the generated change
- Attributes
- protected
- Definition Classes
- OccursInImpactPropagator → ImpactPropagator
-
def
propagate(diff: Diff): Diff
The main diff propagation function For Impact propagators, implemented using the dependsOn and propFunc functions
The main diff propagation function For Impact propagators, implemented using the dependsOn and propFunc functions
- diff
the diff
- returns
the generated propagation diff
- Definition Classes
- ImpactPropagator → Propagator
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()