fprime-gds 3.6.2a1__tar.gz → 4.0.0a1__tar.gz

{fprime_gds-3.6.2a1 → fprime_gds-4.0.0a1}/.github/actions/spelling/expect.txt

@@ -23,6 +23,7 @@ autosectionlabel
 backface
 batchmode
 baudrate
+BBBBBHI
 bcolors
 BGR
 Biberstein
@@ -31,6 +32,7 @@ bitmaps
 breadcrumb
 Btns
 BUGLIST
+calcsize
 calibri
 callergraph
 callgraph
@@ -49,6 +51,7 @@ classdocs
 clearfix
 cls
 cmdhist
+cmt
 CODEFILE
 COLORSTYLE
 colorwheel
@@ -59,10 +62,12 @@ configs
 Consolas
 creatingdocsetswithdoxygen
 csum
+ctx
 curateable
 curated
 curating
 customise
+cuz
 daringfireball
 dataobjects
 dblclick
@@ -136,9 +141,13 @@ FONTSIZE
 fpp
 fprime
 fptable
+fpy
+fpybc
+fqn
 fsw
 gdiplus
 getbootstrap
+getoption
 github
 grayscales
 gse
@@ -161,6 +170,7 @@ htags
 hyperlinks
 idct
 idl
+idx
 ieeetr
 ified
 ifun
@@ -171,18 +181,22 @@ intlimits
 ip
 ipc
 ipp
+issuecomment
 itcl
 ixx
 janamian
+jawest
 Jdk
 jpl
 JSO
 jsonable
 jsonified
 jsonify
+junitxml
 keepalive
 keyify
 kinda
+leisher
 lestarch
 levelname
 Lezer
@@ -195,6 +209,7 @@ logdir
 logpath
 logselect
 luxon
+LVAR
 makeindex
 MAKEVAR
 marijnh
@@ -235,9 +250,11 @@ oring
 osexc
 OSX
 outputfile
+Packetize
 packetized
 Paetz
 PARAMDOC
+paramdb
 passthrough
 pb
 pdflatex
@@ -248,6 +265,7 @@ plantuml
 PNGs
 preds
 prm
+prmdb
 procs
 PROGRAMLISTING
 projectbrief
@@ -305,6 +323,7 @@ sss
 Ssymbols
 stackoverflow
 startuml
+subcmd
 subgrouping
 subhist
 subhistory
@@ -322,6 +341,7 @@ Theif
 thtcp
 thudp
 timebase
+timectx
 timescales
 timespan
 timestep
@@ -375,6 +395,8 @@ xapian
 xhttp
 xl
 xmit
+xmlpath
 xy
 zeromq
 zmq
+zimri

{fprime_gds-3.6.2a1 → fprime_gds-4.0.0a1}/.github/workflows/fprime-gds-tests.yml

@@ -13,7 +13,7 @@ jobs:
     runs-on: ubuntu-latest
     strategy:
       matrix:
-        python-version: ["3.8", "3.9", "3.10", "3.11"]
+        python-version: ["3.8", "3.9", "3.10", "3.11", "3.12", "3.13"]
 
     steps:
       - uses: actions/checkout@v4

{fprime_gds-3.6.2a1 → fprime_gds-4.0.0a1}/.github/workflows/gds-cli-tests.yml

@@ -16,7 +16,7 @@ jobs:
     runs-on: ubuntu-latest
     strategy:
       matrix:
-        python-version: ["3.8", "3.9", "3.10", "3.11"]
+        python-version: ["3.8", "3.9", "3.10", "3.11", "3.12", "3.13"]
 
     steps:
 

{fprime_gds-3.6.2a1 → fprime_gds-4.0.0a1}/PKG-INFO

@@ -1,6 +1,6 @@
-Metadata-Version: 2.2
+Metadata-Version: 2.4
 Name: fprime-gds
