Язык описания шаблонов тестовых программ¶

Это незаконченная статья, которая время от времени дорабатывается.

Template ::= Statement*

Statement ::= InstructionStatement | ControlStatement

InstructionStatement ::= (ConcreteInstruction | InstructionClass) (@ Situation)?

ConcreteInstruction ::= Identifier (Parameter (, Parameter)+)?

InstructionClass ::= Identifier (Parameter (, Parameter)+)?