Package crypto.typestate

Class LabeledMatcherTransition

java.lang.Object

typestate.finiteautomata.Transition

typestate.finiteautomata.MatcherTransition

crypto.typestate.LabeledMatcherTransition

All Implemented Interfaces:

typestate.finiteautomata.ITransition

public class LabeledMatcherTransition
extends typestate.finiteautomata.MatcherTransition

Nested Class Summary

Nested classes/interfaces inherited from class typestate.finiteautomata.MatcherTransition

typestate.finiteautomata.MatcherTransition.Parameter, typestate.finiteautomata.MatcherTransition.Type

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object other)
Optional<CrySLMethod>	getMatching(boomerang.scene.DeclaredMethod declaredMethod)	Return the CrySLMethod's that match the given method.
Collection<CrySLMethod>	getMethods()
int	hashCode()
boolean	matches(boomerang.scene.DeclaredMethod declaredMethod)
String	toString()

Methods inherited from class typestate.finiteautomata.MatcherTransition

getParam, getType

Methods inherited from class typestate.finiteautomata.Transition

from, identity, to

Methods inherited from class java.lang.Object

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

Constructor Detail

LabeledMatcherTransition

public LabeledMatcherTransition(typestate.finiteautomata.State from,
                                Collection<CrySLMethod> methods,
                                typestate.finiteautomata.State to)

Method Detail

matches

public boolean matches(boomerang.scene.DeclaredMethod declaredMethod)

Overrides:

matches in class typestate.finiteautomata.MatcherTransition

getMatching

public Optional<CrySLMethod> getMatching(boomerang.scene.DeclaredMethod declaredMethod)

Return the CrySLMethod's that match the given method. As the method is taken from a statement, we need to apply the matching logic defined here, to get the CrySLMethods that were resolved to the matching DeclaredMethods.

Parameters:

declaredMethod - the given method

Returns:

The CrySLMethod's matching the given declared method.

getMethods

public Collection<CrySLMethod> getMethods()

toString

public String toString()

Overrides:

toString in class typestate.finiteautomata.MatcherTransition

equals

public boolean equals(Object other)

Overrides:

equals in class typestate.finiteautomata.MatcherTransition

hashCode

public int hashCode()

Overrides:

hashCode in class typestate.finiteautomata.MatcherTransition