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.

Properties

Link copied to clipboard
val logger: KLogger

Functions

Link copied to clipboard
fun OrderNode.toNfa(): NFA

Constructs a NFA using Thompson's construction algorithm (YouTube)