diffast-langs-java 0.1.1 (latest)

module Xlist = Diffast_misc.Xlist

module L = Java_label

module Fmtr : sig ... end

module UPB : sig ... end

val pb : UPB.ppbox

val error_symbol : string

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

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

val get_prec_of_sym : string -> int

val prec_of_assignment_operators : int

val get_prec_of_primary : L.Primary.t -> int

val get_prec_of_expression : L.Expression.t -> int

val get_prec : L.t -> int

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

val escaped_dollar_pat : Str.regexp

val unescape_dollar : string -> string

val dollar_pat : Str.regexp

val norm_fqn : string -> string

val sep_pat : Str.regexp

val get_last_id : string -> string

val undeco_pat : Str.regexp

val undeco : string -> string

val pr_id : string -> unit

val pr_name : string -> unit

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

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

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

val pr_dims : L.dims -> unit

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

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

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

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

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

val dims_to_string : L.dims -> string

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

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

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

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

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