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() |
getAnnotatedJsonpublic 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()
DataData.getAnnotatedJson() and
a time stamp is added to the object.convertToJson in class Data