IEC 61131-3 インタプリタ Jier

$ jiecc.exe --run <入力IEC 61131-3テキストファイルパス>

program __main__
var
	str : string;
end_var
{st}
str := 'Hello, world!';
{end}
end_program

$ jiecc.exe --run .\hello.txt --verbose
cycle 0: {en: True, eno: True, str: 'Hello, world!'}

--- Interpreter stopped after 1 cycles ---

// counter.txt
program __main__
var
	count : dint := 0;
end_var
{st}
count := count + 1;
{end}
end_program

$ jiecc.exe --run .\counter.txt --verbose
cycle 0: {en: True, eno: True, count: 1}

--- Interpreter stopped after 1 cycles ---

// scan_counter.txt
program Counter
var_external
	g_count : dint;
end_var
{st}
g_count := g_count + 1;
{end}
end_program

configuration MainConfig
	resource MainRes on plc
		var_global
			g_count : dint;
		end_var
		task tsk(interval := t#100ms, priority := 1);
		program counter_prog with tsk: Counter();
	end_resource
end_configuration

$ jiecc.exe --run .\scan_counter.txt --verbose
cycle 0: {g_count: 1, en: True, eno: True}
cycle 1: {g_count: 2, en: True, eno: True}
cycle 2: {g_count: 3, en: True, eno: True}
...
^C
--- Interpreter stopped after 3 cycles ---

// producer_consumer.txt
program Producer
var_external
	shared : dint;
end_var
{st}
shared := shared + 10;
{end}
end_program

program Consumer
var
	observed : dint;
end_var
var_external
	shared : dint;
end_var
{st}
observed := shared;
{end}
end_program

configuration MainConfig
	resource MainRes on plc
		var_global
			shared : dint;
		end_var
		task tsk(interval := t#100ms, priority := 1);
		program producer_prog with tsk: Producer();
		program consumer_prog with tsk: Consumer();
	end_resource
end_configuration

$ jiecc.exe --run .\producer_consumer.txt --verbose
cycle 0: {shared: 10, en: True, eno: True, observed: 10}
cycle 1: {shared: 20, en: True, eno: True, observed: 20}
cycle 2: {shared: 30, en: True, eno: True, observed: 30}
...
^C
--- Interpreter stopped after 3 cycles ---

$ jiecc.exe --run .\counter.txt --verbose
cycle 0: {en: True, eno: True, count: 1}

--- Interpreter stopped after 1 cycles ---

jiecc --run hello.txt --trace               # 全PROGRAMをトレース
jiecc --run hello.txt --trace main          # 'main' POU のみトレース

// trace_demo.txt
program __main__
var
	count : dint;
end_var
{st}
count := count + 1;
count;
puts(dint_to_string(count));
{end}
end_program

$ jiecc.exe --run .\trace_demo.txt --trace

1

[TRACE cy=0 prog=__main__] ASSIGN -> NIL
[TRACE cy=0 prog=__main__] PLACE -> 1
[TRACE cy=0 prog=__main__] POUCALL -> True

[TRACE cy=<サイクル番号> prog=<プログラム名>] <ステートメント種別> -> <結果値>

jiecc --run hello.txt --watch g_count          # 特定の変数を監視
jiecc --run hello.txt --watch g_count,g_status # 複数の変数をカンマ区切りで指定
jiecc --run hello.txt --watch *                # 全VAR_GLOBALを監視

cycle 0: {g_count: 1, en: True, eno: True}
cycle 1: {g_count: 2, en: True, eno: True}
cycle 2: {g_count: 3, en: True, eno: True}

--- Interpreter stopped after 3 cycles ---

[WATCH cy=0 global] g_count: 0 -> 1
[WATCH cy=1 global] g_count: 1 -> 2
[WATCH cy=2 global] g_count: 2 -> 3

[WATCH cy=<サイクル番号> global] <変数名>: <変更前の値> -> <変更後の値>

program __main__
var
	counter : dint := 0;
end_var
{st}
counter := counter + 1;
puts(dint_to_string(counter));
puts('loop done');
{end}
end_program

$ jiecc.exe --run .\example.txt
1
loop done

# my_pou.py
class Multiply:
    """FUNCTION の Python 実装例（無状態）"""
    def execute(self, a, b):
        return a * b

class Accumulator:
    """FUNCTION_BLOCK の Python 実装例（有状態）"""
    def __init__(self):
        self._total = 0

    def execute(self, add_val, reset):
        if reset:
            self._total = 0
        self._total += add_val
        return {'total': self._total}

// IEC 側の宣言
function {foreign 'my_pou.Multiply'} Multiply : dint
var_input
    a : dint;
    b : dint;
end_var
end_function

function_block {foreign 'my_pou.Accumulator'} Accumulator
var_input
    add_val : dint;
    reset   : bool;
end_var
var_output
    total : dint;
end_var
end_function_block

usage: jier.py [-h] [--version] [--output OUTPUT] [--define-macro DEFINE_MACRO] [--syspath SYSPATH] [--target TARGET] [--line-separator LINE_SEPARATOR]
               [--retro_caps] [--max-include-depth MAX_INCLUDE_DEPTH] [--max-expansion-depth MAX_EXPANSION_DEPTH] [--max-if-nesting MAX_IF_NESTING]
               [--recursion-limit RECURSION_LIMIT] [--preprocess-only] [--max-cycles MAX_CYCLES] [--trace [FILTER]] [--watch WATCH] [--ir-audit {warn,fail}]
               [--strict-ir] [--verbose] [--pp-output-pragma-style PP_OUTPUT_PRAGMA_STYLE] [--remove-comments] [-dM] [-dD] [--silent]
               [--undefine-macro UNDEFINE_MACRO] [-include FORCE_INCLUDE] [-w] [-Werror] [-P] [-M] [-MM] [-MD] [-MMD] [-MF MF] [-MT MT] [--set SET]
               [filepath ...]

Jier is an IEC 61131-3 interpreter.

It interprets and executes IEC 61131-3 programs in scan cycle mode.

Typical usage:
    jier <IEC 61131-3 text filepath>

For additional details, visit:
https://www.graviness.com/iec_61131_3/jier.html

positional arguments:
  filepath              the IEC 61131-3 text file path.

options:
  -h, --help            show this help message and exit
  --version             show program's version number and exit
  --output, -o OUTPUT   the output file path for preprocessed output (used with -E). Default: STDOUT (outputs to standard output.)
  --define-macro, -D DEFINE_MACRO
                        define a macro. -D <macro> to set <macro> to 1 or -D<macro>=<value> to assign a specific value. e.g. -D DEBUG, -D V=10.
  --syspath, -I SYSPATH
                        add the directory SYSPATH to the list of directories to be searched for (s)include files.
  --target, -t TARGET   conversion target. e.g. OMRON, KEYENCE, MITSUBISHI, CODESYS. Default: STD.
  --line-separator, -N LINE_SEPARATOR
                        newline code for the output. e.g. LF, CRLF, CR. Default: LF.
  --retro_caps          output IEC 61131-3 keywords in uppercase.
  --max-include-depth MAX_INCLUDE_DEPTH
                        the maximum depth of the nested #include. The default is 100.
  --max-expansion-depth MAX_EXPANSION_DEPTH
                        the maximum macro expansion depth. The default is 256.
  --max-if-nesting MAX_IF_NESTING
                        the maximum #if/#elif nesting depth. The default is 256.
  --recursion-limit RECURSION_LIMIT
                        the maximum recursion depth allowed by the program. Applied to both Python and jiepp.exe. The default is the system default value.
  --preprocess-only, -E
                        preprocessed only.; do not convert.
  --max-cycles MAX_CYCLES
                        maximum number of scan cycles to execute. Default: 1 cycle when program __main__ is defined without a configuration; unlimited (runs until Ctrl+C) otherwise.
  --trace [FILTER]      emit [TRACE] lines to stderr. Default: off. Without FILTER, traces all PROGRAMs. FILTER: POU name to trace (all instances of that POU are traced together), or resource name (emit [TRACE] lines for all VAR_GLOBAL changes in that resource).
  --watch WATCH         comma-separated list of VAR_GLOBAL/VAR_EXTERNAL variable names to watch. Use * to watch all VAR_GLOBAL in the resource. Emits a [WATCH] line to stderr when a watched variable changes.
  --ir-audit {warn,fail}
                        IR contract audit mode. warn: report violations to stderr and continue. fail: raise exception on violations. Default: warn.
  --strict-ir           alias for --ir-audit=fail. Enable strict IR validation.
  --verbose             show cycle state dump (cycle N: {...}) and run summary. Default: off.
  --pp-output-pragma-style PP_OUTPUT_PRAGMA_STYLE
                        The format of preprocessor output pragmas. Possible values: annotated (*{~}*) or standard {~}. Default: annotated.
  --remove-comments, -nC
                        remove comments in preprocessed output. The default is False.
  -dM                   generate a list of #define directives for all the macros defined during the execution of the preprocessor, including predefined macros. must be invoked with -E.
  -dD                   emit {#define}/{#undef} directives inline in preprocessed output. must be invoked with -E.
  --silent              activate silent mode to suppress error messages.
  --undefine-macro, -U UNDEFINE_MACRO
                        undefine a macro. Processed after -D (explicit undefine overrides define).
  -include FORCE_INCLUDE
                        force-include FILE before processing input (as if #include "FILE" appeared first).
  -w                    suppress all preprocessor warnings.
  -Werror               promote preprocessor warnings to errors.
  -P                    suppress line markers in preprocessed output.
  -M                    output Makefile dependency rules (requires -E).
  -MM                   output Makefile dependency rules, excluding system includes (requires -E).
  -MD                   write dependency rules to .d file; keep normal output. Mutually exclusive with -M/-MM.
  -MMD                  like -MD but exclude system includes. Mutually exclusive with -M/-MM.
  -MF MF                write dependency rules to FILE (requires -M, -MM, -MD, or -MMD).
  -MT MT                set the target name in dependency rules (requires -M, -MM, -MD, or -MMD).
  --set SET             set and lock options. e.g. creation-datetime=1999-12-31T23:59:59.999+11:59.