class StructuralImpactPropagator extends ImpactPropagator
The structural impact propagator is an impact propagator that ensures the totality of views
- Source
- Propagator.scala
- Alphabetic
- By Inheritance
- StructuralImpactPropagator
- 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 depend on a certain path (i.e.
Implements the dependency relation, returns all paths that depend on a certain path (i.e. the impacts) For the structural impact propagator it is based on the totality of views constraint Specifically, T?c/def -> v?c iff v : T -> S
- path
the path
- returns
the set of impacted paths
- Definition Classes
- StructuralImpactPropagator → 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 structural impact propagator this deletes assignments that are no longer necessary and adds stubs for newly required assignments
The propagation function for individual paths It implements how impacted items are affected by the propagation For the structural impact propagator this deletes assignments that are no longer necessary and adds stubs for newly required assignments
- path
the impacted path
- changes
the set of changes that impact path
- returns
optionally the generated change
- Definition Classes
- StructuralImpactPropagator → 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()