toggle menu
codyze
jvm
switch theme
search in API
cpg
/
de.fraunhofer.aisec.codyze.backends.cpg.coko.ordering
/
CodyzeDfaOrderEvaluator
/
CodyzeDfaOrderEvaluator
Codyze
Dfa
Order
Evaluator
constructor
(
context
:
EvaluationContext
,
hashToMethod
:
Map
<
String
,
String
>
,
dfa
:
DFA
,
consideredBases
:
Set
<
Node
>
,
nodeToRelevantMethod
:
Map
<
Node
,
Set
<
String
>
>
,
thisPositionOfNode
:
Map
<
Node
,
Int
>
=
mapOf()
,
consideredResetNodes
:
Set
<
Node
>
,
eliminateUnreachableCode
:
Boolean
=
true
)
(
source
)