Class MilanoViewBuilder<R, P>

constructor

• new MilanoViewBuilder<R = unknown, P = R>(
      engine: MilanoEngine<R, P>,
      documentText: string,
      documentByteCount?: number | null,
  ): MilanoViewBuilder<R, P>

  Type Parameters

  • R = unknown
  • P = R

  Parameters

  • engine: MilanoEngine<R, P>
  • documentText: string
  • documentByteCount: number | null = null

  Returns MilanoViewBuilder<R, P>

Readonlyengine

action

• action(
      name: string,
      declaration?: {
          failure?: MilanoType | null;
          parameters?: Readonly<Record<string, MilanoType>>;
          result?: MilanoType | null;
      },
  ): this

  Declares (or overrides) a custom action for this surface: the name, parameter shape, optional success result type, and optional failure payload type join the granted set for this builder only.

  Parameters

  • name: string
  • declaration: {
        failure?: MilanoType | null;
        parameters?: Readonly<Record<string, MilanoType>>;
        result?: MilanoType | null;
    } = {}

  Returns this

actionHandler

• actionHandler(handler: MilanoActionHandler): this

  The view's action handler; required when the document uses custom actions.

  Parameters

  • handler: MilanoActionHandler

  Returns this

allowActions

• allowActions(names: readonly string[]): this

  Grants only the listed custom actions to this surface: a document binding any other custom action fails at the gate with a SchemaViolation (rule action-capability). Built-in $ actions are contract, not capabilities, and are always available.

  Parameters

  • names: readonly string[]

  Returns this

build

• build(): Promise<MilanoView>

  Building is asynchronous: the document is parsed and validated in full, then the state data provider is awaited and its values are validated against the document's declarations. Throws typed MilanoBuildErrors; provider failures propagate unchanged.

  Returns Promise<MilanoView>

context

• context(values: Readonly<Record<string, MilanoValue>>): this

  Supplies fixed context values for the keys the document declares.

  Parameters

  • values: Readonly<Record<string, MilanoValue>>

  Returns this

contextSource

• contextSource(source: MilanoContextSource): this

  Supplies an observable context source (see MilanoContextHandle).

  Parameters

  • source: MilanoContextSource

  Returns this

dispatcher

• dispatcher(dispatcher: MilanoDispatcher): this

  The serialization seam; defaults to running inline on the JS thread.

  Parameters

  • dispatcher: MilanoDispatcher

  Returns this

function

• function(
      name: string,
      declaration: { arguments: readonly MilanoType[]; returns: MilanoType },
  ): this

  Declares (or overrides) a host function for this surface (contract 2.1): its argument types in order and its return type join the vocabulary's declarations for this builder only. The engine's function handler resolves it by name like any other.

  Parameters

  • name: string
  • declaration: { arguments: readonly MilanoType[]; returns: MilanoType }

  Returns this

label

• label(label: string): this

  Host-chosen name attached to this view's observability reports.

  Parameters

  • label: string

  Returns this

stateData

• stateData(provider: MilanoStateDataProvider): this

  Parameters

  • provider: MilanoStateDataProvider

  Returns this

unknownTypePolicy

• unknownTypePolicy(policy: MilanoUnknownTypePolicy): this

  Per-view override of the engine's default unknown-type policy.

  Parameters

  • policy: MilanoUnknownTypePolicy

  Returns this