Package-level declarations
Types
Link copied to clipboard
class CodyzeDfaOrderEvaluator(val context: EvaluationContext, val 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) : DFAOrderEvaluator
Codyze-specific implementation of the DFAOrderEvaluator. Its main purpose is to collect the findings in case of violations to the order.