Packages

c

info.kwarc.mmt.owl

AddImpacts

class AddImpacts extends ImpactPropagator

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. AddImpacts
  2. ImpactPropagator
  3. Propagator
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new AddImpacts(memory: ROMemory)

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def apply(diff: api.moc.Diff): api.moc.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
  5. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  6. var boxedPaths: Set[CPath]

    paths made invalid by the propagation

    paths made invalid by the propagation

    Definition Classes
    Propagator
  7. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  8. def dependsOn(path: Path): Set[Path]

    identifies impacts of a changed constant

    identifies impacts of a changed constant

    path

    a path of a changed constant

    returns

    paths of constants that are impacted by the changed constant

    Definition Classes
    AddImpactsImpactPropagator
  9. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  10. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  11. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  12. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  13. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  14. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  15. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  16. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  17. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  18. def propFunc(path: Path, changes: Set[ContentChange]): List[StrictChange]

    adds an impact of each change to an impacted constant; adds metadata to an impacted constant

    adds an impact of each change to an impacted constant; adds metadata to an impacted constant

    path

    path of an impacted constant

    changes

    changes that have impacts on the constant

    returns

    None

    Definition Classes
    AddImpactsImpactPropagator
  19. def propagate(diff: api.moc.Diff): api.moc.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
    ImpactPropagatorPropagator
  20. def setLiteral(impCons: Constant, changeType: String, changedConstant: Constant): String

    sets a literal of type string for a value of metadatum

    sets a literal of type string for a value of metadatum

    impCons

    impacted constant, a change type, a changed constant that have an impact on the impacted constant

    returns

    literal of type string explaining the change and its impact

  21. def setLiteralForImpactedConstantApplication(chgType: String, chgdConsName: LocalName, entityType: String): String

    sets a literal of type string for a value of metadatum for the impacted constant that is type of application

    sets a literal of type string for a value of metadatum for the impacted constant that is type of application

    chgType

    change type, the changed constant's name, the type of the changed constant

    returns

    a literal of type string explaining the change and its impact

  22. def setLiteralForImpactedConstantSymbol(chgType: String, chgdConsName: LocalName): String

    sets a literal of type string for a value of metadatum for the impacted constant that is type of symbol

    sets a literal of type string for a value of metadatum for the impacted constant that is type of symbol

    chgType

    change type, the changed constant's name

    returns

    a literal of type string explaining the change and its impact

  23. def setMetaDatum(impCons: Constant, change: Change): MetaDatum

    sets metadatum for an impacted constant

    sets metadatum for an impacted constant

    impCons

    impacted constant, a change that have an impact on the impacted constant

    returns

    metadatum about the change and its impact

  24. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  25. def toString(): String
    Definition Classes
    AnyRef → Any
  26. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  27. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  28. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()

Inherited from ImpactPropagator

Inherited from Propagator

Inherited from AnyRef

Inherited from Any

Ungrouped