Semantic Definitions

JSON statements must adhere to the following criteria.

• Every signal, state, and state machine must have a unique name.
• Every top-level state machine must have an initial state, and that initial state must be resolvable.
• The next_state parameter of every transition must refer to a resolvable state.
• No top-level state machine may have more than 32 states.
• The signal parameter of every action object must have the name of a digital output or writable variable.
• The DI and DO channels are dependent. Refer to the following table for the configuration required for each channel pair.

  Table 31. Digital Channel Pair Configurations

  DIn	DIn+1	DOn	DOn+1
  Unused or Basic	Unused or Basic	Unused or Basic	Unused or Basic
  Unused or Basic	Reserved	Unused or Basic	External Readback or Test Pulse
  Reserved	Unused or Basic	External Readback or Test Pulse	Unused or Basic
  Reserved	Reserved	External Readback or Test Pulse	External Readback or Test Pulse
  Test Pulse	Unused or Basic	Reserved	Unused or Basic
  Test Pulse	Reserved	Reserved	External Readback or Test Pulse
  Test Pulse	Test Pulse	Reserved	Reserved
  Dual	Reserved	Unused or Basic	Unused or Basic
  Dual Test Pulse	Reserved	Reserved	Reserved
  Reserved	Reserved	Dual Test Pulse	Reserved
  Unused or Basic	Unused or Basic	Dual	Reserved
  Dual	Reserved	Dual	Reserved