diffast-langs-java 0.1.1 (latest)

val mutable removed_eds : Diffast_core.Spec.node_t Diffast_core.Editop.t list

val parent_tri_cache : ('f, 'g) Hashtbl.t

val ed_use_tbl : (Diffast_core.Editop.tag
                  * Diffast_core.Editop.UID.t
                  * Diffast_core.Editop.UID.t,
                   bool)
                   Hashtbl.t

val children_tri_cache : ('h, 'i) Hashtbl.t

val mutable added_eds : Diffast_core.Spec.node_t Diffast_core.Editop.t list

method _make_delete : bool ->
  (Diffast_core__Change_base.node_t -> bool) ->
  unit ->
  Diffast_core__Change_base.change list

method _make_insert : bool ->
  (Diffast_core__Change_base.node_t -> bool) ->
  unit ->
  Diffast_core__Change_base.change list

method _make_move : (Diffast_core__Change_base.node_t ->
                      Diffast_core__Change_base.node_t ->
                      bool) ->
  (Diffast_core__Change_base.node_t -> bool) ->
  unit ->
  Diffast_core__Change_base.change list

method _mkt_nesting_depth : (Diffast_core__Change_base.node_t ->
                              Diffast_core.Spec.node_t) ->
  (Diffast_core.Spec.node_t -> int) ->
  ?category:Diffast_core.Triple.node ->
  Diffast_core__Change_base.change ->
  (Diffast_core.Triple.node
   * Diffast_core.Triple.node
   * Diffast_core.Triple.node)
    list

method aggregate_changes : (Diffast_core.Node_mapping.Nodetbl.key -> bool) ->
  unit ->
  Diffast_core__Change_base.change list

method change_to_change_info : Diffast_core__Change_base.change ->
  Diffast_core__Change_base.change_info

method extract : (string * int * string list) list
                 * Diffast_core.Spec.node_t Diffast_core.Editop.t list
                 * (string * int * Diffast_core__Change_base.change_info list)
                     list
                 * Diffast_core.Triple.t Diffast_misc.Xset.t

method infer_loc : Diffast_core.Node_mapping.Nodetbl.key ->
  string * Diffast_core.Spec.SB.Loc.t

method make_accessibility_change : rel_cond:
                                     (Diffast_core.Spec.node_t ->
                                       Diffast_core.Spec.node_t ->
                                       bool) ->
  del_cond:(Diffast_core.Spec.node_t -> bool) ->
  ins_cond:(Diffast_core.Spec.node_t -> bool) ->
  unit ->
  change list

method make_cardinality_change : (Diffast_core.Node_mapping.Nodetbl.key ->
                                   bool) ->
  unit ->
  Diffast_core__Change_base.change list

method make_changed_to : (Diffast_core__Change_base.node_t -> bool) ->
  unit ->
  Diffast_core__Change_base.change list

method make_changed_to2 : (Diffast_core__Change_base.node_t -> bool) ->
  (Diffast_core__Change_base.node_t -> bool) ->
  unit ->
  Diffast_core__Change_base.change list

method make_changes_list : unit ->
  (string
   * Diffast_core__Change_base.significance
   * Diffast_core__Change_base.change_maker
   * Diffast_core__Change_base.change_to_triples)
    list

method make_delete : (Diffast_core__Change_base.node_t -> bool) ->
  unit ->
  Diffast_core__Change_base.change list

method make_delete_st : (Diffast_core__Change_base.node_t -> bool) ->
  unit ->
  Diffast_core__Change_base.change list

method make_implementation_change : unit -> change list

method make_insert : (Diffast_core__Change_base.node_t -> bool) ->
  unit ->
  Diffast_core__Change_base.change list

method make_insert_st : (Diffast_core__Change_base.node_t -> bool) ->
  unit ->
  Diffast_core__Change_base.change list

method make_move : (Diffast_core__Change_base.node_t -> bool) ->
  unit ->
  Diffast_core__Change_base.change list

method make_order_change : (Diffast_core__Change_base.node_t -> bool) ->
  unit ->
  Diffast_core__Change_base.change list

method make_renaming : (Diffast_core__Change_base.node_t -> bool) ->
  unit ->
  Diffast_core__Change_base.change list

method make_renaming2 : (Diffast_core__Change_base.node_t -> bool) ->
  (Diffast_core__Change_base.node_t -> bool) ->
  unit ->
  Diffast_core__Change_base.change list

method mkt_abstracted_to : ?category:Diffast_core.Triple.node ->
  Diffast_core__Change_base.change ->
  (Diffast_core.Triple.node
   * Diffast_core.Triple.node
   * Diffast_core.Triple.node)
    list

method mkt_accessibility_decreased : ?category:Diffast_core.Triple.node ->
  change ->
  Diffast_core.Triple.t list

method mkt_accessibility_increased : ?category:Diffast_core.Triple.node ->
  change ->
  Diffast_core.Triple.t list

method mkt_cardinality : ?category:Diffast_core.Triple.node ->
  Diffast_core__Change_base.change ->
  (Diffast_core.Triple.node
   * Diffast_core.Triple.node
   * Diffast_core.Triple.node)
    list

method mkt_changed_to : ?category:Diffast_core.Triple.node ->
  Diffast_core__Change_base.change ->
  (Diffast_core.Triple.node
   * Diffast_core.Triple.node
   * Diffast_core.Triple.node)
    list

method mkt_deleted : ?category:Diffast_core.Triple.node ->
  Diffast_core__Change_base.change ->
  (Diffast_core.Triple.node
   * Diffast_core.Triple.node
   * Diffast_core.Triple.node)
    list

method mkt_folded_into : ?category:Diffast_core.Triple.node ->
  Diffast_core__Change_base.change ->
  (Diffast_core.Triple.node
   * Diffast_core.Triple.node
   * Diffast_core.Triple.node)
    list

method mkt_inserted : ?category:Diffast_core.Triple.node ->
  Diffast_core__Change_base.change ->
  (Diffast_core.Triple.node
   * Diffast_core.Triple.node
   * Diffast_core.Triple.node)
    list

method mkt_modified : ?category:Diffast_core.Triple.node ->
  Diffast_core__Change_base.change ->
  (Diffast_core.Triple.node
   * Diffast_core.Triple.node
   * Diffast_core.Triple.node)
    list

method mkt_moved_to : ?category:Diffast_core.Triple.node ->
  Diffast_core__Change_base.change ->
  (Diffast_core.Triple.node
   * Diffast_core.Triple.node
   * Diffast_core.Triple.node)
    list

method mkt_nesting_depth : ?category:Diffast_core.Triple.node ->
  Diffast_core__Change_base.change_to_triples

method mkt_order_changed : ?category:Diffast_core.Triple.node ->
  Diffast_core__Change_base.change ->
  (Diffast_core.Triple.node
   * Diffast_core.Triple.node
   * Diffast_core.Triple.node)
    list

method mkt_renamed : ?category:Diffast_core.Triple.node ->
  Diffast_core__Change_base.change ->
  (Diffast_core.Triple.node
   * Diffast_core.Triple.node
   * Diffast_core.Triple.node)
    list

method recover_edits : unit

package diffast-langs-java