package diffast-langs-java

  1. Overview
  2. Docs
package diffast-langs-java
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Class Java_lib.tree_patcherSource

inherit Lang.tree_patcher
method _patch : ?fail_on_error:??? -> ?reverse:??? -> ?normalized_delta:??? -> Diffast_core.Lang_base.S.file -> Diffast_core.Lang_base.XML.node -> bool -> Diffast_core.Lang_base.SB.OutChannel.t -> unit
method patch : ?fail_on_error:??? -> ?reverse:??? -> Diffast_core.Lang_base.S.file -> string -> Diffast_core.Lang_base.SB.OutChannel.t -> unit