Package crypto.analysis.errors

Class ForbiddenPredicateError

java.lang.Object

crypto.analysis.errors.AbstractError

crypto.analysis.errors.ForbiddenPredicateError

All Implemented Interfaces:

IError

public class ForbiddenPredicateError
extends AbstractError

Constructor Summary

Constructors

Constructor	Description
ForbiddenPredicateError(CrySLPredicate contradictedPredicate, boomerang.jimple.Statement location, CrySLRule rule, CallSiteWithExtractedValue multimap)

Method Summary

Modifier and Type	Method	Description
void	accept(ErrorVisitor visitor)
boolean	equals(Object obj)
CrySLPredicate	getContradictedPredicate()
CallSiteWithExtractedValue	getExtractedValues()
int	hashCode()
String	toErrorMarkerString()

Methods inherited from class crypto.analysis.errors.AbstractError

addCausingError, addCausingError, addSubsequentError, getErrorLocation, getRootErrors, getRule, getSubsequentErrors, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

ForbiddenPredicateError

public ForbiddenPredicateError(CrySLPredicate contradictedPredicate,
                               boomerang.jimple.Statement location,
                               CrySLRule rule,
                               CallSiteWithExtractedValue multimap)

Method Detail

getContradictedPredicate

public CrySLPredicate getContradictedPredicate()

getExtractedValues

public CallSiteWithExtractedValue getExtractedValues()

accept

public void accept(ErrorVisitor visitor)

toErrorMarkerString

public String toErrorMarkerString()

Specified by:

toErrorMarkerString in class AbstractError

hashCode

public int hashCode()

Overrides:

hashCode in class AbstractError

equals

public boolean equals(Object obj)

Overrides:

equals in class AbstractError