Package crypto.rules
Class CrySLRule
- java.lang.Object
-
- crypto.rules.CrySLRule
-
- All Implemented Interfaces:
Serializable
public class CrySLRule extends Object implements Serializable
- See Also:
- Serialized Form
-
-
Field Summary
Fields Modifier and Type Field Description protected List<ISLConstraint>constraintsprotected List<CrySLForbiddenMethod>forbiddenMethodsprotected List<CrySLPredicate>negatedPredicatesprotected List<CrySLPredicate>predicatesprotected StateMachineGraphusagePattern
-
Constructor Summary
Constructors Constructor Description CrySLRule(String className, List<Map.Entry<String,String>> objects, List<CrySLForbiddenMethod> forbiddenMethods, StateMachineGraph usagePattern, List<ISLConstraint> constraints, List<CrySLPredicate> predicates, List<CrySLPredicate> negatedPredicates)
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description booleanequals(Object obj)StringgetClassName()List<ISLConstraint>getConstraints()List<CrySLForbiddenMethod>getForbiddenMethods()List<CrySLPredicate>getNegatedPredicates()List<Map.Entry<String,String>>getObjects()List<CrySLPredicate>getPredicates()List<CrySLPredicate>getRequiredPredicates()StateMachineGraphgetUsagePattern()inthashCode()booleanisLeafRule()StringtoString()static Collection<String>toSubSignatures(Collection<soot.SootMethod> methods)
-
-
-
Field Detail
-
forbiddenMethods
protected final List<CrySLForbiddenMethod> forbiddenMethods
-
usagePattern
protected final StateMachineGraph usagePattern
-
constraints
protected final List<ISLConstraint> constraints
-
predicates
protected final List<CrySLPredicate> predicates
-
negatedPredicates
protected final List<CrySLPredicate> negatedPredicates
-
-
Constructor Detail
-
CrySLRule
public CrySLRule(String className, List<Map.Entry<String,String>> objects, List<CrySLForbiddenMethod> forbiddenMethods, StateMachineGraph usagePattern, List<ISLConstraint> constraints, List<CrySLPredicate> predicates, List<CrySLPredicate> negatedPredicates)
-
-
Method Detail
-
isLeafRule
public boolean isLeafRule()
-
getClassName
public String getClassName()
- Returns:
- the className
-
getForbiddenMethods
public List<CrySLForbiddenMethod> getForbiddenMethods()
- Returns:
- the forbiddenMethods
-
getUsagePattern
public StateMachineGraph getUsagePattern()
- Returns:
- the usagePattern
-
getConstraints
public List<ISLConstraint> getConstraints()
- Returns:
- the constraints
-
getPredicates
public List<CrySLPredicate> getPredicates()
- Returns:
- the predicates
-
getNegatedPredicates
public List<CrySLPredicate> getNegatedPredicates()
- Returns:
- the negated predicates
-
getRequiredPredicates
public List<CrySLPredicate> getRequiredPredicates()
- Returns:
- the constraints
-
toSubSignatures
public static Collection<String> toSubSignatures(Collection<soot.SootMethod> methods)
-
-