Uses of Class
crypto.rules.CrySLMethod

Packages that use CrySLMethod

Package	Description
crypto.analysis.errors
crypto.cryslhandler
crypto.rules
crypto.typestate
crypto.utils

Uses of CrySLMethod in crypto.analysis.errors

Methods in crypto.analysis.errors that return types with arguments of type CrySLMethod

Modifier and Type	Method	Description
Collection<CrySLMethod>	ForbiddenMethodError.getAlternatives()
Collection<CrySLMethod>	IncompleteOperationError.getExpectedMethodCalls()
Collection<CrySLMethod>	TypestateError.getExpectedMethodCalls()
Collection<CrySLMethod>	CallToError.getRequiredMethods()

Methods in crypto.analysis.errors with parameters of type CrySLMethod

Modifier and Type	Method	Description
protected String	AbstractError.formatMethodName(CrySLMethod method)

Method parameters in crypto.analysis.errors with type arguments of type CrySLMethod

Modifier and Type	Method	Description
protected String	AbstractError.formatMethodNames(Collection<CrySLMethod> methods)

Constructor parameters in crypto.analysis.errors with type arguments of type CrySLMethod

Constructor	Description
CallToError(IAnalysisSeed seed, CrySLRule rule, Collection<CrySLMethod> requiredMethods)
ForbiddenMethodError(IAnalysisSeed seed, boomerang.scene.Statement errorLocation, CrySLRule rule, boomerang.scene.DeclaredMethod calledMethod, Collection<CrySLMethod> alternatives)
IncompleteOperationError(IAnalysisSeed seed, boomerang.scene.Statement errorStmt, CrySLRule rule, Collection<CrySLMethod> expectedMethodsToBeCalled)	Create an IncompleteOperationError, if there is only one dataflow path, where the incomplete operation occurs.
IncompleteOperationError(IAnalysisSeed seed, boomerang.scene.Statement errorStmt, CrySLRule rule, Collection<CrySLMethod> expectedMethodsToBeCalled, boolean multiplePaths)	Create an IncompleteOperationError, if there is at least one dataflow path, where an incomplete operation occurs.
TypestateError(IAnalysisSeed seed, boomerang.scene.Statement errorStmt, CrySLRule rule, Collection<CrySLMethod> expectedMethodCalls)

Uses of CrySLMethod in crypto.cryslhandler

Methods in crypto.cryslhandler that return CrySLMethod

Modifier and Type	Method	Description
static CrySLMethod	CrySLReaderUtils.toCrySLMethod(de.darmstadt.tu.crossing.crySL.ForbiddenMethod method)
static CrySLMethod	CrySLReaderUtils.toCrySLMethod(de.darmstadt.tu.crossing.crySL.Method method)

Methods in crypto.cryslhandler that return types with arguments of type CrySLMethod

Modifier and Type	Method	Description
static Collection<CrySLMethod>	CrySLReaderUtils.resolveEventsToCryslMethods(Collection<de.darmstadt.tu.crossing.crySL.Event> events)
static Stream<CrySLMethod>	CrySLReaderUtils.resolveEventsToCryslMethodsStream(Collection<de.darmstadt.tu.crossing.crySL.Event> events)
static Collection<CrySLMethod>	CrySLReaderUtils.resolveEventToCryslMethods(de.darmstadt.tu.crossing.crySL.Event event)
protected static Stream<CrySLMethod>	CrySLReaderUtils.resolveEventToCryslMethodsStream(de.darmstadt.tu.crossing.crySL.Aggregate aggregate)
static Stream<CrySLMethod>	CrySLReaderUtils.resolveEventToCryslMethodsStream(de.darmstadt.tu.crossing.crySL.Event event)
protected static Stream<CrySLMethod>	CrySLReaderUtils.resolveEventToCryslMethodsStream(de.darmstadt.tu.crossing.crySL.LabeledMethodCall event)

Uses of CrySLMethod in crypto.rules

Methods in crypto.rules that return CrySLMethod

Modifier and Type	Method	Description
CrySLMethod	CrySLExceptionConstraint.getMethod()	Returns the Method throwing the Exception.
CrySLMethod	CrySLForbiddenMethod.getMethod()

Methods in crypto.rules that return types with arguments of type CrySLMethod

Modifier and Type	Method	Description
Collection<CrySLMethod>	CrySLForbiddenMethod.getAlternatives()
Collection<CrySLMethod>	CrySLRule.getEvents()
Collection<CrySLMethod>	Transition.getLabel()
Collection<CrySLMethod>	TransitionEdge.getLabel()

Method parameters in crypto.rules with type arguments of type CrySLMethod

Modifier and Type	Method	Description
boolean	StateMachineGraph.createNewEdge(Collection<CrySLMethod> methods, StateNode left, StateNode right)

Constructors in crypto.rules with parameters of type CrySLMethod

Constructor	Description
CrySLExceptionConstraint(CrySLMethod method, CrySLException exception)	Construct the CrySLExceptionConstraint given the method and the exception thrown thereby.
CrySLForbiddenMethod(CrySLMethod method, Collection<CrySLMethod> alternatives)

Constructor parameters in crypto.rules with type arguments of type CrySLMethod

Constructor	Description
CrySLForbiddenMethod(CrySLMethod method, Collection<CrySLMethod> alternatives)
TransitionEdge(Collection<CrySLMethod> _methods, StateNode _left, StateNode _right)

Uses of CrySLMethod in crypto.typestate

Methods in crypto.typestate that return types with arguments of type CrySLMethod

Modifier and Type	Method	Description
Collection<CrySLMethod>	ReportingErrorStateNode.getExpectedCalls()
Optional<CrySLMethod>	LabeledMatcherTransition.getMatching(boomerang.scene.DeclaredMethod declaredMethod)	Return the CrySLMethod's that match the given method.
Collection<CrySLMethod>	LabeledMatcherTransition.getMethods()

Constructor parameters in crypto.typestate with type arguments of type CrySLMethod

Constructor	Description
LabeledMatcherTransition(typestate.finiteautomata.State from, Collection<CrySLMethod> methods, typestate.finiteautomata.State to)
ReportingErrorStateNode(Collection<CrySLMethod> expectedCalls)

Uses of CrySLMethod in crypto.utils

Methods in crypto.utils that return types with arguments of type CrySLMethod

Modifier and Type	Method	Description
static Collection<CrySLMethod>	MatcherUtils.getMatchingCryslMethodsToDeclaredMethod(CrySLRule rule, boomerang.scene.DeclaredMethod declaredMethod)

Methods in crypto.utils with parameters of type CrySLMethod

Modifier and Type	Method	Description
static boolean	MatcherUtils.matchCryslMethodAndDeclaredMethod(CrySLMethod cryslMethod, boomerang.scene.DeclaredMethod declaredMethod)