rule_node.pony

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
trait RuleNode[
  S: (Any #read & Equatable[S]),
  D: Any #share = None,
  V: Any #share = None]

  fun action(): (Action[S, D, V] | None)
  fun call(depth: USize, loc: Loc[S]): _RuleFrame[S, D, V]

trait RuleNodeWithChildren[
  S: (Any #read & Equatable[S]),
  D: Any #share,
  V: Any #share]
  is RuleNode[S, D, V]

  fun children(): this->Seq[RuleNode[S, D, V]]

trait RuleNodeWithBody[
  S: (Any #read & Equatable[S]),
  D: Any #share,
  V: Any #share]
  is RuleNode[S, D, V]

  fun body(): (this->(RuleNode[S, D, V]) | None)