package moc
Change is the main class statelessly representing differences/changes.
Differ is a differ for MMT data structures.
- Source
- package.scala
- Alphabetic
- By Inheritance
- moc
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Type Members
- abstract class Add extends Change
- abstract class AddContent extends Add with StrictChange
- case class AddDeclaration(d: Declaration) extends AddContent with ChangeDeclaration with Product with Serializable
- case class AddModule(m: Module) extends AddContent with ChangeModule with Product with Serializable
- sealed trait Change extends AnyRef
-
trait
ChangeDeclaration extends ContentChange
Declaration Level
-
trait
ChangeModule extends ContentChange
Module Level
-
case class
Component(c: Option[Obj]) extends Product with Serializable
Object Level
- sealed trait ContentChange extends Change
- abstract class Delete extends Change
- abstract class DeleteContent extends Delete with StrictChange
- case class DeleteDeclaration(d: Declaration) extends DeleteContent with ChangeDeclaration with Product with Serializable
- case class DeleteModule(m: Module) extends DeleteContent with ChangeModule with Product with Serializable
- class Diff extends AnyRef
- class DiffReader extends AnyRef
-
class
FoundationalImpactPropagator extends ImpactPropagator
The foundational impact propagator is an impact propagator 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
-
abstract
class
ImpactPropagator extends Propagator
An impact propagator is a special propagator that generates changes based on an abstract dependency relation (given by the method dependsOn) and on a propagation function (propFunc) to be applied to impacted content items.
-
class
NullPropagator extends Propagator
An example of a (trivial and useless) propagator
-
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
- case class PragmaticChange(name: String, diff: StrictDiff, termProp: (Term) ⇒ Term, modProp: (Module) ⇒ StrictDiff, description: String) extends ContentChange with Product with Serializable
- abstract class PragmaticChangeType extends AnyRef
- class PragmaticRefiner extends AnyRef
-
abstract
class
Propagator extends AnyRef
The generic propagator class that simply acts as a diff enricher
- sealed trait StrictChange extends ContentChange
- class StrictDiff extends Diff
-
class
StructuralImpactPropagator extends ImpactPropagator
The structural impact propagator is an impact propagator that ensures the totality of views
- case class UpdateComponent(path: ComponentParent, name: ComponentKey, old: Option[Obj], nw: Option[Obj]) extends UpdateContent with ContentChange with Product with Serializable
- abstract class UpdateContent extends StrictChange
- case class UpdateMetadata(path: ContentPath, key: GlobalName, old: List[Obj], nw: List[Obj]) extends UpdateContent with ContentChange with Product with Serializable
Value Members
- object Add
- object Delete
-
object
Differ
the differ object contains methods for detecting the changes between two MMT content items (modules/declarations/objects)
- object Main
- object Patcher
- object pragmaticAlphaRename extends PragmaticChangeType
- object pragmaticRename extends PragmaticChangeType