com.github.gumtreediff.client.diff.web

Class WebDiff

java.lang.Object

com.github.gumtreediff.client.Client

com.github.gumtreediff.client.diff.AbstractDiffClient<com.github.gumtreediff.client.diff.web.WebDiff.Options>

com.github.gumtreediff.client.diff.web.WebDiff

public class WebDiff
extends AbstractDiffClient<com.github.gumtreediff.client.diff.web.WebDiff.Options>

Field Summary

Fields inherited from class com.github.gumtreediff.client.diff.AbstractDiffClient

opts, SYNTAX

Constructor Summary

Constructors

Constructor and Description
WebDiff(java.lang.String[] args)

Method Summary

Modifier and Type	Method and Description
static void	configureSpark(com.github.gumtreediff.io.DirectoryComparator comparator, int port)
protected com.github.gumtreediff.client.diff.web.WebDiff.Options	newOptions()
void	run()

Methods inherited from class com.github.gumtreediff.client.diff.AbstractDiffClient

getDstTreeContext, getSrcTreeContext, matchTrees

Methods inherited from class java.lang.Object

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

Constructor Detail

WebDiff

public WebDiff(java.lang.String[] args)

Method Detail

newOptions

protected com.github.gumtreediff.client.diff.web.WebDiff.Options newOptions()

Specified by:

newOptions in class AbstractDiffClient<com.github.gumtreediff.client.diff.web.WebDiff.Options>

run

public void run()

Specified by:

run in class com.github.gumtreediff.client.Client

configureSpark

public static void configureSpark(com.github.gumtreediff.io.DirectoryComparator comparator,
                                  int port)