CFDL

Multi-File Models

Split a growing model by concern:

my-deal/
  model.cfdl        # header: version, model, use pack, imports
  time.cfdl         # timeline and phases
  structure.cfdl    # entities
  contracts.cfdl    # contracts, streams, events

model.cfdl:

version 0.1
model "my-deal"
use pack "cre" version "0.1.0"

import "time.cfdl"
import "structure.cfdl"
import "contracts.cfdl"
Open in playground

Rules

  • Import paths are relative to the importing file.
  • No import cycles.
  • Imports cannot escape the model root directory.

Violations produce compile diagnostics (unresolved import, cycle, root-escape) with the offending path and span.

Compiling

Point the CLI at the directory; it starts from model.cfdl:

cfdl compile my-deal --packs packs --out my-deal/ir.json

Worked example: examples/language_tutorial/multi_file/ and the larger CRE multi-file example.

Reference links