runtime

src/gen/runtime.mjs(WGy r3)── Service を 1 回走らせる表。機関は yumemi の yumemi/server/runtime.mjs(runtime(spec))で、ここは宣言から導いた表だけを書く。

root:root の Entity(emit/root)と ★ の root の SQL の -- root: の契約(穴の並び)
actor:Service の主体(allow の who)から
verb:生成の verb の穴の並び(emit/verb.runtime_table)。手書きの verb は ★ hook stage_manual
読み:生成の読みの穴(Args の型・-- allow: の契約・keyset)と戻りの形。手書きの SQL の読みは宣言の hook
connector:server.connectors の Call / Send の口は ★ hook call_<op>
outbox:queue の kind の payload、受け手へ送る consumer(Send の口を持つ)は commit を解釈の境にする

Values

manual_verbs

</>

pub fn manual_verbs(app: model.App) -> List(String)

手書きの verb の名(Entity の handwritten_verbs、ER の外の handwritten_verbs / manual_verbs)。

text

</>

pub fn text(
  app: model.App,
  units: List(source.Unit),
  queries: List(#(String, String)),
  generated: List(types.File),
  kinds: List(String),
  header: String,
) -> #(String, List(stop.Note))