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) |
String |
toString() |
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 MapWriter
IOException
Copyright © 2000-2017 Apache Software Foundation. All Rights Reserved.