Package crypto.analysis
Class RequiredCrySLPredicate
- java.lang.Object
-
- crypto.analysis.RequiredCrySLPredicate
-
- All Implemented Interfaces:
ICrySLPredicateParameter,ISLConstraint,Serializable
public class RequiredCrySLPredicate extends Object implements ISLConstraint
- See Also:
- Serialized Form
-
-
Constructor Summary
Constructors Constructor Description RequiredCrySLPredicate(CrySLPredicate predicate, boomerang.jimple.Statement stmt)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description booleanequals(Object obj)Set<String>getInvolvedVarNames()boomerang.jimple.StatementgetLocation()StringgetName()CrySLPredicategetPred()inthashCode()voidsetLocation(boomerang.jimple.Statement location)StringtoString()
-
-
-
Constructor Detail
-
RequiredCrySLPredicate
public RequiredCrySLPredicate(CrySLPredicate predicate, boomerang.jimple.Statement stmt)
-
-
Method Detail
-
getPred
public CrySLPredicate getPred()
-
getLocation
public boomerang.jimple.Statement getLocation()
- Specified by:
getLocationin interfaceISLConstraint
-
getName
public String getName()
- Specified by:
getNamein interfaceICrySLPredicateParameter
-
getInvolvedVarNames
public Set<String> getInvolvedVarNames()
- Specified by:
getInvolvedVarNamesin interfaceISLConstraint
-
setLocation
public void setLocation(boomerang.jimple.Statement location)
- Specified by:
setLocationin interfaceISLConstraint
-
-