private class DiffTool.ToolDiffOutput extends BasicDiffOutput
Modifier and Type | Field and Description |
---|---|
private int |
counter |
private java.io.StringWriter |
sw |
formatter, writer
Constructor and Description |
---|
ToolDiffOutput(DiffEntryFormatter formatter) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getResult() |
private void |
increaseCounter() |
boolean |
noDifferences(Association a) |
boolean |
noDifferences(Topic t) |
boolean |
outputDiffEntry(TopicMapDiff.DiffEntry d) |
doOutput, endCompare, outputDiff, startCompare
public ToolDiffOutput(DiffEntryFormatter formatter)
private void increaseCounter()
public boolean outputDiffEntry(TopicMapDiff.DiffEntry d)
outputDiffEntry
in interface DiffOutput
outputDiffEntry
in class BasicDiffOutput
public boolean noDifferences(Topic t)
noDifferences
in interface DiffOutput
noDifferences
in class BasicDiffOutput
public boolean noDifferences(Association a)
noDifferences
in interface DiffOutput
noDifferences
in class BasicDiffOutput
public java.lang.String getResult()
Copyright 2004-2015 Wandora Team