Detect

object Detect(source)

Properties

Link copied to clipboard
const val MAX_DEPTH: Int = 8
Link copied to clipboard

The run:<field> names a rule may read; they are the keys of Run.facts.

Functions

Link copied to clipboard
fun env(capsule: Capsule, run: Run?): Env

fun env(capsule: Capsule, run: Map<String, String> = emptyMap()): Env

Static attributes and probes with status ok; other facts are absent.

Link copied to clipboard
fun match(rule: Rule, green: Env, red: Env): RuleOutcome

Evaluates rule with green as side a (passing) and red as side b (failing).

fun match(rule: Rule, green: Capsule, red: Capsule, run: Map<String, String> = emptyMap()): RuleOutcome
fun match(rule: Rule, green: Capsule, red: Capsule, greenRun: Run?, redRun: Run?): RuleOutcome
Link copied to clipboard
fun toJson(node: Node): JsonValue