package diffast-langs-java

You can search for identifiers within the package.

in-package search v0.2.0

diffast-langs-java
- Library diffast-langs-java
  - Mjava
    
    Java_change
    
    Xlist
    
    UID
    
    Otree
    
    Edit
    
    Misc
    
    Triple
    
    Info
    
    Java_label
    
    F
    
    I
    
    E
    
    Xset
    
    Otree
    
    Loc
    
    EO
    
    change_set
    
    F
    
    CB
    
    c
    
    c
    
    Java_lib
    
    Java_lib_base
    
    Xprint
    
    Sourcecode
    
    Lang_base
    
    Lib
    
    Common
    
    Label
    
    Fact
    
    Tree
    
    tree_builder
    
    Comparison
    
    Edit
    
    Lang
    
    Analyzing
    
    Postprocessing
    
    mid_data
    
    tree_comparator
    
    Change
    
    I
    
    E
    
    Xset
    
    Otree
    
    Loc
    
    EO
    
    change_set
    
    F
    
    c
    
    CB
    
    c
    
    c
    
    PP
    
    mid_data
    
    DF
    
    tree_patcher
- Library diffast-langs-java.base
  - Java_base
    
    Java_fact
    
    Xlist
    
    Xset
    
    Loc
    
    Astml
    
    Fact_base
    
    Sourcecode
    
    Triple
    
    L
    
    Tree
    
    Common
    
    FB
    
    extractor_base
    
    extractor
    
    Java_label
    
    Xset
    
    Xlist
    
    Xhash
    
    XML
    
    Loc
    
    Astml
    
    Spec
    
    Lang_base
    
    Charpool
    
    Ast
    
    Printer
    
    T
    
    Type
    
    Literal
    
    AssignmentOperator
    
    UnaryOperator
    
    BinaryOperator
    
    Modifier
    
    Primary
    
    Expression
    
    Annotation
    
    Statement
    
    Java_lib_base
    
    Xprint
    
    Sourcecode
    
    Lang_base
    
    Lib
    
    Common
    
    Label
    
    Fact
    
    Tree
    
    ordinal_tbl
    
    node_data
    
    node_maker
    
    c
    
    tree_builder
    
    Java_tree
    
    Xlist
    
    Xset
    
    Xhash
    
    Xchannel
    
    Xprint
    
    Binding
    
    Loc
    
    Spec_base
    
    Spec
    
    Fact_base
    
    Lang_base
    
    Sourcecode
    
    P
    
    L
    
    BID
    
    FB
    
    extractor_base
    
    UID
    
    Triple
    
    Ast
    
    Astloc
    
    Tree
    
    ordinal_tbl
    
    node_data
    
    node_maker
    
    c
    
    c
    
    visitor
    
    translator
    
    Java_unparsing
    
    Xlist
    
    L
    
    Fmtr
    
    UPB
    
    ppbox
- Library diffast-langs-java.p
  - Mjava_p
    
    Java_lib_p
    
    Lang_base
    
    Java_lib_base
    
    Java_fact
- Sources
  - diffast-langs-java
    
    java_change.ml
    
    java_lib.ml
    
    mjava.ml
  - diffast-langs-java.base
    
    java_base.ml
    
    java_fact.ml
    
    java_label.ml
    
    java_lib_base.ml
    
    java_tree.ml
    
    java_unparsing.ml
  - diffast-langs-java.p
    
    java_lib_p.ml
    
    mjava_p.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Change.CB`

val getlab : < data : < _label : Obj.t.. >.. > -> Label.t

val is_phantom : < data : < _label : Obj.t.. >.. > -> bool

class c : < fact_algo : Diffast_core.Triple.Xhash.algo
  ; fact_enc : Diffast_core.Entity.encoding
  ; fact_for_changes_basic_flag : bool
  ; fact_for_changes_flag : bool
  ; fact_proj : string.. > -> Diffast_core.Spec.tree_t -> Diffast_core.Spec.tree_t -> 
  Diffast_core.Spec.node_t
    Diffast_core.Node_mapping.c -> < add_edit : 
                                     Diffast_core.Spec.node_t
                                       Diffast_core.Editop.t ->
                                     unit
  ; finalize : 
    Diffast_core.Spec.node_t Diffast_core.Node_mapping.c ->
    ('a -> bool) ->
    unit
  ; find_mid12 : 
    Diffast_core.Spec.node_t ->
    Diffast_core.Spec.node_t ->
    Diffast_core.Editop.move_id
  ; iter : (Diffast_core.Spec.node_t Diffast_core.Editop.t -> unit) -> 'b
  ; iter_deletes_and_inserts : 
    (Diffast_core.Spec.node_t Diffast_core.Editop.t -> unit) ->
    'c
  ; iter_moves : (Diffast_core.Spec.node_t Diffast_core.Editop.t -> unit) -> 'd
  ; iter_relabels : 
    (Diffast_core.Spec.node_t Diffast_core.Editop.t -> unit) ->
    'e
  ; mem_mov12 : Diffast_core.Spec.node_t -> Diffast_core.Spec.node_t -> bool
  ; mem_mov2 : Diffast_core.Node_mapping.Nodetbl.key -> bool
  ; remove_edit : Diffast_core.Spec.node_t Diffast_core.Editop.t -> unit.. > -> (
  Diffast_core.Spec.tree_t ->
  Diffast_core.Node_mapping.Nodetbl.key ->
  string) -> (bool ->
  Diffast_core.Spec.tree_t ->
  Diffast_core.Spec.node_t ->
  string) -> (Diffast_core.Spec.tree_t ->
  Diffast_core.Spec.tree_t ->
  Diffast_core.Spec.node_t ->
  Diffast_core.Spec.node_t ->
  string) -> object ... end

package diffast-langs-java

Module Change.CB

Module `Change.CB`