Package crypto.analysis

Class HiddenPredicate

java.lang.Object

crypto.analysis.EnsuredCrySLPredicate

crypto.analysis.HiddenPredicate

public class HiddenPredicate
extends EnsuredCrySLPredicate

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	HiddenPredicate.HiddenPredicateType

Constructor Summary

Constructors

Constructor	Description
HiddenPredicate(CrySLPredicate predicate, com.google.common.collect.Multimap<CallSiteWithParamIndex,ExtractedValue> parametersToValues2, AnalysisSeedWithSpecification generatingSeed, HiddenPredicate.HiddenPredicateType type)

Method Summary

Modifier and Type	Method	Description
AnalysisSeedWithSpecification	getGeneratingSeed()
Collection<AbstractError>	getPrecedingErrors()	Node: Errors are only in complete count at the end of the analysis.
HiddenPredicate.HiddenPredicateType	getType()

Methods inherited from class crypto.analysis.EnsuredCrySLPredicate

equals, getParametersToValues, getPredicate, hashCode, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

HiddenPredicate

public HiddenPredicate(CrySLPredicate predicate,
                       com.google.common.collect.Multimap<CallSiteWithParamIndex,ExtractedValue> parametersToValues2,
                       AnalysisSeedWithSpecification generatingSeed,
                       HiddenPredicate.HiddenPredicateType type)

Method Detail

getGeneratingSeed

public AnalysisSeedWithSpecification getGeneratingSeed()

getType

public HiddenPredicate.HiddenPredicateType getType()

getPrecedingErrors

public Collection<AbstractError> getPrecedingErrors()

Node: Errors are only in complete count at the end of the analysis.

Returns:

errors list of all preceding errors