yumemi/gen/reader/cms

業務付き CMS の機能の宣言の検査(0.12、51 v6 第 32・33・36・37・39・40 条)。

申告:門の Declared / WhenDeclared・要件の Declared・役の Declare / NeedsDeclared の kind が browser.declarations に無い、browser の宣言が無い(第 32 条)。Declaration の重なり・綴り・期間(第 33 条)
数える口:ToService の Service と Args(第 36 条)、Store の resolve と欄・browser の宣言(第 37 条)
media の variant の名と theme_background(第 39 条)
同意:要件と門の Consented / ConsentedFor の kind が consents に無い(第 40 条)

面の門の検査(gate_notes)は面ごとに、back の宣言の検査(notes)は app に 1 回。

Types

Service の pub const requires の 1 項(Declared / Consented / ConsentedFor)。

pub type Requirement {
  Requirement(service: String, constructor: String, kind: String)
}

Requirement(service: String, constructor: String, kind: String)

</>

pub fn gate_notes(
  app: model.App,
  face_name: String,
  declared: gate.Gate,
) -> List(stop.Note)

面の門の申告と同意の綴り(第 32・40 条)。

</>

pub fn notes(
  app: model.App,
  units: List(source.Unit),
) -> List(stop.Note)

back の宣言の検査(第 32・33・36・37・39・40 条)と、ToService の逃げ道の数(警告)。

</>

pub fn requirements(
  units: List(source.Unit),
) -> List(Requirement)

back の Service の要件を読む。kind が文字列の literal でない項は kind “” で返す(検査で名指す)。