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>	constraints
protected List<CrySLForbiddenMethod>	forbiddenMethods
protected List<CrySLPredicate>	negatedPredicates
protected List<CrySLPredicate>	predicates
protected StateMachineGraph	usagePattern

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

Modifier and Type	Method	Description
boolean	equals(Object obj)
String	getClassName()
List<ISLConstraint>	getConstraints()
List<CrySLForbiddenMethod>	getForbiddenMethods()
List<CrySLPredicate>	getNegatedPredicates()
List<Map.Entry<String,String>>	getObjects()
List<CrySLPredicate>	getPredicates()
List<CrySLPredicate>	getRequiredPredicates()
StateMachineGraph	getUsagePattern()
int	hashCode()
boolean	isLeafRule()
String	toString()
static Collection<String>	toSubSignatures(Collection<soot.SootMethod> methods)

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

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

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

isLeafRule

public boolean isLeafRule()

hashCode

public int hashCode()

Overrides:

hashCode in class Object

getClassName

public String getClassName()

Returns:

the className

getObjects

public List<Map.Entry<String,String>> getObjects()

Returns:

the objects

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

toString

public String toString()

Overrides:

toString in class Object

toSubSignatures

public static Collection<String> toSubSignatures(Collection<soot.SootMethod> methods)