toggle menu
cpg
main
jvm
switch theme
search in API
cpg-analysis
/
de.fraunhofer.aisec.cpg.analysis.fsm
/
DFAOrderEvaluator
/
DFAOrderEvaluator
DFAOrder
Evaluator
constructor
(
dfa
:
DFA
,
consideredBases
:
Set
<
Node
>
,
nodeToRelevantMethod
:
Map
<
Node
,
Set
<
String
>
>
,
consideredResetNodes
:
Set
<
Node
>
=
emptySet()
,
thisPositionOfNode
:
Map
<
Node
,
Int
>
=
mapOf()
,
eliminateUnreachableCode
:
Boolean
=
true
)