Uses of Class
crypto.rules.CrySLMethod

Packages that use CrySLMethod

Package	Description
crypto.cryslhandler
crypto.interfaces
crypto.rules
crypto.typestate

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 List<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 List<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.interfaces

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

Modifier and Type	Method	Description
List<CrySLMethod>	Transition.getLabel()

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
List<CrySLMethod>	CrySLForbiddenMethod.getAlternatives()
List<CrySLMethod>	TransitionEdge.getLabel()

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

Modifier and Type	Method	Description
boolean	StateMachineGraph.createNewEdge(List<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, Boolean silent)
CrySLForbiddenMethod(CrySLMethod method, Boolean silent, List<CrySLMethod> alternatives)

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

Constructor	Description
CrySLForbiddenMethod(CrySLMethod method, Boolean silent, List<CrySLMethod> alternatives)
TransitionEdge(List<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>	CrySLMethodToSootMethod.convert(soot.SootMethod m)
Collection<CrySLMethod>	SootBasedStateMachineGraph.getInitialTransition()
Optional<CrySLMethod>	LabeledMatcherTransition.getMatching(soot.SootMethod method)	Return the CrySLMethod's that match the given method.

Methods in crypto.typestate with parameters of type CrySLMethod

Modifier and Type	Method	Description
Collection<soot.SootMethod>	CrySLMethodToSootMethod.convert(CrySLMethod label)

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

Modifier and Type	Method	Description
Collection<soot.SootMethod>	CrySLMethodToSootMethod.convert(List<CrySLMethod> list)
static LabeledMatcherTransition	LabeledMatcherTransition.getTransition(typestate.finiteautomata.State from, Collection<CrySLMethod> label, typestate.finiteautomata.MatcherTransition.Parameter param, typestate.finiteautomata.State to, typestate.finiteautomata.MatcherTransition.Type type)