Package crypto.rules

Class CrySLRule

java.lang.Object

crypto.rules.CrySLRule

public class CrySLRule
extends Object

Constructor Summary

Constructors

Constructor	Description
CrySLRule(String className, Collection<Map.Entry<String,String>> objects, Collection<CrySLForbiddenMethod> forbiddenMethods, Collection<CrySLMethod> events, StateMachineGraph usagePattern, Collection<ISLConstraint> constraints, Collection<CrySLPredicate> predicates, Collection<CrySLPredicate> negatedPredicates)

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object obj)
String	getClassName()
Collection<ISLConstraint>	getConstraints()
Collection<CrySLMethod>	getEvents()
Collection<CrySLForbiddenMethod>	getForbiddenMethods()
Collection<CrySLPredicate>	getNegatedPredicates()
Collection<Map.Entry<String,String>>	getObjects()
Collection<CrySLPredicate>	getPredicates()
Collection<CrySLPredicate>	getRequiredPredicates()
StateMachineGraph	getUsagePattern()
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

CrySLRule

public CrySLRule(String className,
                 Collection<Map.Entry<String,String>> objects,
                 Collection<CrySLForbiddenMethod> forbiddenMethods,
                 Collection<CrySLMethod> events,
                 StateMachineGraph usagePattern,
                 Collection<ISLConstraint> constraints,
                 Collection<CrySLPredicate> predicates,
                 Collection<CrySLPredicate> negatedPredicates)

Method Detail

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

getClassName

public String getClassName()

Returns:

the className

getObjects

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

Returns:

the objects

getForbiddenMethods

public Collection<CrySLForbiddenMethod> getForbiddenMethods()

Returns:

the forbiddenMethods

getEvents

public Collection<CrySLMethod> getEvents()

Returns:

the events

getUsagePattern

public StateMachineGraph getUsagePattern()

Returns:

the usagePattern

getConstraints

public Collection<ISLConstraint> getConstraints()

Returns:

the constraints

getPredicates

public Collection<CrySLPredicate> getPredicates()

Returns:

the predicates

getNegatedPredicates

public Collection<CrySLPredicate> getNegatedPredicates()

Returns:

the negated predicates

getRequiredPredicates

public Collection<CrySLPredicate> getRequiredPredicates()

Returns:

the constraints

toString

public String toString()

Overrides:

toString in class Object