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 `Mjava_p.Java_lib_p`Source

module Lang_base = Diffast_core.Lang_base

Sourcemodule Java_lib_base = Java_base.Java_lib_base

Sourcemodule Java_fact = Java_base.Java_fact

package diffast-langs-java

Module Mjava_p.Java_lib_pSource

Module `Mjava_p.Java_lib_p`Source