Skip to main content

validate_output

Function validate_output 

Source
pub fn validate_output(
    code: &str,
    file: &File,
    lang: Language,
) -> Result<(), Vec<String>>
Expand description

Validate generated code for structural correctness.

Checks:

  1. Expected entity/action names are present
  2. Delimiters are balanced
  3. No leftover todo!() / throw "not implemented" / raise NotImplementedError stubs
  4. Contract test functions are present (if spec has test blocks)