Voltar para Documentação

Docs Técnicas

Authoring Diagnostics

Use authoring diagnostics while writing contracts.

O conteúdo abaixo vem das fontes técnicas do repositório e é prerenderizado no site para leitura direta por pessoas, crawlers e agentes.

Use authoring diagnostics while writing contracts.

rust
let report = atlas_trea::analyze_contract_authoring(source)?;
for diagnostic in report.diagnostics {
    println!("{:?}: {}", diagnostic.severity, diagnostic.message);
}

Diagnostics cover:

  • parser/verifier errors;
  • naming style;
  • weak function intent;
  • guard-before-effect discipline;
  • manual loan posting assembly;
  • source spans when available.

Standard Library Inventory

The authoring surface also exposes metadata for current intrinsics through standard_library_intrinsics().

Use it to drive editor hover, completion, or docs generation.