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)