Package crypto.constraints

Class PredicateConstraint

java.lang.Object

crypto.constraints.EvaluableConstraint

crypto.constraints.PredicateConstraint

public class PredicateConstraint
extends EvaluableConstraint

Field Summary

Fields inherited from class crypto.constraints.EvaluableConstraint

LOGGER

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	PredicateConstraint(ISLConstraint origin, ConstraintSolver context)

Method Summary

Modifier and Type	Method	Description
void	evaluate()
boolean	isHardCoded(ExtractedValue val)
protected boolean	isSubType(String typeOne, String typeTwo)

Methods inherited from class crypto.constraints.EvaluableConstraint

extractSootArray, extractValueAsString, getErrors, getInstance, hasErrors

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PredicateConstraint

protected PredicateConstraint(ISLConstraint origin,
                              ConstraintSolver context)

Method Detail

evaluate

public void evaluate()

Specified by:

evaluate in class EvaluableConstraint

isHardCoded

public boolean isHardCoded(ExtractedValue val)

isSubType

protected boolean isSubType(String typeOne,
                            String typeTwo)