Package crypto.analysis

Class AnalysisSeedWithEnsuredPredicate

java.lang.Object

crypto.analysis.IAnalysisSeed

crypto.analysis.AnalysisSeedWithEnsuredPredicate

public class AnalysisSeedWithEnsuredPredicate
extends IAnalysisSeed

Field Summary

Fields inherited from class crypto.analysis.IAnalysisSeed

analysisResults, errorCollection, LOGGER, predicateHandler, scanner

Constructor Summary

Constructors

Constructor	Description
AnalysisSeedWithEnsuredPredicate(CryptoScanner scanner, boomerang.scene.Statement statement, boomerang.scene.Val fact, boomerang.results.ForwardBoomerangResults<typestate.TransitionFunction> results)

Method Summary

Modifier and Type	Method	Description
void	addEnsuredPredicate(EnsuredCrySLPredicate pred)
boolean	equals(Object obj)
void	execute()
int	hashCode()
static AnalysisSeedWithEnsuredPredicate	makeSeedForComparison(CryptoScanner scanner, boomerang.scene.Statement statement, boomerang.scene.Val fact)
String	toString()

Methods inherited from class crypto.analysis.IAnalysisSeed

addError, getAnalysisResults, getErrors, getFact, getMethod, getObjectId, getOrigin, getScanner, getType, isSecure, setSecure

Methods inherited from class java.lang.Object

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

Constructor Detail

AnalysisSeedWithEnsuredPredicate

public AnalysisSeedWithEnsuredPredicate(CryptoScanner scanner,
                                        boomerang.scene.Statement statement,
                                        boomerang.scene.Val fact,
                                        boomerang.results.ForwardBoomerangResults<typestate.TransitionFunction> results)

Method Detail

makeSeedForComparison

public static AnalysisSeedWithEnsuredPredicate makeSeedForComparison(CryptoScanner scanner,
                                                                     boomerang.scene.Statement statement,
                                                                     boomerang.scene.Val fact)

execute

public void execute()

Specified by:

execute in class IAnalysisSeed

addEnsuredPredicate

public void addEnsuredPredicate(EnsuredCrySLPredicate pred)

hashCode

public int hashCode()

Overrides:

hashCode in class IAnalysisSeed

equals

public boolean equals(Object obj)

Overrides:

equals in class IAnalysisSeed

toString

public String toString()

Overrides:

toString in class IAnalysisSeed