plc_validate
Checks staged PLC models for ST syntax, integer ranges, missing VAR_EXTERNAL, empty STRUCTs, missing offsets, and unsupported Ladder instructions, with explicit coverage limits.
Instructions
Validate staged models with bounded ST lexer/delimiter and scalar checks, built-in integer literal range checks, and missing VAR_EXTERNAL reports. Check complete native DataType tables for empty STRUCTs and missing explicit byte offsets in OffsetType=User structures; BOOL members also require a bit offset. Automatic NJ/CJ offsets are not diagnosed. Scan Ladder for unsupported instructions. Function calls, members, arrays, enums, unions, references, library types, full ST grammar, Ladder semantics, DataType layout calculation, and Sysmac build remain outside this partial analysis; coverage is returned explicitly.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| transaction_id | Yes |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||