-Version: 3.6.2a1
+Version: 4.0.0a1
 Summary: F Prime Flight Software Ground Data System layer
 Author-email: Michael Starch <Michael.D.Starch@jpl.nasa.gov>, Thomas Boyer-Chammard <Thomas.Boyer.Chammard@jpl.nasa.gov>
 License: 
@@ -240,10 +240,11 @@ Requires-Dist: Jinja2>=2.11.3
 Requires-Dist: openpyxl>=3.0.10
 Requires-Dist: pyserial>=3.5
 Requires-Dist: pydantic>=2.6
+Dynamic: license-file
 
 # F´ GDS
 
-**Note:** This README describes GDS internals. Refer to the [user's guide](https://nasa.github.io/fprime/UsersGuide/gds/gds-introduction.html) for instructions on how to use the GDS.
+**Note:** This README describes GDS internals. Refer to the [F´ Documentation](https://fprime.jpl.nasa.gov/latest/docs/user-manual/overview/gds-introduction/) for instructions on how to use the GDS.
 
 Issues should be reported here: [File an issue](https://github.com/nasa/fprime/issues/new/choose)
 
@@ -268,7 +269,8 @@ output data type included. Command data objects are created in the command panel
 the command encoder registered to that panel. Encoders take a data object and turn it into binary
 data that can be sent to the F´ deployment. The binary data is then passed to the TCP client
 which is registered to the encoder. Finally, the TCP client send the data back to the TCP server and
-the F´ deployment. ![The layout of the GDS](https://github.com/nasa/fprime/blob/devel/docs/UsersGuide/media/gds_layout.jpg)
+the F´ deployment.  
+![The layout of the GDS](https://raw.githubusercontent.com/nasa/fprime/refs/heads/devel/docs/img/gds_layout.jpg)
 
 All of these objects are created and registered to other objects when the GDS
 is initialized. Thus, all of the structure of the GDS is created in one place,
@@ -285,15 +287,11 @@ commands and registering consumers to the GDS decoders. The Standard Pipeline ca
 [here](src/fprime_gds/common/pipeline/standard.py).
 
 ### GDS Integration Test API
-The Integration Test API is a tool that provides the ability to write integration-level tests for an
-F´ deployment using the GDS. The tool provides history searches/asserts, command sending, a
-detailed test log, sub-histories and convenient access to GDS data objects. The test API comes with
-separate [documentation](https://github.com/nasa/fprime/blob/master/docs/UsersGuide/dev/testAPI/markdown/contents.md) and its own [user
-guide](https://github.com/nasa/fprime/blob/master/docs/UsersGuide/dev/testAPI/user_guide.md) and is built on top of the Standard Pipeline.
+The Integration Test API is a tool that provides the ability to write integration-level tests for an F´ deployment using the GDS. The tool provides history searches/asserts, command sending, a detailed test log, sub-histories and convenient access to GDS data objects. The test API comes with its own [user guide](https://fprime.jpl.nasa.gov/latest/docs/user-manual/gds/gds-test-api-guide/) and is built on top of the Standard Pipeline.
 
 ## GDS GUI Usage
 
-A guide for how to use the GDS is available in the [fprime documentation](https://nasa.github.io/fprime/UsersGuide/gds/gds-introduction.html)
+A guide for how to use the GDS is available in the [F Prime documentation](https://fprime.jpl.nasa.gov/latest/docs/user-manual/overview/gds-introduction)
 
 ## Classes
 The GDS back end is composed of several different data processing units. For 
@@ -316,8 +314,15 @@ that descriptor. Descriptor types include events, channels, packets, etc (a full
 enumeration can be found in (src/utils/data_desc_type.py). The binary data that 
 the descriptor receives should be of the form:
 
-| Length (4 bytes) | Type Descriptor (4 bytes) | Message Data |
-| ---------------- | ------------------------- | ------------ |
+```mermaid
+---
+title: "Binary format received by Distributors"
+---
+packet-beta
+  0-31: "Length [4 bytes]"
+  32-63: "Type Descriptor [4 bytes]"
+  64-95: "Message Data [variable length]"
+```
 
 The distributor should then pass only the message data along to the decoders. 
 
@@ -433,10 +438,3 @@ pip install doxypypy
 
 Next, make `docs/py_filter` available in your system path however you see fit.
 Now you can run `doxygen Doxyfile` in the root directory to generate documentation in `docs/doxy/index.html`
-
-## Notes
- - Currently, the models/common directory has command.py, event.py, and
-   channel.py. These files must be present in order for the python dictionaries
-   to be properly imported. However, they are empty and not used in the GDS. 
-   When we switch fully to XML dictionaries, these can go away. 
-

{fprime_gds-3.6.2a1 → fprime_gds-4.0.0a1}/README.md

@@ -1,6 +1,6 @@
 # F´ GDS
 
-**Note:** This README describes GDS internals. Refer to the [user's guide](https://nasa.github.io/fprime/UsersGuide/gds/gds-introduction.html) for instructions on how to use the GDS.
+**Note:** This README describes GDS internals. Refer to the [F´ Documentation](https://fprime.jpl.nasa.gov/latest/docs/user-manual/overview/gds-introduction/) for instructions on how to use the GDS.
 
 Issues should be reported here: [File an issue](https://github.com/nasa/fprime/issues/new/choose)
 
@@ -25,7 +25,8 @@ output data type included. Command data objects are created in the command panel
 the command encoder registered to that panel. Encoders take a data object and turn it into binary
 data that can be sent to the F´ deployment. The binary data is then passed to the TCP client
 which is registered to the encoder. Finally, the TCP client send the data back to the TCP server and
-the F´ deployment. ![The layout of the GDS](https://github.com/nasa/fprime/blob/devel/docs/UsersGuide/media/gds_layout.jpg)
+the F´ deployment.  
+![The layout of the GDS](https://raw.githubusercontent.com/nasa/fprime/refs/heads/devel/docs/img/gds_layout.jpg)
 
 All of these objects are created and registered to other objects when the GDS
 is initialized. Thus, all of the structure of the GDS is created in one place,
@@ -42,15 +43,11 @@ commands and registering consumers to the GDS decoders. The Standard Pipeline ca
 [here](src/fprime_gds/common/pipeline/standard.py).
 
 ### GDS Integration Test API
-The Integration Test API is a tool that provides the ability to write integration-level tests for an
-F´ deployment using the GDS. The tool provides history searches/asserts, command sending, a
-detailed test log, sub-histories and convenient access to GDS data objects. The test API comes with
-separate [documentation](https://github.com/nasa/fprime/blob/master/docs/UsersGuide/dev/testAPI/markdown/contents.md) and its own [user
-guide](https://github.com/nasa/fprime/blob/master/docs/UsersGuide/dev/testAPI/user_guide.md) and is built on top of the Standard Pipeline.
+The Integration Test API is a tool that provides the ability to write integration-level tests for an F´ deployment using the GDS. The tool provides history searches/asserts, command sending, a detailed test log, sub-histories and convenient access to GDS data objects. The test API comes with its own [user guide](https://fprime.jpl.nasa.gov/latest/docs/user-manual/gds/gds-test-api-guide/) and is built on top of the Standard Pipeline.
 
 ## GDS GUI Usage
 
-A guide for how to use the GDS is available in the [fprime documentation](https://nasa.github.io/fprime/UsersGuide/gds/gds-introduction.html)
+A guide for how to use the GDS is available in the [F Prime documentation](https://fprime.jpl.nasa.gov/latest/docs/user-manual/overview/gds-introduction)
 
 ## Classes
 The GDS back end is composed of several different data processing units. For 
@@ -73,8 +70,15 @@ that descriptor. Descriptor types include events, channels, packets, etc (a full
 enumeration can be found in (src/utils/data_desc_type.py). The binary data that 
 the descriptor receives should be of the form:
 
-| Length (4 bytes) | Type Descriptor (4 bytes) | Message Data |
-| ---------------- | ------------------------- | ------------ |
+```mermaid
+---
+title: "Binary format received by Distributors"
+---
+packet-beta
+  0-31: "Length [4 bytes]"
+  32-63: "Type Descriptor [4 bytes]"
+  64-95: "Message Data [variable length]"
+```
 
 The distributor should then pass only the message data along to the decoders. 
 
@@ -190,10 +194,3 @@ pip install doxypypy
 
 Next, make `docs/py_filter` available in your system path however you see fit.
 Now you can run `doxygen Doxyfile` in the root directory to generate documentation in `docs/doxy/index.html`
-
-## Notes
- - Currently, the models/common directory has command.py, event.py, and
-   channel.py. These files must be present in order for the python dictionaries
-   to be properly imported. However, they are empty and not used in the GDS. 
-   When we switch fully to XML dictionaries, these can go away. 
-

{fprime_gds-3.6.2a1 → fprime_gds-4.0.0a1}/pyproject.toml

@@ -61,6 +61,8 @@ fprime-cli = "fprime_gds.executables.fprime_cli:main"
 fprime-seqgen = "fprime_gds.common.tools.seqgen:main"
 fprime-dp-write = "fprime_gds.executables.data_product_writer:main"
 fprime-gds = "fprime_gds.executables.run_deployment:main"
+fprime-prm-write = "fprime_gds.common.tools.params:main"
+fprime-fpy-bytecode = "fprime_gds.common.fpy.serialize_bytecode:main"
 
 # For Pytest fixtures
 [project.entry-points."pytest11"]

{fprime_gds-3.6.2a1 → fprime_gds-4.0.0a1}/src/fprime_gds/common/decoders/ch_decoder.py

@@ -44,7 +44,7 @@ class ChDecoder(Decoder):
             config = config_manager.ConfigManager().get_instance()
 
         self.__dict = ch_dict
-        self.id_obj = config.get_type("ch_id")
+        self.id_obj = config.get_type("FwChanIdType")
 
     def decode_api(self, data):
         """

{fprime_gds-3.6.2a1 → fprime_gds-4.0.0a1}/src/fprime_gds/common/decoders/event_decoder.py

@@ -19,6 +19,7 @@ from fprime.common.models.serialize.type_exceptions import TypeException
 
 from fprime_gds.common.data_types import event_data
 from fprime_gds.common.decoders import decoder
+from fprime_gds.common.decoders.decoder import DecodingException
 from fprime_gds.common.utils import config_manager
 
 
@@ -43,7 +44,7 @@ class EventDecoder(decoder.Decoder):
             config = config_manager.ConfigManager().get_instance()
 
         self.__dict = event_dict
-        self.id_obj = config.get_type("event_id")
+        self.id_obj = config.get_type("FwEventIdType")
 
     def decode_api(self, data):
         """

{fprime_gds-3.6.2a1 → fprime_gds-4.0.0a1}/src/fprime_gds/common/decoders/pkt_decoder.py

@@ -45,7 +45,7 @@ class PktDecoder(ChDecoder):
         super().__init__(ch_dict, config)
 
         self.__dict = pkt_name_dict
-        self.id_obj = config.get_type("pkt_id")
+        self.id_obj = config.get_type("FwTlmPacketizeIdType")
 
     def decode_api(self, data):
         """

{fprime_gds-3.6.2a1 → fprime_gds-4.0.0a1}/src/fprime_gds/common/distributor/distributor.py

@@ -57,7 +57,7 @@ class Distributor(DataHandler):
             self.key_frame = int(config.get("framing", "key_val"), 16)
         self.key_obj = config.get_type("key_val")
         self.len_obj = config.get_type("msg_len")
-        self.desc_obj = config.get_type("msg_desc")
+        self.desc_obj = config.get_type("FwPacketDescriptorType")
 
     # NOTE we could use either the type of the object or an enum as the type argument.
     # It should indicate what the decoder decodes.
@@ -204,4 +204,4 @@ class Distributor(DataHandler):
                 try:
                     d.data_callback(msg)
                 except DecodingException as dexc:
-                    LOGGER.warning("Decoding error occurred: %s. Skipping.", dexc)
+                    LOGGER.warning("Decoding error occurred: %s. Skipping.", dexc)

{fprime_gds-3.6.2a1 → fprime_gds-4.0.0a1}/src/fprime_gds/common/encoders/ch_encoder.py

@@ -57,8 +57,8 @@ class ChEncoder(Encoder):
         super().__init__(config)
 
         self.len_obj = self.config.get_type("msg_len")
-        self.desc_obj = self.config.get_type("msg_desc")
-        self.id_obj = self.config.get_type("ch_id")
+        self.desc_obj = self.config.get_type("FwPacketDescriptorType")
+        self.id_obj = self.config.get_type("FwChanIdType")
 
     def encode_api(self, data):
         """

{fprime_gds-3.6.2a1 → fprime_gds-4.0.0a1}/src/fprime_gds/common/encoders/cmd_encoder.py

@@ -72,8 +72,8 @@ class CmdEncoder(encoder.Encoder):
         super().__init__(config)
 
         self.len_obj = self.config.get_type("msg_len")
-        self.desc_obj = self.config.get_type("msg_desc")
-        self.opcode_obj = self.config.get_type("op_code")
+        self.desc_obj = self.config.get_type("FwPacketDescriptorType")
+        self.opcode_obj = self.config.get_type("FwOpcodeType")
 
     def encode_api(self, data):
         """

{fprime_gds-3.6.2a1 → fprime_gds-4.0.0a1}/src/fprime_gds/common/encoders/event_encoder.py

@@ -61,8 +61,8 @@ class EventEncoder(Encoder):
         super().__init__(config)
 
         self.len_obj = self.config.get_type("msg_len")
-        self.desc_obj = self.config.get_type("msg_desc")
-        self.id_obj = self.config.get_type("event_id")
+        self.desc_obj = self.config.get_type("FwPacketDescriptorType")
+        self.id_obj = self.config.get_type("FwEventIdType")
 
     def encode_api(self, data):
         """

{fprime_gds-3.6.2a1 → fprime_gds-4.0.0a1}/src/fprime_gds/common/encoders/pkt_encoder.py

@@ -61,8 +61,8 @@ class PktEncoder(Encoder):
         super().__init__(config)
 
         self.len_obj = self.config.get_type("msg_len")
-        self.desc_obj = self.config.get_type("msg_desc")
-        self.id_obj = self.config.get_type("pkt_id")
+        self.desc_obj = self.config.get_type("FwPacketDescriptorType")
+        self.id_obj = self.config.get_type("FwTlmPacketizeIdType")
 
     def encode_api(self, data):
         """

{fprime_gds-3.6.2a1 → fprime_gds-4.0.0a1}/src/fprime_gds/common/encoders/seq_writer.py

@@ -28,8 +28,8 @@ class SeqBinaryWriter:
 
         self.__fd = None
         self.__timebase = timebase
-        self.desc_obj = config.get_type("msg_desc")
-        self.opcode_obj = config.get_type("op_code")
+        self.desc_obj = config.get_type("FwPacketDescriptorType")
+        self.opcode_obj = config.get_type("FwOpcodeType")
         self.len_obj = config.get_type("msg_len")
 
     def open(self, filename):

fprime_gds-4.0.0a1/src/fprime_gds/common/fpy/serialize_bytecode.py

@@ -0,0 +1,229 @@
+from __future__ import annotations
+from dataclasses import astuple
+import inspect
+import json
+from pathlib import Path
+from argparse import ArgumentParser
+import struct
+import zlib
+from fprime_gds.common.fpy.types import (
+    StatementTemplate,
+    StatementData,
+    Header,
+    Footer,
+    HEADER_FORMAT,
+    FOOTER_FORMAT,
+    StatementType,
+    FPY_DIRECTIVES,
+    BytecodeParseContext,
+    get_type_obj_for,
+)
+from fprime_gds.common.loaders.ch_json_loader import ChJsonLoader
+from fprime_gds.common.loaders.cmd_json_loader import CmdJsonLoader
+from fprime.common.models.serialize.numerical_types import (
+    U8Type,
+)
+
+from fprime_gds.common.loaders.prm_json_loader import PrmJsonLoader
+
+
+def serialize_statement(stmt: StatementData) -> bytes:
+    """converts a StatementData object into bytes that the FpySequencer can read"""
+    # see https://github.com/nasa/fprime/issues/3023#issuecomment-2693051677
+    # TODO replace this with actual documentation
+
+    # type: U8 (0 if directive, 1 if cmd)
+    # opcode: FwOpcodeType (default U32)
+    # argBufSize: FwSizeStoreType (default U16)
+    # argBuf: X bytes
+
+    output = bytes()
+    output += U8Type(stmt.template.statement_type.value).serialize()
+    output += get_type_obj_for("FwOpcodeType")(stmt.template.opcode).serialize()
+
+    arg_bytes = bytes()
+    for arg in stmt.arg_values:
+        arg_bytes += arg.serialize()
+
+    output += get_type_obj_for("FwSizeStoreType")(len(arg_bytes)).serialize()
+    output += arg_bytes
+
+    return output
+
+
+def parse_str_as_statement(
+    stmt: str, templates: list[StatementTemplate], context: BytecodeParseContext
+) -> StatementData:
+    """Converts a human-readable line of bytecode into a StatementData instance, given a list of
+    possible statement templates"""
+    name = stmt.split()[0]
+    args = stmt[len(name) :]
+
+    args = json.loads("[" + args + "]")
+
+    matching_template = [t for t in templates if t.name == name]
+    if len(matching_template) != 1:
+        # no unique match
+        if len(matching_template) == 0:
+            raise RuntimeError("Could not find command or directive " + str(name))
+        raise RuntimeError(
+            "Found multiple commands or directives with name " + str(name)
+        )
+    matching_template = matching_template[0]
+
+    arg_values = []
+    if len(args) < len(matching_template.args):
+        raise RuntimeError(
+            "Missing arguments for statement "
+            + str(matching_template.name)
+            + ": "
+            + str(matching_template.args[len(args) :])
+        )
+    if len(args) > len(matching_template.args):
+        raise RuntimeError(
+            "Extra arguments for"
+            + str(matching_template.name)
+            + ": "
+            + str(args[len(matching_template.args) :])
+        )
+    for index, arg_json in enumerate(args):
+        arg_type = matching_template.args[index]
+        if inspect.isclass(arg_type):
+            # it's a type. instantiate it with the json
+            arg_value = arg_type(arg_json)
+        else:
+            # it's a function. give it the json and the ctx
+            arg_value = arg_type(arg_json, context)
+        arg_values.append(arg_value)
+
+    return StatementData(matching_template, arg_values)
+
+
+def main():
+    arg_parser = ArgumentParser()
+    arg_parser.add_argument(
+        "input", type=Path, help="The path to the input .fpybc file"
+    )
+
+    arg_parser.add_argument(
+        "-d",
+        "--dictionary",
+        type=Path,
+        help="The JSON topology dictionary to compile against",
+        required=True,
+    )
+
+    arg_parser.add_argument(
+        "-o",
+        "--output",
+        type=Path,
+        help="The output .bin file path. Defaults to the input file path with a .bin extension",
+        default=None,
+    )
+
+    args = arg_parser.parse_args()
+
+    if not args.input.exists():
+        print("Input file", args.input, "does not exist")
+        exit(1)
+
+    if not args.dictionary.exists():
+        print("Dictionary file", args.dictionary, "does not exist")
+        exit(1)
+
+    serialize_bytecode(args.input, args.dictionary, args.output)
+
+
+def serialize_bytecode(input: Path, dictionary: Path, output: Path = None):
+    """Given an input .fpybc file, and a dictionary .json file, converts the
+    bytecode file into binary and writes it to the output file. If the output file
+    is None, writes it to the input file with a .bin extension"""
+    cmd_json_dict_loader = CmdJsonLoader(str(dictionary))
+    (_, cmd_name_dict, _) = cmd_json_dict_loader.construct_dicts(
+        str(dictionary)
+    )
+
+    stmt_templates = []
+    stmt_templates.extend(FPY_DIRECTIVES)
+    for cmd_template in cmd_name_dict.values():
+        stmt_template = StatementTemplate(
+            StatementType.CMD,
+            cmd_template.opcode,
+            cmd_template.get_full_name(),
+            [arg[2] for arg in cmd_template.arguments],
+        )
+        stmt_templates.append(stmt_template)
+
+    tlm_json_loader = ChJsonLoader(str(dictionary))
+    (_, tlm_name_dict, _) = tlm_json_loader.construct_dicts(
+        str(dictionary)
+    )
+
+    prm_json_loader = PrmJsonLoader(str(dictionary))
+    (_, prm_name_dict, _) = prm_json_loader.construct_dicts(
+        str(dictionary)
+    )
+
+    context = BytecodeParseContext()
+    context.types = cmd_json_dict_loader.parsed_types
+    context.channels = tlm_name_dict
+    context.params = prm_name_dict
+
+    input_lines = input.read_text().splitlines()
+    input_lines = [line.strip() for line in input_lines]
+    # remove comments and empty lines
+    input_lines = [
+        line for line in input_lines if not line.startswith(";") and len(line) > 0
+    ]
+
+    goto_tags = {}
+    stmt_idx = 0
+    statement_strs: list[str] = []
+    for stmt in input_lines:
+        if stmt.endswith(":"):
+            # it's a goto tag
+            goto_tags[stmt[:-1]] = stmt_idx
+        else:
+            statement_strs.append(stmt)
+            stmt_idx += 1
+
+    context.goto_tags = goto_tags
+
+    statements: list[StatementData] = []
+    for stmt_idx, stmt in enumerate(statement_strs):
+        try:
+            stmt_data = parse_str_as_statement(stmt, stmt_templates, context)
+            statements.append(stmt_data)
+        except BaseException as e:
+            raise RuntimeError(
+                "Exception while parsing statement index " + str(stmt_idx) + ": " + stmt
+            ) from e
+
+    # perform some checks for things we know will fail
+    for stmt in statements:
+        if stmt.template.name == "GOTO":
+            if stmt.arg_values[0].val > len(statements):
+                raise RuntimeError(
+                    f"GOTO index is outside the valid range for this sequence (was {stmt.arg_values[0].val}, should be <{len(statements)})"
+                )
+
+    output_bytes = bytes()
+
+    for stmt in statements:
+        output_bytes += serialize_statement(stmt)
+
+    header = Header(0, 0, 0, 1, 0, len(statements), len(output_bytes))
+    output_bytes = struct.pack(HEADER_FORMAT, *astuple(header)) + output_bytes
+
+    crc = zlib.crc32(output_bytes) % (1 << 32)
+    footer = Footer(crc)
+    output_bytes += struct.pack(FOOTER_FORMAT, *astuple(footer))
+
+    if output is None:
+        output = input.with_suffix(".bin")
+
+    output.write_bytes(output_bytes)
+
+
+if __name__ == "__main__":
+    main()