Class ExternalDiffProvider

    • Field Summary

      Modifier and Type Field Description
      static java.lang.String PROP_DIFFCOMMAND
      Determines the command to be used for 'diff'.
    • Constructor Summary

      Constructor Description
      Creates a new ExternalDiffProvider.
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.lang.String getProviderInfo()
      Return a valid HTML string for information.
      void initialize​(Engine engine, java.util.Properties properties)
      Initializes the page provider.
      java.lang.String makeDiffHtml​(Context ctx, java.lang.String p1, java.lang.String p2)
      Makes the diff by calling "diff" program.
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait