public class Clause.Violation extends Object implements MapWriter
MapWriter.EntryWriter| Modifier and Type | Method and Description |
|---|---|
boolean |
equals(Object that) |
Clause |
getClause() |
int |
hashCode() |
boolean |
isLessSerious(Clause.Violation that) |
void |
writeMap(MapWriter.EntryWriter ew) |
public Clause getClause()
public boolean isLessSerious(Clause.Violation that)
public void writeMap(MapWriter.EntryWriter ew) throws IOException
writeMap in interface MapWriterIOExceptionCopyright © 2000-2017 Apache Software Foundation. All Rights Reserved.