Java_unparsing (u.7d9ee48f3891d223868c4657a3646583.diffast-langs-java.0.3.6.doc.diffast-langs-java.base.Java_base.Java

module Xlist = Diffast_misc.Xlist

module Xchannel = Diffast_misc.Xchannel

Sourcemodule L = Java_label

Sourcemodule Fmtr : sig ... end

module UPB : sig ... end

Sourceval pb : UPB.ppbox

Sourceval error_symbol : string

val getlab : 
  < data : < _label : Obj.t ; orig_lab_opt : Obj.t option.. >.. > ->
  L.t

Source

val has_different_orig_lab : 
  < data : < _label : Obj.t ; orig_lab_opt : Obj.t option.. >.. > ->
  bool

Sourceval get_prec_of_sym : string -> int

Sourceval prec_of_assignment_operators : int

Sourceval get_prec_of_primary : L.Primary.t -> int

Sourceval get_prec_of_expression : L.Expression.t -> int

Sourceval get_prec : L.t -> int

Source

val find_nodes : 
  (L.t -> bool) ->
  (< data : < _label : Obj.t ; orig_lab_opt : Obj.t option.. >.. > as 'a) array ->
  'a array

Sourceval unescape_dollar : string -> string

Sourceval dollar_pat : Str.regexp

Sourceval norm_fqn : string -> string

Sourceval sep_pat : Str.regexp

Sourceval get_last_id : string -> string

Sourceval undeco : string -> string

Sourceval pr_id : string -> unit

Sourceval pr_name : string -> unit

Source

val pr_node : 
  ?fail_on_error:bool ->
  ?va:bool ->
  ?blk_style:UPB.block_style ->
  ?prec:int ->
  (< data : < _label : Obj.t ; orig_lab_opt : Obj.t option.. >
    ; initial_children : 'a array
    ; initial_parent : 
      < data : < _label : Obj.t ; orig_lab_opt : Obj.t option.. >.. >
    ; parent : < data : < _label : Obj.t ; orig_lab_opt : Obj.t option.. >.. >.. > as 'a) ->
  unit

Source

val pr_selected : 
  ?fail_on_error:bool ->
  ?pra:
    (?head:(unit -> unit) ->
      ?tail:(unit -> unit) ->
      (unit -> unit) ->
      ((< data : < _label : Obj.t ; orig_lab_opt : Obj.t option.. >
         ; initial_children : 'a array
         ; initial_parent : 
           < data : < _label : Obj.t ; orig_lab_opt : Obj.t option.. >.. >
         ; parent : 
           < data : < _label : Obj.t ; orig_lab_opt : Obj.t option.. >.. >.. > as 'a) ->
        unit) ->
      'a array ->
      unit) ->
  ?sep:(unit -> unit) ->
  ?head:(unit -> unit) ->
  ?tail:(unit -> unit) ->
  ?otherwise:(unit -> unit) ->
  ?blk_style:UPB.block_style ->
  ?prec:int ->
  (L.t -> bool) ->
  'a array ->
  unit

Source

val pr_types : 
  ?fail_on_error:bool ->
  (< data : < _label : Obj.t ; orig_lab_opt : Obj.t option.. >
     ; initial_children : 'a
     ; initial_parent : 
       < data : < _label : Obj.t ; orig_lab_opt : Obj.t option.. >.. >
     ; parent : < data : < _label : Obj.t ; orig_lab_opt : Obj.t option.. >.. >.. >
     array as 'a) ->
  unit

Sourceval pr_dims : L.dims -> unit

Source

val pr_expressions : 
  ?fail_on_error:bool ->
  (unit -> unit) ->
  (< data : < _label : Obj.t ; orig_lab_opt : Obj.t option.. >
    ; initial_children : 'a array
    ; initial_parent : 
      < data : < _label : Obj.t ; orig_lab_opt : Obj.t option.. >.. >
    ; parent : < data : < _label : Obj.t ; orig_lab_opt : Obj.t option.. >.. >.. > as 'a)
    array ->
  unit

Source

val pr_arguments : 
  ?fail_on_error:bool ->
  (< data : < _label : Obj.t ; orig_lab_opt : Obj.t option.. >
     ; initial_children : 'a
     ; initial_parent : 
       < data : < _label : Obj.t ; orig_lab_opt : Obj.t option.. >.. >
     ; parent : < data : < _label : Obj.t ; orig_lab_opt : Obj.t option.. >.. >.. >
     array as 'a) ->
  unit

Source

val pr_parameters : 
  ?fail_on_error:bool ->
  (< data : < _label : Obj.t ; orig_lab_opt : Obj.t option.. >
     ; initial_children : 'a
     ; initial_parent : 
       < data : < _label : Obj.t ; orig_lab_opt : Obj.t option.. >.. >
     ; parent : < data : < _label : Obj.t ; orig_lab_opt : Obj.t option.. >.. >.. >
     array as 'a) ->
  unit

Source

val pr_typeparameters : 
  ?fail_on_error:bool ->
  (< data : < _label : Obj.t ; orig_lab_opt : Obj.t option.. >
     ; initial_children : 'a
     ; initial_parent : 
       < data : < _label : Obj.t ; orig_lab_opt : Obj.t option.. >.. >
     ; parent : < data : < _label : Obj.t ; orig_lab_opt : Obj.t option.. >.. >.. >
     array as 'a) ->
  unit

Source

val pr_typearguments : 
  ?fail_on_error:bool ->
  ?nth:int ->
  (< data : < _label : Obj.t ; orig_lab_opt : Obj.t option.. >
     ; initial_children : 'a
     ; initial_parent : 
       < data : < _label : Obj.t ; orig_lab_opt : Obj.t option.. >.. >
     ; parent : < data : < _label : Obj.t ; orig_lab_opt : Obj.t option.. >.. >.. >
     array as 'a) ->
  unit

Sourceval dims_to_string : L.dims -> string

Source

val get_specs : 
  ((< data : < _label : Obj.t ; orig_lab_opt : Obj.t option.. >
     ; initial_children : 'a
     ; initial_parent : 
       < data : < _label : Obj.t ; orig_lab_opt : Obj.t option.. >.. >
     ; parent : < data : < _label : Obj.t ; orig_lab_opt : Obj.t option.. >.. >.. > as 'b)
     array as 'a) ->
  'a

Sourceval type_to_string : ?va:bool -> L.Type.t -> string

Source

val pr_primary : 
  ?fail_on_error:bool ->
  ?prec:int ->
  L.Primary.t ->
  (< data : < _label : Obj.t ; orig_lab_opt : Obj.t option.. >
     ; initial_children : 'a
     ; initial_parent : 
       < data : < _label : Obj.t ; orig_lab_opt : Obj.t option.. >.. >
     ; parent : < data : < _label : Obj.t ; orig_lab_opt : Obj.t option.. >.. >.. >
     array as 'a) ->
  unit

Source

val pr_expression : 
  ?fail_on_error:bool ->
  ?prec:int ->
  L.Expression.t ->
  (< data : < _label : Obj.t ; orig_lab_opt : Obj.t option.. >
     ; initial_children : 'a
     ; initial_parent : 
       < data : < _label : Obj.t ; orig_lab_opt : Obj.t option.. >.. >
     ; parent : < data : < _label : Obj.t ; orig_lab_opt : Obj.t option.. >.. >.. >
     array as 'a) ->
  unit

Source

val unparse : 
  ?no_boxing:bool ->
  ?no_header:bool ->
  ?fail_on_error:bool ->
  (< data : < _label : Obj.t ; orig_lab_opt : Obj.t option.. >
    ; initial_children : 'a array
    ; initial_parent : 
      < data : < _label : Obj.t ; orig_lab_opt : Obj.t option.. >.. >
    ; parent : < data : < _label : Obj.t ; orig_lab_opt : Obj.t option.. >.. >.. > as 'a) ->
  unit