Module `Java_base.Java_unparsing`Source

module Xlist = Diffast_misc.Xlist

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 escaped_dollar_pat : Str.regexp

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_pat : Str.regexp

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.. > 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.. > 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.. >
     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.. > 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.. >
     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.. >
     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.. >
     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.. >
     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.. > 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.. >
     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.. >
     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.. > as 'a) ->
  unit

package diffast-langs-java

Module Java_base.Java_unparsingSource

Module `Java_base.Java_unparsing`Source