public class RuleCount extends Data
Constructor and Description |
---|
RuleCount(int orderConstraintCount,
int stringFormatCount,
int blacklistRuleCount,
int abstractionRuleCount) |
Modifier and Type | Method and Description |
---|---|
protected javax.json.JsonObjectBuilder |
convertToJson()
Converts this piece of data to JSON, which is then suitable of being stored in a database.
|
int |
getAbstractionRuleCount() |
int |
getBlacklistRuleCount() |
protected java.lang.String |
getKey()
Returns a key with which data of this type can be identified.
|
int |
getOrderConstraintCount() |
int |
getStringFormatCount() |
getAnnotatedJson
public RuleCount(int orderConstraintCount, int stringFormatCount, int blacklistRuleCount, int abstractionRuleCount)
public int getOrderConstraintCount()
public int getStringFormatCount()
public int getBlacklistRuleCount()
public int getAbstractionRuleCount()
protected javax.json.JsonObjectBuilder convertToJson()
Data
Data.getAnnotatedJson()
and
a time stamp is added to the object.convertToJson
in class Data