Diff (p.plebeia.2.0.0.doc.plebeia.Plebeia.Diff)

Sourcetype t =

| Add of Node_type.node * Segment.Segs.t
| Del of Segment.Segs.t
| CleanBud of Segment.Segs.t
| ModLeaf of Node_type.node * Value.t * Segment.Segs.t

Segment fbased diff

Sourceval pp : Format.formatter -> t -> unit

Pretty printing

Sourceval reset_for_another_context : Context.t -> t -> t

Load all the node in the diff and foget Index information so tht the diff can be directly applicable to tree of the another context.

Sourceval reset_for_another_context' : src:Context.t -> dst:Context.t -> t -> t

Sourceval diff : Context.t -> Node_type.node -> Node_type.node -> t list

diff src dst gets the segment based diff between 2 nodes

Sourceval apply : Cursor.t -> t -> (Cursor.t, Error.t) result

Add (n,segs) just insert n to the cursor. If Cursor.t uses a different context from the one of diffs, indices in the n must be reset to Not_Indexed.

Source

val apply_and_check : 
  Context.t ->
  Node_type.node ->
  Node_type.node ->
  t list ->
  unit

Check the diff correctness