├── .gitmodules ├── rflx ├── py.typed ├── ls │ └── __init__.py ├── converter │ └── __init__.py ├── ide │ ├── gnatstudio │ │ └── __init__.py │ └── vscode │ │ ├── .gitignore │ │ └── .prettierignore ├── specification │ └── __init__.py ├── __main__.py ├── __init__.py ├── generator │ └── __init__.py └── doc │ └── user_guide │ └── _static │ ├── file.png │ ├── minus.png │ └── plus.png ├── tools ├── __init__.py ├── pre-push └── pre-commit ├── language └── __init__.py ├── tests ├── data │ ├── __init__.py │ ├── fixtures │ │ └── __init__.py │ ├── lrm_grammar │ │ ├── empty.txt │ │ ├── simple_grammar.txt │ │ ├── without_grammar.rst │ │ ├── invalid_grammar.rst │ │ └── simple_grammar.rst │ ├── validator │ │ ├── __init__.py │ │ ├── checksum_missing_attribute.py │ │ ├── checksum_message │ │ │ └── valid │ │ │ │ ├── sample_1.raw │ │ │ │ └── sample_2.raw │ │ ├── parameterized │ │ │ └── message │ │ │ │ ├── valid │ │ │ │ └── parameterized_message.raw │ │ │ │ └── invalid │ │ │ │ ├── parameterized_message_excess_parameter.raw │ │ │ │ └── parameterized_message_missing_parameter.raw │ │ ├── ethernet │ │ │ └── frame │ │ │ │ ├── valid2 │ │ │ │ ├── 802.3-LLC-CDP.raw │ │ │ │ └── EII-802.1AD-802.1Q-IPv4.raw │ │ │ │ ├── valid3 │ │ │ │ ├── ethernet_802.3.bin │ │ │ │ └── ethernet_ipv4_udp.dat │ │ │ │ ├── invalid2 │ │ │ │ ├── ethernet_undefined.raw │ │ │ │ └── ethernet_802.3_invalid_length.raw │ │ │ │ └── invalid3 │ │ │ │ ├── ethernet_invalid_too_long.bin │ │ │ │ └── ethernet_invalid_too_short.dat │ │ ├── checksum_invalid_attribute_type.py │ │ └── checksum_invalid_field_dict_type.py │ ├── specs │ │ ├── invalid │ │ │ ├── incorrect_empty_file.rflx │ │ │ ├── TLS.rflx │ │ │ ├── Tls.rflx │ │ │ ├── incorrect_name.rflx │ │ │ ├── BadCasing.rflx │ │ │ └── incorrect_comment_only.rflx │ │ ├── empty_package.rflx │ │ ├── p4.rflx │ │ ├── context.rflx │ │ └── null_message.rflx │ └── captured │ │ └── ipv4_udp.raw ├── ide │ └── __init__.py ├── tools │ └── __init__.py ├── unit │ ├── __init__.py │ ├── ide │ │ ├── __init__.py │ │ └── gnatstudio │ │ │ ├── __init__.py │ │ │ └── recordflux_test.py │ ├── ls │ │ └── __init__.py │ ├── model │ │ ├── __init__.py │ │ ├── package_test.py │ │ └── top_level_declaration_test.py │ ├── converter │ │ └── __init__.py │ ├── generator │ │ ├── __init__.py │ │ ├── const_test.py │ │ ├── parser_test.py │ │ ├── message_test.py │ │ └── serializer_test.py │ ├── pyrflx │ │ ├── __init__.py │ │ ├── error_test.py │ │ └── utils_test.py │ ├── rapidflux │ │ ├── __init__.py │ │ └── consts_test.py │ ├── specification │ │ └── __init__.py │ ├── const_test.py │ ├── error_test.py │ ├── spark_test.py │ └── ty_test.py ├── end_to_end │ └── __init__.py ├── examples │ ├── __init__.py │ └── data │ │ ├── ipv6 │ │ └── invalid │ │ │ └── .keep │ │ ├── http_2 │ │ └── frame │ │ │ ├── valid │ │ │ ├── SETTINGS_0.raw │ │ │ ├── SETTINGS_3.raw │ │ │ ├── PING_44.raw │ │ │ ├── PING_45.raw │ │ │ ├── PING_48.raw │ │ │ ├── PING_49.raw │ │ │ ├── SETTINGS_1.raw │ │ │ ├── GOAWAY_66.raw │ │ │ ├── RST_STREAM_64.raw │ │ │ ├── WINDOW_UPDATE_37.raw │ │ │ ├── WINDOW_UPDATE_39.raw │ │ │ ├── WINDOW_UPDATE_41.raw │ │ │ ├── GOAWAY_58.raw │ │ │ ├── SETTINGS_40.raw │ │ │ └── HEADERS_68.raw │ │ │ └── invalid │ │ │ ├── PING_45_too_short.raw │ │ │ ├── SETTINGS_0_invalid_frame_type.raw │ │ │ └── RST_STREAM_64_invalid_error_code.raw │ │ ├── tls_alert │ │ └── alert │ │ │ └── valid │ │ │ └── dtls13-0_00.raw │ │ ├── tls_record │ │ └── tls_record │ │ │ ├── valid │ │ │ ├── tls13-1_06b.raw │ │ │ ├── tls13-1_08a.raw │ │ │ ├── tls13-2_01b.raw │ │ │ ├── tls13-2_02a.raw │ │ │ ├── tls13-2_07a.raw │ │ │ ├── tls13-2_08b.raw │ │ │ └── dtls13-1_03b.raw │ │ │ └── invalid │ │ │ └── dtls13-1_00.raw │ │ ├── tcp │ │ └── segment │ │ │ ├── invalid │ │ │ ├── telnet_000.yaml │ │ │ ├── TCP_SACK_00.yaml │ │ │ ├── ipv4-smtp_01.yaml │ │ │ ├── 200722_tcp_anon_00.yaml │ │ │ ├── PPTP_negotiation_02.yaml │ │ │ ├── ipv6-smtp.pcapng_00.yaml │ │ │ ├── connection_termination_3.yaml │ │ │ ├── 200722_win_scale_examples_anon_00.yaml │ │ │ └── Open_Network_Connection.pcapng_000.yaml │ │ │ └── valid │ │ │ ├── TCP_SACK_00.yaml │ │ │ ├── TCP_SACK_01.yaml │ │ │ ├── TCP_SACK_02.yaml │ │ │ ├── TCP_SACK_03.yaml │ │ │ ├── TCP_SACK_04.yaml │ │ │ ├── TCP_SACK_06.yaml │ │ │ ├── TCP_SACK_08.yaml │ │ │ ├── TCP_SACK_10.yaml │ │ │ ├── TCP_SACK_12.yaml │ │ │ ├── TCP_SACK_14.yaml │ │ │ ├── TCP_SACK_16.yaml │ │ │ ├── TCP_SACK_18.yaml │ │ │ ├── TCP_SACK_20.yaml │ │ │ ├── TCP_SACK_22.yaml │ │ │ ├── TCP_SACK_24.yaml │ │ │ ├── TCP_SACK_26.yaml │ │ │ ├── TCP_SACK_28.yaml │ │ │ ├── TCP_SACK_30.yaml │ │ │ ├── TCP_SACK_32.yaml │ │ │ ├── TCP_SACK_34.yaml │ │ │ ├── TCP_SACK_36.yaml │ │ │ ├── TCP_SACK_38.yaml │ │ │ ├── ipv4-smtp_00.yaml │ │ │ ├── ipv4-smtp_01.yaml │ │ │ ├── ipv4-smtp_02.yaml │ │ │ ├── ipv4-smtp_03.yaml │ │ │ ├── ipv4-smtp_04.yaml │ │ │ ├── ipv4-smtp_05.yaml │ │ │ ├── ipv4-smtp_06.yaml │ │ │ ├── ipv4-smtp_08.yaml │ │ │ ├── ipv4-smtp_09.yaml │ │ │ ├── ipv4-smtp_10.yaml │ │ │ ├── ipv4-smtp_11.yaml │ │ │ ├── ipv4-smtp_12.yaml │ │ │ ├── ipv4-smtp_13.yaml │ │ │ ├── ipv4-smtp_14.yaml │ │ │ ├── telnet_000.yaml │ │ │ ├── telnet_001.yaml │ │ │ ├── telnet_002.yaml │ │ │ ├── telnet_003.yaml │ │ │ ├── telnet_004.yaml │ │ │ ├── telnet_005.yaml │ │ │ ├── telnet_006.yaml │ │ │ ├── telnet_007.yaml │ │ │ ├── telnet_008.yaml │ │ │ ├── telnet_009.yaml │ │ │ ├── telnet_010.yaml │ │ │ ├── telnet_011.yaml │ │ │ ├── telnet_012.yaml │ │ │ ├── telnet_013.yaml │ │ │ ├── telnet_014.yaml │ │ │ ├── telnet_015.yaml │ │ │ ├── telnet_016.yaml │ │ │ ├── telnet_017.yaml │ │ │ ├── telnet_018.yaml │ │ │ ├── telnet_019.yaml │ │ │ ├── telnet_020.yaml │ │ │ ├── telnet_021.yaml │ │ │ ├── telnet_022.yaml │ │ │ ├── telnet_023.yaml │ │ │ ├── telnet_024.yaml │ │ │ ├── telnet_025.yaml │ │ │ ├── telnet_026.yaml │ │ │ ├── telnet_027.yaml │ │ │ ├── telnet_028.yaml │ │ │ ├── telnet_029.yaml │ │ │ ├── telnet_030.yaml │ │ │ ├── telnet_031.yaml │ │ │ ├── telnet_032.yaml │ │ │ ├── telnet_033.yaml │ │ │ ├── telnet_034.yaml │ │ │ ├── telnet_035.yaml │ │ │ ├── telnet_036.yaml │ │ │ ├── telnet_037.yaml │ │ │ ├── telnet_038.yaml │ │ │ ├── telnet_039.yaml │ │ │ ├── telnet_040.yaml │ │ │ ├── telnet_041.yaml │ │ │ ├── telnet_042.yaml │ │ │ ├── telnet_043.yaml │ │ │ ├── telnet_044.yaml │ │ │ ├── telnet_045.yaml │ │ │ ├── telnet_046.yaml │ │ │ ├── telnet_047.yaml │ │ │ ├── telnet_048.yaml │ │ │ ├── telnet_049.yaml │ │ │ ├── telnet_050.yaml │ │ │ ├── telnet_051.yaml │ │ │ ├── telnet_052.yaml │ │ │ ├── telnet_053.yaml │ │ │ ├── telnet_054.yaml │ │ │ ├── telnet_055.yaml │ │ │ ├── telnet_056.yaml │ │ │ ├── telnet_057.yaml │ │ │ ├── telnet_058.yaml │ │ │ ├── telnet_059.yaml │ │ │ ├── telnet_060.yaml │ │ │ ├── telnet_061.yaml │ │ │ ├── telnet_062.yaml │ │ │ ├── telnet_063.yaml │ │ │ ├── telnet_064.yaml │ │ │ ├── telnet_065.yaml │ │ │ ├── telnet_066.yaml │ │ │ ├── telnet_067.yaml │ │ │ ├── telnet_068.yaml │ │ │ ├── telnet_069.yaml │ │ │ ├── telnet_070.yaml │ │ │ ├── telnet_071.yaml │ │ │ ├── telnet_072.yaml │ │ │ ├── telnet_073.yaml │ │ │ ├── telnet_074.yaml │ │ │ ├── telnet_075.yaml │ │ │ ├── telnet_076.yaml │ │ │ ├── telnet_077.yaml │ │ │ ├── telnet_078.yaml │ │ │ ├── telnet_079.yaml │ │ │ ├── telnet_080.yaml │ │ │ ├── telnet_081.yaml │ │ │ ├── telnet_082.yaml │ │ │ ├── telnet_083.yaml │ │ │ ├── telnet_084.yaml │ │ │ ├── telnet_085.yaml │ │ │ ├── telnet_086.yaml │ │ │ ├── telnet_087.yaml │ │ │ ├── telnet_088.yaml │ │ │ ├── telnet_089.yaml │ │ │ ├── telnet_090.yaml │ │ │ ├── telnet_091.yaml │ │ │ ├── telnet_092.yaml │ │ │ ├── telnet_093.yaml │ │ │ ├── telnet_094.yaml │ │ │ ├── telnet_095.yaml │ │ │ ├── telnet_096.yaml │ │ │ ├── telnet_097.yaml │ │ │ ├── telnet_098.yaml │ │ │ ├── telnet_099.yaml │ │ │ ├── telnet_100.yaml │ │ │ ├── telnet_101.yaml │ │ │ ├── telnet_102.yaml │ │ │ ├── telnet_103.yaml │ │ │ ├── telnet_104.yaml │ │ │ ├── telnet_105.yaml │ │ │ ├── telnet_106.yaml │ │ │ ├── telnet_107.yaml │ │ │ ├── telnet_108.yaml │ │ │ ├── telnet_109.yaml │ │ │ ├── telnet_110.yaml │ │ │ ├── telnet_111.yaml │ │ │ ├── telnet_112.yaml │ │ │ ├── TCP_SACK_05.yaml │ │ │ ├── TCP_SACK_07.yaml │ │ │ ├── TCP_SACK_09.yaml │ │ │ ├── TCP_SACK_11.yaml │ │ │ ├── TCP_SACK_13.yaml │ │ │ ├── TCP_SACK_15.yaml │ │ │ ├── TCP_SACK_17.yaml │ │ │ ├── TCP_SACK_19.yaml │ │ │ ├── TCP_SACK_21.yaml │ │ │ ├── TCP_SACK_23.yaml │ │ │ ├── TCP_SACK_25.yaml │ │ │ ├── TCP_SACK_27.yaml │ │ │ ├── TCP_SACK_29.yaml │ │ │ ├── TCP_SACK_31.yaml │ │ │ ├── TCP_SACK_33.yaml │ │ │ ├── TCP_SACK_35.yaml │ │ │ ├── TCP_SACK_37.yaml │ │ │ ├── ipv4-smtp_07.yaml │ │ │ ├── 200722_tcp_anon_00.yaml │ │ │ ├── 200722_tcp_anon_01.yaml │ │ │ ├── 200722_tcp_anon_02.yaml │ │ │ ├── 200722_tcp_anon_03.yaml │ │ │ ├── 200722_tcp_anon_04.yaml │ │ │ ├── 200722_tcp_anon_05.yaml │ │ │ ├── 200722_tcp_anon_06.yaml │ │ │ ├── 200722_tcp_anon_07.yaml │ │ │ ├── 200722_tcp_anon_08.yaml │ │ │ ├── 200722_tcp_anon_09.yaml │ │ │ ├── 200722_tcp_anon_10.yaml │ │ │ ├── 200722_tcp_anon_11.yaml │ │ │ ├── 200722_tcp_anon_12.yaml │ │ │ ├── 200722_tcp_anon_13.yaml │ │ │ ├── 200722_tcp_anon_14.yaml │ │ │ ├── 200722_tcp_anon_15.yaml │ │ │ ├── 200722_tcp_anon_16.yaml │ │ │ ├── 200722_tcp_anon_17.yaml │ │ │ ├── 200722_tcp_anon_18.yaml │ │ │ ├── 200722_tcp_anon_19.yaml │ │ │ ├── 200722_tcp_anon_20.yaml │ │ │ ├── 200722_tcp_anon_21.yaml │ │ │ ├── 200722_tcp_anon_22.yaml │ │ │ ├── 200722_tcp_anon_23.yaml │ │ │ ├── 200722_tcp_anon_24.yaml │ │ │ ├── 200722_tcp_anon_25.yaml │ │ │ ├── 200722_tcp_anon_26.yaml │ │ │ ├── 200722_tcp_anon_27.yaml │ │ │ ├── 200722_tcp_anon_28.yaml │ │ │ ├── 200722_tcp_anon_29.yaml │ │ │ ├── 200722_tcp_anon_30.yaml │ │ │ ├── 200722_tcp_anon_31.yaml │ │ │ ├── 200722_tcp_anon_32.yaml │ │ │ ├── 200722_tcp_anon_33.yaml │ │ │ ├── 200722_tcp_anon_34.yaml │ │ │ ├── PPTP_negotiation_02.yaml │ │ │ ├── PPTP_negotiation_03.yaml │ │ │ ├── PPTP_negotiation_04.yaml │ │ │ ├── PPTP_negotiation_05.yaml │ │ │ ├── PPTP_negotiation_06.yaml │ │ │ ├── PPTP_negotiation_07.yaml │ │ │ ├── PPTP_negotiation_08.yaml │ │ │ ├── PPTP_negotiation_09.yaml │ │ │ ├── PPTP_negotiation_11.yaml │ │ │ ├── ipv6-smtp.pcapng_00.yaml │ │ │ ├── ipv6-smtp.pcapng_01.yaml │ │ │ ├── ipv6-smtp.pcapng_02.yaml │ │ │ ├── ipv6-smtp.pcapng_03.yaml │ │ │ ├── ipv6-smtp.pcapng_04.yaml │ │ │ ├── ipv6-smtp.pcapng_05.yaml │ │ │ ├── ipv6-smtp.pcapng_06.yaml │ │ │ ├── ipv6-smtp.pcapng_07.yaml │ │ │ ├── ipv6-smtp.pcapng_08.yaml │ │ │ ├── ipv6-smtp.pcapng_09.yaml │ │ │ ├── ipv6-smtp.pcapng_10.yaml │ │ │ ├── ipv6-smtp.pcapng_11.yaml │ │ │ ├── ipv6-smtp.pcapng_12.yaml │ │ │ ├── ipv6-smtp.pcapng_13.yaml │ │ │ ├── ipv6-smtp.pcapng_14.yaml │ │ │ ├── ipv6-smtp.pcapng_15.yaml │ │ │ ├── ipv6-smtp.pcapng_16.yaml │ │ │ ├── connection_termination_0.yaml │ │ │ ├── connection_termination_1.yaml │ │ │ ├── connection_termination_2.yaml │ │ │ ├── connection_termination_3.yaml │ │ │ ├── 200722_win_scale_examples_anon_00.yaml │ │ │ ├── 200722_win_scale_examples_anon_01.yaml │ │ │ ├── 200722_win_scale_examples_anon_02.yaml │ │ │ ├── 200722_win_scale_examples_anon_03.yaml │ │ │ ├── 200722_win_scale_examples_anon_04.yaml │ │ │ ├── 200722_win_scale_examples_anon_05.yaml │ │ │ ├── 200722_win_scale_examples_anon_06.yaml │ │ │ ├── 200722_win_scale_examples_anon_07.yaml │ │ │ ├── 200722_win_scale_examples_anon_08.yaml │ │ │ ├── 200722_win_scale_examples_anon_09.yaml │ │ │ ├── 200722_win_scale_examples_anon_10.yaml │ │ │ ├── 200722_win_scale_examples_anon_11.yaml │ │ │ ├── 200722_win_scale_examples_anon_12.yaml │ │ │ ├── 200722_win_scale_examples_anon_13.yaml │ │ │ ├── 200722_win_scale_examples_anon_14.yaml │ │ │ ├── 200722_win_scale_examples_anon_15.yaml │ │ │ ├── 200722_win_scale_examples_anon_16.yaml │ │ │ ├── 200722_win_scale_examples_anon_17.yaml │ │ │ ├── 200722_win_scale_examples_anon_18.yaml │ │ │ ├── 200722_win_scale_examples_anon_19.yaml │ │ │ ├── 200722_win_scale_examples_anon_20.yaml │ │ │ ├── 200722_win_scale_examples_anon_21.yaml │ │ │ ├── 200722_win_scale_examples_anon_22.yaml │ │ │ ├── 200722_win_scale_examples_anon_23.yaml │ │ │ ├── 200722_win_scale_examples_anon_24.yaml │ │ │ ├── 200722_win_scale_examples_anon_25.yaml │ │ │ ├── Open_Network_Connection.pcapng_000.yaml │ │ │ ├── Open_Network_Connection.pcapng_001.yaml │ │ │ ├── Open_Network_Connection.pcapng_002.yaml │ │ │ ├── Open_Network_Connection.pcapng_003.yaml │ │ │ ├── Open_Network_Connection.pcapng_004.yaml │ │ │ ├── Open_Network_Connection.pcapng_005.yaml │ │ │ ├── Open_Network_Connection.pcapng_006.yaml │ │ │ ├── Open_Network_Connection.pcapng_007.yaml │ │ │ ├── Open_Network_Connection.pcapng_008.yaml │ │ │ ├── Open_Network_Connection.pcapng_009.yaml │ │ │ ├── Open_Network_Connection.pcapng_012.yaml │ │ │ ├── Open_Network_Connection.pcapng_013.yaml │ │ │ ├── Open_Network_Connection.pcapng_014.yaml │ │ │ ├── Open_Network_Connection.pcapng_015.yaml │ │ │ ├── Open_Network_Connection.pcapng_016.yaml │ │ │ ├── Open_Network_Connection.pcapng_017.yaml │ │ │ ├── Open_Network_Connection.pcapng_018.yaml │ │ │ ├── Open_Network_Connection.pcapng_019.yaml │ │ │ ├── Open_Network_Connection.pcapng_020.yaml │ │ │ ├── Open_Network_Connection.pcapng_021.yaml │ │ │ ├── Open_Network_Connection.pcapng_025.yaml │ │ │ ├── Open_Network_Connection.pcapng_026.yaml │ │ │ ├── Open_Network_Connection.pcapng_027.yaml │ │ │ ├── Open_Network_Connection.pcapng_028.yaml │ │ │ ├── Open_Network_Connection.pcapng_029.yaml │ │ │ ├── Open_Network_Connection.pcapng_030.yaml │ │ │ ├── Open_Network_Connection.pcapng_031.yaml │ │ │ ├── Open_Network_Connection.pcapng_032.yaml │ │ │ ├── Open_Network_Connection.pcapng_033.yaml │ │ │ ├── Open_Network_Connection.pcapng_034.yaml │ │ │ ├── Open_Network_Connection.pcapng_037.yaml │ │ │ ├── Open_Network_Connection.pcapng_038.yaml │ │ │ ├── Open_Network_Connection.pcapng_039.yaml │ │ │ ├── Open_Network_Connection.pcapng_040.yaml │ │ │ ├── Open_Network_Connection.pcapng_041.yaml │ │ │ ├── Open_Network_Connection.pcapng_042.yaml │ │ │ ├── Open_Network_Connection.pcapng_043.yaml │ │ │ ├── Open_Network_Connection.pcapng_044.yaml │ │ │ ├── Open_Network_Connection.pcapng_045.yaml │ │ │ ├── Open_Network_Connection.pcapng_046.yaml │ │ │ ├── Open_Network_Connection.pcapng_069.yaml │ │ │ ├── Open_Network_Connection.pcapng_070.yaml │ │ │ ├── Open_Network_Connection.pcapng_071.yaml │ │ │ ├── Open_Network_Connection.pcapng_072.yaml │ │ │ ├── Open_Network_Connection.pcapng_073.yaml │ │ │ ├── Open_Network_Connection.pcapng_074.yaml │ │ │ ├── Open_Network_Connection.pcapng_075.yaml │ │ │ ├── Open_Network_Connection.pcapng_076.yaml │ │ │ ├── Open_Network_Connection.pcapng_077.yaml │ │ │ ├── Open_Network_Connection.pcapng_078.yaml │ │ │ ├── Open_Network_Connection.pcapng_079.yaml │ │ │ ├── Open_Network_Connection.pcapng_080.yaml │ │ │ ├── Open_Network_Connection.pcapng_081.yaml │ │ │ ├── Open_Network_Connection.pcapng_082.yaml │ │ │ ├── Open_Network_Connection.pcapng_083.yaml │ │ │ ├── Open_Network_Connection.pcapng_084.yaml │ │ │ ├── Open_Network_Connection.pcapng_085.yaml │ │ │ ├── Open_Network_Connection.pcapng_086.yaml │ │ │ ├── Open_Network_Connection.pcapng_087.yaml │ │ │ ├── Open_Network_Connection.pcapng_088.yaml │ │ │ ├── Open_Network_Connection.pcapng_089.yaml │ │ │ ├── Open_Network_Connection.pcapng_090.yaml │ │ │ ├── Open_Network_Connection.pcapng_093.yaml │ │ │ ├── Open_Network_Connection.pcapng_094.yaml │ │ │ ├── Open_Network_Connection.pcapng_095.yaml │ │ │ ├── Open_Network_Connection.pcapng_096.yaml │ │ │ ├── Open_Network_Connection.pcapng_097.yaml │ │ │ ├── Open_Network_Connection.pcapng_098.yaml │ │ │ ├── Open_Network_Connection.pcapng_099.yaml │ │ │ ├── Open_Network_Connection.pcapng_100.yaml │ │ │ ├── Open_Network_Connection.pcapng_101.yaml │ │ │ ├── Open_Network_Connection.pcapng_102.yaml │ │ │ ├── Open_Network_Connection.pcapng_106.yaml │ │ │ ├── Open_Network_Connection.pcapng_107.yaml │ │ │ ├── Open_Network_Connection.pcapng_108.yaml │ │ │ ├── Open_Network_Connection.pcapng_109.yaml │ │ │ ├── Open_Network_Connection.pcapng_110.yaml │ │ │ ├── Open_Network_Connection.pcapng_111.yaml │ │ │ ├── Open_Network_Connection.pcapng_112.yaml │ │ │ ├── Open_Network_Connection.pcapng_113.yaml │ │ │ ├── Open_Network_Connection.pcapng_114.yaml │ │ │ └── Open_Network_Connection.pcapng_115.yaml │ │ ├── ethernet │ │ └── frame │ │ │ ├── valid │ │ │ ├── 802.3-LLC-CDP.yaml │ │ │ ├── ethernet_802.3.yaml │ │ │ ├── ethernet_ipv4_udp.yaml │ │ │ ├── ethernet_vlan_tag.yaml │ │ │ ├── EII-802.1Q-LLC-CDP.yaml │ │ │ ├── EII-802.1Q-LLC-STP.yaml │ │ │ ├── EII-802.1AD-802.1Q-IPv4.yaml │ │ │ ├── EII-802.1Q-802.1Q-IPv4-ICMP.yaml │ │ │ └── ethernet_double_vlan_tag.yaml │ │ │ └── invalid │ │ │ ├── ethernet_undefined.yaml │ │ │ ├── ethernet_invalid_too_short.yaml │ │ │ ├── ethernet_802.3_invalid_length.yaml │ │ │ └── ethernet_invalid_too_long.yaml │ │ ├── tls_handshake │ │ ├── ch_extension │ │ │ ├── invalid │ │ │ │ ├── tls13-2_00_hs_ch_ex1.raw │ │ │ │ ├── tls13-2_00_hs_ch_ex2.raw │ │ │ │ ├── tls13-1_04a_hs_ch_ex1.raw │ │ │ │ ├── tls13-1_04a_hs_ch_ex3.raw │ │ │ │ ├── tls13-1_04a_hs_ch_ex4.raw │ │ │ │ ├── tls13-1_04a_hs_ch_ex5.raw │ │ │ │ ├── tls13-2_00_hs_ch_ex4.raw │ │ │ │ └── tls13-2_00_hs_ch_ex7.raw │ │ │ └── valid │ │ │ │ ├── tls13-2_00_hs_ch_ex6.raw │ │ │ │ ├── tls13-1_04a_hs_ch_ex7.raw │ │ │ │ ├── tls13-1_04a_hs_ch_ex8.raw │ │ │ │ ├── tls13-2_00_hs_ch_ex8.raw │ │ │ │ ├── tls13-2_00_hs_ch_ex3.raw │ │ │ │ ├── tls13-1_04a_hs_ch_ex0.raw │ │ │ │ ├── tls13-1_04a_hs_ch_ex2.raw │ │ │ │ └── tls13-1_04a_hs_ch_ex6.raw │ │ └── sh_extension │ │ │ └── valid │ │ │ └── tls13-2_01a_hs_sh_ex1.raw │ │ ├── slpv2 │ │ └── slpv2 │ │ │ ├── valid │ │ │ ├── srvreq3.raw │ │ │ ├── attrreq1.raw │ │ │ └── srvreq2.raw │ │ │ └── invalid │ │ │ └── attrreq1.raw │ │ └── tls │ │ ├── dtls13-1.pcap │ │ ├── dtls13-2.pcap │ │ ├── tls13-1.pcap │ │ └── tls13-2.pcap ├── language │ └── __init__.py ├── property │ └── __init__.py ├── compilation │ └── __init__.py ├── integration │ └── __init__.py ├── verification │ └── __init__.py ├── property_verification │ └── __init__.py ├── feature │ ├── messages │ │ ├── test.rflx │ │ ├── universal.rflx │ │ └── generated │ │ │ ├── rflx.ads │ │ │ ├── rflx-universal.ads │ │ │ ├── rflx-rflx_types.ads │ │ │ ├── rflx-rflx_arithmetic.adb │ │ │ ├── rflx-rflx_arithmetic.ads │ │ │ ├── rflx-universal-message.adb │ │ │ ├── rflx-universal-message.ads │ │ │ ├── rflx-universal-option.adb │ │ │ ├── rflx-universal-option.ads │ │ │ ├── rflx-universal-options.ads │ │ │ ├── rflx-universal-values.ads │ │ │ ├── rflx-rflx_builtin_types.ads │ │ │ ├── rflx-rflx_generic_types.ads │ │ │ ├── rflx-universal-contains.adb │ │ │ ├── rflx-universal-contains.ads │ │ │ ├── rflx-rflx_message_sequence.adb │ │ │ ├── rflx-rflx_message_sequence.ads │ │ │ ├── rflx-rflx_scalar_sequence.adb │ │ │ ├── rflx-rflx_scalar_sequence.ads │ │ │ ├── rflx-rflx_types-operations.ads │ │ │ ├── rflx-rflx_types-operators.ads │ │ │ └── rflx-universal-option_types.ads │ ├── fsm_simple │ │ ├── universal.rflx │ │ └── generated │ │ │ ├── rflx.ads │ │ │ ├── rflx-rflx_types.ads │ │ │ ├── rflx-universal.ads │ │ │ ├── rflx-rflx_arithmetic.adb │ │ │ ├── rflx-rflx_arithmetic.ads │ │ │ ├── rflx-universal-option.adb │ │ │ ├── rflx-universal-option.ads │ │ │ ├── rflx-universal-values.ads │ │ │ ├── rflx-rflx_builtin_types.ads │ │ │ ├── rflx-rflx_generic_types.ads │ │ │ ├── rflx-universal-contains.adb │ │ │ ├── rflx-universal-contains.ads │ │ │ ├── rflx-universal-message.adb │ │ │ ├── rflx-universal-message.ads │ │ │ ├── rflx-universal-options.ads │ │ │ ├── rflx-rflx_message_sequence.adb │ │ │ ├── rflx-rflx_message_sequence.ads │ │ │ ├── rflx-rflx_scalar_sequence.adb │ │ │ ├── rflx-rflx_scalar_sequence.ads │ │ │ ├── rflx-rflx_types-operations.ads │ │ │ ├── rflx-rflx_types-operators.ads │ │ │ └── rflx-universal-option_types.ads │ ├── fsm_channels │ │ ├── universal.rflx │ │ └── generated │ │ │ ├── rflx.ads │ │ │ ├── rflx-rflx_types.ads │ │ │ ├── rflx-universal.ads │ │ │ ├── rflx-rflx_arithmetic.adb │ │ │ ├── rflx-rflx_arithmetic.ads │ │ │ ├── rflx-universal-message.adb │ │ │ ├── rflx-universal-message.ads │ │ │ ├── rflx-universal-option.adb │ │ │ ├── rflx-universal-option.ads │ │ │ ├── rflx-universal-options.ads │ │ │ ├── rflx-universal-values.ads │ │ │ ├── rflx-rflx_builtin_types.ads │ │ │ ├── rflx-rflx_generic_types.ads │ │ │ ├── rflx-rflx_scalar_sequence.adb │ │ │ ├── rflx-rflx_scalar_sequence.ads │ │ │ ├── rflx-rflx_types-operators.ads │ │ │ ├── rflx-universal-contains.adb │ │ │ ├── rflx-universal-contains.ads │ │ │ ├── rflx-rflx_message_sequence.adb │ │ │ ├── rflx-rflx_message_sequence.ads │ │ │ ├── rflx-rflx_types-operations.ads │ │ │ └── rflx-universal-option_types.ads │ ├── fsm_conversion │ │ ├── universal.rflx │ │ └── generated │ │ │ ├── rflx.ads │ │ │ ├── rflx-universal.ads │ │ │ ├── rflx-rflx_types.ads │ │ │ ├── rflx-rflx_arithmetic.adb │ │ │ ├── rflx-rflx_arithmetic.ads │ │ │ ├── rflx-universal-option.adb │ │ │ ├── rflx-universal-option.ads │ │ │ ├── rflx-universal-values.ads │ │ │ ├── rflx-rflx_builtin_types.ads │ │ │ ├── rflx-rflx_generic_types.ads │ │ │ ├── rflx-universal-contains.adb │ │ │ ├── rflx-universal-contains.ads │ │ │ ├── rflx-universal-message.adb │ │ │ ├── rflx-universal-message.ads │ │ │ ├── rflx-universal-options.ads │ │ │ ├── rflx-rflx_message_sequence.adb │ │ │ ├── rflx-rflx_message_sequence.ads │ │ │ ├── rflx-rflx_scalar_sequence.adb │ │ │ ├── rflx-rflx_scalar_sequence.ads │ │ │ ├── rflx-rflx_types-operations.ads │ │ │ ├── rflx-rflx_types-operators.ads │ │ │ └── rflx-universal-option_types.ads │ ├── fsm_functions │ │ ├── universal.rflx │ │ └── generated │ │ │ ├── rflx.ads │ │ │ ├── rflx-universal.ads │ │ │ ├── rflx-rflx_types.ads │ │ │ ├── rflx-rflx_arithmetic.adb │ │ │ ├── rflx-rflx_arithmetic.ads │ │ │ ├── rflx-universal-message.adb │ │ │ ├── rflx-universal-message.ads │ │ │ ├── rflx-universal-option.adb │ │ │ ├── rflx-universal-option.ads │ │ │ ├── rflx-universal-options.ads │ │ │ ├── rflx-universal-values.ads │ │ │ ├── rflx-rflx_builtin_types.ads │ │ │ ├── rflx-rflx_generic_types.ads │ │ │ ├── rflx-universal-contains.adb │ │ │ ├── rflx-universal-contains.ads │ │ │ ├── rflx-rflx_message_sequence.adb │ │ │ ├── rflx-rflx_message_sequence.ads │ │ │ ├── rflx-rflx_scalar_sequence.adb │ │ │ ├── rflx-rflx_scalar_sequence.ads │ │ │ ├── rflx-rflx_types-operations.ads │ │ │ ├── rflx-rflx_types-operators.ads │ │ │ └── rflx-universal-option_types.ads │ ├── fsm_integration │ │ ├── universal.rflx │ │ └── generated │ │ │ ├── rflx.ads │ │ │ ├── rflx-rflx_types.ads │ │ │ ├── rflx-universal.ads │ │ │ ├── rflx-rflx_arithmetic.adb │ │ │ ├── rflx-rflx_arithmetic.ads │ │ │ ├── rflx-universal-option.adb │ │ │ ├── rflx-universal-option.ads │ │ │ ├── rflx-universal-values.ads │ │ │ ├── rflx-rflx_builtin_types.ads │ │ │ ├── rflx-rflx_generic_types.ads │ │ │ ├── rflx-universal-contains.adb │ │ │ ├── rflx-universal-contains.ads │ │ │ ├── rflx-universal-message.adb │ │ │ ├── rflx-universal-message.ads │ │ │ ├── rflx-universal-options.ads │ │ │ ├── rflx-rflx_message_sequence.adb │ │ │ ├── rflx-rflx_message_sequence.ads │ │ │ ├── rflx-rflx_scalar_sequence.adb │ │ │ ├── rflx-rflx_scalar_sequence.ads │ │ │ ├── rflx-rflx_types-operations.ads │ │ │ ├── rflx-rflx_types-operators.ads │ │ │ └── rflx-universal-option_types.ads │ ├── fsm_minimal │ │ ├── universal.rflx │ │ └── generated │ │ │ ├── rflx.ads │ │ │ ├── rflx-rflx_types.ads │ │ │ ├── rflx-universal.ads │ │ │ ├── rflx-rflx_arithmetic.adb │ │ │ ├── rflx-rflx_arithmetic.ads │ │ │ ├── rflx-rflx_builtin_types.ads │ │ │ ├── rflx-rflx_generic_types.ads │ │ │ ├── rflx-universal-contains.adb │ │ │ ├── rflx-universal-contains.ads │ │ │ ├── rflx-universal-message.adb │ │ │ ├── rflx-universal-message.ads │ │ │ ├── rflx-universal-option.adb │ │ │ ├── rflx-universal-option.ads │ │ │ ├── rflx-universal-options.ads │ │ │ ├── rflx-universal-values.ads │ │ │ ├── rflx-rflx_scalar_sequence.adb │ │ │ ├── rflx-rflx_scalar_sequence.ads │ │ │ ├── rflx-rflx_types-operators.ads │ │ │ ├── rflx-rflx_message_sequence.adb │ │ │ ├── rflx-rflx_message_sequence.ads │ │ │ ├── rflx-rflx_types-operations.ads │ │ │ └── rflx-universal-option_types.ads │ ├── fsm_functions_opaque │ │ ├── universal.rflx │ │ └── generated │ │ │ ├── rflx.ads │ │ │ ├── rflx-rflx_types.ads │ │ │ ├── rflx-universal.ads │ │ │ ├── rflx-rflx_arithmetic.adb │ │ │ ├── rflx-rflx_arithmetic.ads │ │ │ ├── rflx-universal-option.adb │ │ │ ├── rflx-universal-option.ads │ │ │ ├── rflx-universal-values.ads │ │ │ ├── rflx-rflx_builtin_types.ads │ │ │ ├── rflx-rflx_generic_types.ads │ │ │ ├── rflx-universal-contains.adb │ │ │ ├── rflx-universal-contains.ads │ │ │ ├── rflx-universal-message.adb │ │ │ ├── rflx-universal-message.ads │ │ │ ├── rflx-universal-options.ads │ │ │ ├── rflx-rflx_message_sequence.adb │ │ │ ├── rflx-rflx_message_sequence.ads │ │ │ ├── rflx-rflx_scalar_sequence.adb │ │ │ ├── rflx-rflx_scalar_sequence.ads │ │ │ ├── rflx-rflx_types-operations.ads │ │ │ └── rflx-rflx_types-operators.ads │ ├── fsm_message_creation │ │ ├── universal.rflx │ │ └── generated │ │ │ ├── rflx.ads │ │ │ ├── rflx-rflx_types.ads │ │ │ ├── rflx-universal.ads │ │ │ ├── rflx-rflx_arithmetic.adb │ │ │ ├── rflx-rflx_arithmetic.ads │ │ │ ├── rflx-universal-option.adb │ │ │ ├── rflx-universal-option.ads │ │ │ ├── rflx-universal-values.ads │ │ │ ├── rflx-rflx_builtin_types.ads │ │ │ ├── rflx-rflx_generic_types.ads │ │ │ ├── rflx-universal-contains.adb │ │ │ ├── rflx-universal-contains.ads │ │ │ ├── rflx-universal-message.adb │ │ │ ├── rflx-universal-message.ads │ │ │ ├── rflx-universal-options.ads │ │ │ ├── rflx-rflx_message_sequence.adb │ │ │ ├── rflx-rflx_message_sequence.ads │ │ │ └── rflx-rflx_scalar_sequence.adb │ ├── fsm_reuse_of_message │ │ ├── universal.rflx │ │ └── generated │ │ │ ├── rflx.ads │ │ │ ├── rflx-rflx_types.ads │ │ │ ├── rflx-universal.ads │ │ │ ├── rflx-rflx_arithmetic.adb │ │ │ ├── rflx-rflx_arithmetic.ads │ │ │ ├── rflx-universal-option.adb │ │ │ ├── rflx-universal-option.ads │ │ │ ├── rflx-universal-values.ads │ │ │ ├── rflx-rflx_builtin_types.ads │ │ │ ├── rflx-rflx_generic_types.ads │ │ │ ├── rflx-universal-contains.adb │ │ │ ├── rflx-universal-contains.ads │ │ │ ├── rflx-universal-message.adb │ │ │ ├── rflx-universal-message.ads │ │ │ └── rflx-universal-options.ads │ ├── fsm_sequence_append │ │ ├── universal.rflx │ │ └── generated │ │ │ ├── rflx.ads │ │ │ ├── rflx-universal.ads │ │ │ ├── rflx-rflx_types.ads │ │ │ ├── rflx-rflx_arithmetic.adb │ │ │ ├── rflx-rflx_arithmetic.ads │ │ │ ├── rflx-universal-option.adb │ │ │ ├── rflx-universal-option.ads │ │ │ ├── rflx-universal-values.ads │ │ │ ├── rflx-rflx_builtin_types.ads │ │ │ ├── rflx-rflx_generic_types.ads │ │ │ ├── rflx-universal-contains.adb │ │ │ ├── rflx-universal-contains.ads │ │ │ ├── rflx-universal-message.adb │ │ │ ├── rflx-universal-message.ads │ │ │ └── rflx-universal-options.ads │ ├── fsm_append_unconstrained │ │ ├── universal.rflx │ │ └── generated │ │ │ ├── rflx.ads │ │ │ ├── rflx-universal.ads │ │ │ ├── rflx-rflx_types.ads │ │ │ ├── rflx-rflx_arithmetic.adb │ │ │ ├── rflx-rflx_arithmetic.ads │ │ │ ├── rflx-universal-option.adb │ │ │ ├── rflx-universal-option.ads │ │ │ ├── rflx-universal-values.ads │ │ │ ├── rflx-rflx_builtin_types.ads │ │ │ ├── rflx-rflx_generic_types.ads │ │ │ ├── rflx-universal-contains.adb │ │ │ ├── rflx-universal-contains.ads │ │ │ ├── rflx-universal-message.adb │ │ │ ├── rflx-universal-message.ads │ │ │ └── rflx-universal-options.ads │ ├── fsm_channel_multiplexing │ │ ├── universal.rflx │ │ └── generated │ │ │ ├── rflx.ads │ │ │ ├── rflx-universal.ads │ │ │ ├── rflx-rflx_types.ads │ │ │ ├── rflx-rflx_arithmetic.adb │ │ │ ├── rflx-rflx_arithmetic.ads │ │ │ ├── rflx-universal-option.adb │ │ │ ├── rflx-universal-option.ads │ │ │ ├── rflx-universal-values.ads │ │ │ ├── rflx-rflx_builtin_types.ads │ │ │ ├── rflx-rflx_generic_types.ads │ │ │ ├── rflx-universal-contains.adb │ │ │ ├── rflx-universal-contains.ads │ │ │ ├── rflx-universal-message.adb │ │ │ ├── rflx-universal-message.ads │ │ │ └── rflx-universal-options.ads │ ├── fsm_comprehension_head │ │ ├── universal.rflx │ │ └── generated │ │ │ ├── rflx.ads │ │ │ ├── rflx-rflx_types.ads │ │ │ ├── rflx-universal.ads │ │ │ ├── rflx-rflx_arithmetic.adb │ │ │ ├── rflx-rflx_arithmetic.ads │ │ │ ├── rflx-universal-message.adb │ │ │ ├── rflx-universal-message.ads │ │ │ ├── rflx-universal-option.adb │ │ │ ├── rflx-universal-option.ads │ │ │ ├── rflx-universal-options.ads │ │ │ ├── rflx-universal-values.ads │ │ │ ├── rflx-rflx_builtin_types.ads │ │ │ ├── rflx-rflx_generic_types.ads │ │ │ ├── rflx-rflx_scalar_sequence.adb │ │ │ ├── rflx-rflx_scalar_sequence.ads │ │ │ ├── rflx-rflx_types-operators.ads │ │ │ ├── rflx-universal-contains.adb │ │ │ └── rflx-universal-contains.ads │ ├── fsm_endianness │ │ └── generated │ │ │ ├── rflx.ads │ │ │ ├── rflx-rflx_types.ads │ │ │ ├── rflx-rflx_arithmetic.adb │ │ │ ├── rflx-rflx_arithmetic.ads │ │ │ ├── rflx-rflx_builtin_types.ads │ │ │ ├── rflx-rflx_generic_types.ads │ │ │ ├── rflx-rflx_message_sequence.adb │ │ │ ├── rflx-rflx_message_sequence.ads │ │ │ ├── rflx-rflx_scalar_sequence.adb │ │ │ ├── rflx-rflx_scalar_sequence.ads │ │ │ ├── rflx-rflx_types-operations.ads │ │ │ └── rflx-rflx_types-operators.ads │ ├── fsm_integration_multiple │ │ ├── universal.rflx │ │ ├── generated │ │ │ ├── rflx.ads │ │ │ ├── rflx-universal.ads │ │ │ ├── rflx-rflx_types.ads │ │ │ ├── rflx-rflx_arithmetic.adb │ │ │ ├── rflx-rflx_arithmetic.ads │ │ │ ├── rflx-universal-option.adb │ │ │ ├── rflx-universal-option.ads │ │ │ ├── rflx-universal-values.ads │ │ │ ├── rflx-rflx_builtin_types.ads │ │ │ ├── rflx-rflx_generic_types.ads │ │ │ ├── rflx-universal-contains.adb │ │ │ ├── rflx-universal-contains.ads │ │ │ ├── rflx-universal-message.adb │ │ │ ├── rflx-universal-message.ads │ │ │ └── rflx-universal-options.ads │ │ ├── b.rfi │ │ └── test.rfi │ ├── fsm_message_optimization │ │ ├── universal.rflx │ │ └── generated │ │ │ ├── rflx.ads │ │ │ ├── rflx-universal.ads │ │ │ ├── rflx-rflx_types.ads │ │ │ ├── rflx-rflx_arithmetic.adb │ │ │ ├── rflx-rflx_arithmetic.ads │ │ │ ├── rflx-universal-option.adb │ │ │ ├── rflx-universal-option.ads │ │ │ └── rflx-universal-values.ads │ ├── fsm_case_expression_aggregate │ │ ├── universal.rflx │ │ └── generated │ │ │ ├── rflx.ads │ │ │ ├── rflx-universal.ads │ │ │ ├── rflx-rflx_types.ads │ │ │ ├── rflx-rflx_arithmetic.adb │ │ │ ├── rflx-rflx_arithmetic.ads │ │ │ ├── rflx-universal-option.adb │ │ │ ├── rflx-universal-option.ads │ │ │ └── rflx-universal-values.ads │ ├── fsm_case_expression_numeric │ │ ├── universal.rflx │ │ └── generated │ │ │ ├── rflx.ads │ │ │ ├── rflx-rflx_types.ads │ │ │ ├── rflx-universal.ads │ │ │ ├── rflx-rflx_arithmetic.adb │ │ │ ├── rflx-rflx_arithmetic.ads │ │ │ ├── rflx-universal-message.adb │ │ │ ├── rflx-universal-message.ads │ │ │ ├── rflx-universal-option.adb │ │ │ ├── rflx-universal-option.ads │ │ │ ├── rflx-universal-options.ads │ │ │ └── rflx-universal-values.ads │ ├── fsm_comprehension_on_sequence │ │ ├── universal.rflx │ │ └── generated │ │ │ ├── rflx.ads │ │ │ ├── rflx-universal.ads │ │ │ ├── rflx-rflx_types.ads │ │ │ ├── rflx-rflx_arithmetic.adb │ │ │ ├── rflx-rflx_arithmetic.ads │ │ │ ├── rflx-universal-option.adb │ │ │ ├── rflx-universal-option.ads │ │ │ └── rflx-universal-values.ads │ ├── fsm_setting_of_message_fields │ │ ├── universal.rflx │ │ └── generated │ │ │ ├── rflx.ads │ │ │ └── rflx-rflx_types.ads │ ├── fsm_variable_initialization │ │ ├── universal.rflx │ │ └── generated │ │ │ ├── rflx.ads │ │ │ ├── rflx-rflx_types.ads │ │ │ ├── rflx-universal.ads │ │ │ ├── rflx-rflx_arithmetic.adb │ │ │ └── rflx-rflx_arithmetic.ads │ ├── messages_with_implict_size │ │ ├── universal.rflx │ │ └── generated │ │ │ ├── rflx.ads │ │ │ ├── rflx-rflx_types.ads │ │ │ ├── rflx-universal.ads │ │ │ ├── rflx-rflx_arithmetic.adb │ │ │ └── rflx-rflx_arithmetic.ads │ ├── fsm_comprehension_on_message_field │ │ ├── universal.rflx │ │ └── generated │ │ │ ├── rflx.ads │ │ │ ├── rflx-universal.ads │ │ │ └── rflx-rflx_types.ads │ ├── fsm_sequence_append_head │ │ └── generated │ │ │ ├── rflx.ads │ │ │ ├── rflx-rflx_types.ads │ │ │ ├── rflx-rflx_arithmetic.adb │ │ │ └── rflx-rflx_arithmetic.ads │ ├── messages_with_single_opaque_field │ │ ├── universal.rflx │ │ └── generated │ │ │ ├── rflx.ads │ │ │ └── rflx-rflx_types.ads │ ├── parameterized_messages │ │ └── generated │ │ │ ├── rflx.ads │ │ │ ├── rflx-rflx_types.ads │ │ │ ├── rflx-rflx_arithmetic.adb │ │ │ └── rflx-rflx_arithmetic.ads │ ├── messages_with_multiple_initial_links │ │ ├── universal.rflx │ │ └── generated │ │ │ ├── rflx.ads │ │ │ ├── rflx-rflx_types.ads │ │ │ └── rflx-universal.ads │ ├── shared │ │ └── test.rflx │ ├── message_with_variable_as_condition_on_same_field │ │ └── generated │ │ │ └── rflx.ads │ └── message_with_variable_as_condition_on_subsequent_field │ │ └── generated │ │ └── rflx.ads ├── spark │ └── spark.ads └── __init__.py ├── doc ├── user_guide │ └── __init__.py ├── examples │ └── .gitignore ├── language_reference │ ├── __init__.py │ └── verbal_mapping.json └── images │ ├── favicon.ico │ └── adacore-logo-white.png ├── examples └── apps │ ├── __init__.py │ ├── dccp │ ├── obj │ │ └── .gitkeep │ ├── generated │ │ └── .gitkeep │ ├── .gitignore │ ├── common.adc │ └── .vscode │ │ └── settings.json │ ├── ping │ ├── __init__.py │ ├── obj │ │ └── .gitkeep │ ├── generated │ │ └── .gitkeep │ └── .gitignore │ ├── wireguard │ ├── __init__.py │ ├── tai64_bindings │ │ └── .gitignore │ └── specs │ │ ├── icmp.rflx │ │ ├── ipv4.rflx │ │ ├── wireguard.rflx │ │ └── ipv4_option.rflx │ ├── spdm_responder │ ├── lib │ │ └── .gitkeep │ ├── obj │ │ └── .gitkeep │ ├── generated │ │ └── .gitkeep │ ├── tools │ │ └── __init__.py │ └── .gitignore │ └── dhcp_client │ ├── generated │ └── .gitkeep │ ├── obj_optimized │ └── .gitkeep │ └── .gitignore ├── poetry.toml ├── rapidflux └── src │ └── diagnostics.rs ├── defaults_backward_compatible.adc ├── .gitattributes └── librapidflux ├── src └── diagnostics.rs └── tests └── data └── sample.rflx /.gitmodules: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /rflx/py.typed: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tools/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /language/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /rflx/ls/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/data/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/ide/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/tools/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/unit/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /doc/user_guide/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /examples/apps/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /rflx/converter/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/end_to_end/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/examples/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/language/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/property/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/unit/ide/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/unit/ls/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/unit/model/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /doc/examples/.gitignore: -------------------------------------------------------------------------------- 1 | build 2 | -------------------------------------------------------------------------------- /examples/apps/dccp/obj/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /examples/apps/ping/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /examples/apps/ping/obj/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /rflx/ide/gnatstudio/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/compilation/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/data/fixtures/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/data/lrm_grammar/empty.txt: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/data/validator/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/integration/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/unit/converter/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/unit/generator/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/unit/pyrflx/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/unit/rapidflux/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/verification/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /doc/language_reference/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /examples/apps/dccp/generated/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /examples/apps/ping/generated/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /examples/apps/wireguard/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/examples/data/ipv6/invalid/.keep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/unit/ide/gnatstudio/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/unit/specification/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /examples/apps/spdm_responder/lib/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /examples/apps/spdm_responder/obj/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/property_verification/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /examples/apps/dhcp_client/generated/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /examples/apps/dhcp_client/obj_optimized/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /examples/apps/spdm_responder/generated/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /examples/apps/spdm_responder/tools/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /poetry.toml: -------------------------------------------------------------------------------- 1 | [warnings] 2 | export = false 3 | -------------------------------------------------------------------------------- /tools/pre-push: -------------------------------------------------------------------------------- 1 | #!/bin/sh 2 | 3 | make check 4 | -------------------------------------------------------------------------------- /tests/data/lrm_grammar/simple_grammar.txt: -------------------------------------------------------------------------------- 1 | foo 2 | -------------------------------------------------------------------------------- /tests/data/specs/invalid/incorrect_empty_file.rflx: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/data/validator/checksum_missing_attribute.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/feature/messages/test.rflx: -------------------------------------------------------------------------------- 1 | ../shared/test.rflx -------------------------------------------------------------------------------- /examples/apps/dccp/.gitignore: -------------------------------------------------------------------------------- 1 | /generated/* 2 | /obj/* 3 | -------------------------------------------------------------------------------- /examples/apps/dccp/common.adc: -------------------------------------------------------------------------------- 1 | pragma SPARK_Mode (On); 2 | -------------------------------------------------------------------------------- /examples/apps/wireguard/tai64_bindings/.gitignore: -------------------------------------------------------------------------------- 1 | /target 2 | -------------------------------------------------------------------------------- /tests/data/validator/checksum_message/valid/sample_1.raw: -------------------------------------------------------------------------------- 1 |  -------------------------------------------------------------------------------- /tests/data/validator/checksum_message/valid/sample_2.raw: -------------------------------------------------------------------------------- 1 |  -------------------------------------------------------------------------------- /tests/examples/data/http_2/frame/valid/SETTINGS_0.raw: -------------------------------------------------------------------------------- 1 |  -------------------------------------------------------------------------------- /tests/examples/data/http_2/frame/valid/SETTINGS_3.raw: -------------------------------------------------------------------------------- 1 |  -------------------------------------------------------------------------------- /tests/examples/data/tls_alert/alert/valid/dtls13-0_00.raw: -------------------------------------------------------------------------------- 1 | Z -------------------------------------------------------------------------------- /tests/feature/fsm_simple/universal.rflx: -------------------------------------------------------------------------------- 1 | ../shared/universal.rflx -------------------------------------------------------------------------------- /tests/feature/messages/universal.rflx: -------------------------------------------------------------------------------- 1 | ../shared/universal.rflx -------------------------------------------------------------------------------- /tests/spark/spark.ads: -------------------------------------------------------------------------------- 1 | package SPARK is 2 | 3 | end SPARK; 4 | -------------------------------------------------------------------------------- /examples/apps/wireguard/specs/icmp.rflx: -------------------------------------------------------------------------------- 1 | ../../ping/specs/icmp.rflx -------------------------------------------------------------------------------- /examples/apps/wireguard/specs/ipv4.rflx: -------------------------------------------------------------------------------- 1 | ../../ping/specs/ipv4.rflx -------------------------------------------------------------------------------- /tests/examples/data/http_2/frame/valid/PING_44.raw: -------------------------------------------------------------------------------- 1 |  -------------------------------------------------------------------------------- /tests/examples/data/http_2/frame/valid/PING_45.raw: -------------------------------------------------------------------------------- 1 |  -------------------------------------------------------------------------------- /tests/examples/data/http_2/frame/valid/PING_48.raw: -------------------------------------------------------------------------------- 1 |  -------------------------------------------------------------------------------- /tests/examples/data/http_2/frame/valid/PING_49.raw: -------------------------------------------------------------------------------- 1 |  -------------------------------------------------------------------------------- /tests/examples/data/http_2/frame/valid/SETTINGS_1.raw: -------------------------------------------------------------------------------- 1 | d -------------------------------------------------------------------------------- /tests/feature/fsm_channels/universal.rflx: -------------------------------------------------------------------------------- 1 | ../shared/universal.rflx -------------------------------------------------------------------------------- /tests/feature/fsm_conversion/universal.rflx: -------------------------------------------------------------------------------- 1 | ../shared/universal.rflx -------------------------------------------------------------------------------- /tests/feature/fsm_functions/universal.rflx: -------------------------------------------------------------------------------- 1 | ../shared/universal.rflx -------------------------------------------------------------------------------- /tests/feature/fsm_integration/universal.rflx: -------------------------------------------------------------------------------- 1 | ../shared/universal.rflx -------------------------------------------------------------------------------- /tests/feature/fsm_minimal/universal.rflx: -------------------------------------------------------------------------------- 1 | ../shared/universal.rflx -------------------------------------------------------------------------------- /tests/unit/const_test.py: -------------------------------------------------------------------------------- 1 | def test_dummy() -> None: 2 | pass 3 | -------------------------------------------------------------------------------- /tests/unit/error_test.py: -------------------------------------------------------------------------------- 1 | def test_dummy() -> None: 2 | pass 3 | -------------------------------------------------------------------------------- /tests/unit/spark_test.py: -------------------------------------------------------------------------------- 1 | def test_dummy() -> None: 2 | pass 3 | -------------------------------------------------------------------------------- /tests/unit/ty_test.py: -------------------------------------------------------------------------------- 1 | def test_dummy() -> None: 2 | pass 3 | -------------------------------------------------------------------------------- /tools/pre-commit: -------------------------------------------------------------------------------- 1 | #!/bin/sh 2 | 3 | make check_black check_isort 4 | -------------------------------------------------------------------------------- /examples/apps/ping/.gitignore: -------------------------------------------------------------------------------- 1 | /generated/* 2 | /obj/* 3 | /python 4 | -------------------------------------------------------------------------------- /examples/apps/wireguard/specs/wireguard.rflx: -------------------------------------------------------------------------------- 1 | ../../../specs/wireguard.rflx -------------------------------------------------------------------------------- /rapidflux/src/diagnostics.rs: -------------------------------------------------------------------------------- 1 | pub mod error; 2 | pub mod location; 3 | -------------------------------------------------------------------------------- /rflx/specification/__init__.py: -------------------------------------------------------------------------------- 1 | from .parser import Parser as Parser 2 | -------------------------------------------------------------------------------- /tests/data/specs/invalid/TLS.rflx: -------------------------------------------------------------------------------- 1 | package TLS is 2 | 3 | end TLS; 4 | -------------------------------------------------------------------------------- /tests/data/specs/invalid/Tls.rflx: -------------------------------------------------------------------------------- 1 | package TLS is 2 | 3 | end TLS; 4 | -------------------------------------------------------------------------------- /tests/examples/data/http_2/frame/valid/GOAWAY_66.raw: -------------------------------------------------------------------------------- 1 |  -------------------------------------------------------------------------------- /tests/examples/data/http_2/frame/valid/RST_STREAM_64.raw: -------------------------------------------------------------------------------- 1 |  -------------------------------------------------------------------------------- /tests/examples/data/http_2/frame/valid/WINDOW_UPDATE_37.raw: -------------------------------------------------------------------------------- 1 | ؂ -------------------------------------------------------------------------------- /tests/examples/data/http_2/frame/valid/WINDOW_UPDATE_39.raw: -------------------------------------------------------------------------------- 1 | ؂ -------------------------------------------------------------------------------- /tests/examples/data/http_2/frame/valid/WINDOW_UPDATE_41.raw: -------------------------------------------------------------------------------- 1 |  -------------------------------------------------------------------------------- /tests/examples/data/tls_record/tls_record/valid/tls13-1_06b.raw: -------------------------------------------------------------------------------- 1 |  -------------------------------------------------------------------------------- /tests/examples/data/tls_record/tls_record/valid/tls13-1_08a.raw: -------------------------------------------------------------------------------- 1 |  -------------------------------------------------------------------------------- /tests/examples/data/tls_record/tls_record/valid/tls13-2_01b.raw: -------------------------------------------------------------------------------- 1 |  -------------------------------------------------------------------------------- /tests/examples/data/tls_record/tls_record/valid/tls13-2_02a.raw: -------------------------------------------------------------------------------- 1 |  -------------------------------------------------------------------------------- /tests/examples/data/tls_record/tls_record/valid/tls13-2_07a.raw: -------------------------------------------------------------------------------- 1 |  -------------------------------------------------------------------------------- /tests/examples/data/tls_record/tls_record/valid/tls13-2_08b.raw: -------------------------------------------------------------------------------- 1 |  -------------------------------------------------------------------------------- /tests/feature/fsm_functions_opaque/universal.rflx: -------------------------------------------------------------------------------- 1 | ../shared/universal.rflx -------------------------------------------------------------------------------- /tests/feature/fsm_message_creation/universal.rflx: -------------------------------------------------------------------------------- 1 | ../shared/universal.rflx -------------------------------------------------------------------------------- /tests/feature/fsm_reuse_of_message/universal.rflx: -------------------------------------------------------------------------------- 1 | ../shared/universal.rflx -------------------------------------------------------------------------------- /tests/feature/fsm_sequence_append/universal.rflx: -------------------------------------------------------------------------------- 1 | ../shared/universal.rflx -------------------------------------------------------------------------------- /tests/feature/messages/generated/rflx.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx.ads -------------------------------------------------------------------------------- /defaults_backward_compatible.adc: -------------------------------------------------------------------------------- 1 | pragma Restrictions (No_Secondary_Stack); 2 | -------------------------------------------------------------------------------- /examples/apps/spdm_responder/.gitignore: -------------------------------------------------------------------------------- 1 | /generated/* 2 | /lib/* 3 | /obj/* 4 | -------------------------------------------------------------------------------- /tests/data/validator/parameterized/message/valid/parameterized_message.raw: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/examples/data/http_2/frame/invalid/PING_45_too_short.raw: -------------------------------------------------------------------------------- 1 |  -------------------------------------------------------------------------------- /tests/examples/data/http_2/frame/valid/GOAWAY_58.raw: -------------------------------------------------------------------------------- 1 | timeout -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/invalid/telnet_000.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 33 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/TCP_SACK_00.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 40 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/TCP_SACK_01.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 40 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/TCP_SACK_02.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/TCP_SACK_03.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 492 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/TCP_SACK_04.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/TCP_SACK_06.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/TCP_SACK_08.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/TCP_SACK_10.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/TCP_SACK_12.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/TCP_SACK_14.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/TCP_SACK_16.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/TCP_SACK_18.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/TCP_SACK_20.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/TCP_SACK_22.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/TCP_SACK_24.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/TCP_SACK_26.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/TCP_SACK_28.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/TCP_SACK_30.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 44 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/TCP_SACK_32.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 44 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/TCP_SACK_34.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 44 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/TCP_SACK_36.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 44 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/TCP_SACK_38.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/ipv4-smtp_00.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 40 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/ipv4-smtp_01.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 40 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/ipv4-smtp_02.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/ipv4-smtp_03.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 83 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/ipv4-smtp_04.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/ipv4-smtp_05.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 38 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/ipv4-smtp_06.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/ipv4-smtp_08.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/ipv4-smtp_09.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 38 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/ipv4-smtp_10.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 88 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/ipv4-smtp_11.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/ipv4-smtp_12.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/ipv4-smtp_13.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/ipv4-smtp_14.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_000.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 40 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_001.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 40 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_002.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_003.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 59 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_004.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_005.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 44 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_006.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_007.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 71 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_008.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_009.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 112 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_010.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 35 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_011.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 35 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_012.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 35 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_013.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 35 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_014.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 39 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_015.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_016.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 33 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_017.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 33 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_018.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_019.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 33 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_020.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 33 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_021.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_022.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 33 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_023.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 33 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_024.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_025.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 33 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_026.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 33 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_027.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_028.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 34 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_029.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 34 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_030.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_031.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 42 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_032.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_033.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 33 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_034.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_035.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 33 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_036.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_037.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 33 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_038.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_039.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 33 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_040.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_041.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 33 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_042.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_043.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 33 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_044.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_045.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 33 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_046.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_047.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 34 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_048.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_049.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 34 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_050.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_051.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 34 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_052.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_053.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 33 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_054.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 33 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_055.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_056.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 33 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_057.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 33 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_058.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_059.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 33 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_060.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 33 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_061.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_062.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 33 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_063.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 33 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_064.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_065.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 33 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_066.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 33 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_067.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_068.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 33 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_069.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 33 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_070.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_071.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 33 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_072.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 33 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_073.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_074.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 33 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_075.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 33 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_076.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_077.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 34 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_078.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 34 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_079.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_080.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 107 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_081.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_082.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 34 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_083.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_084.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 33 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_085.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 33 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_086.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_087.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 33 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_088.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_089.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 34 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_090.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_091.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 34 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_092.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_093.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 33 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_094.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 33 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_095.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_096.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 33 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_097.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 33 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_098.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_099.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 33 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_100.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 33 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_101.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_102.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 33 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_103.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 33 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_104.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_105.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 34 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_106.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 34 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_107.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_108.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 40 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_109.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_110.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_111.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/telnet_112.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/feature/fsm_append_unconstrained/universal.rflx: -------------------------------------------------------------------------------- 1 | ../shared/universal.rflx -------------------------------------------------------------------------------- /tests/feature/fsm_channel_multiplexing/universal.rflx: -------------------------------------------------------------------------------- 1 | ../shared/universal.rflx -------------------------------------------------------------------------------- /tests/feature/fsm_channels/generated/rflx.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx.ads -------------------------------------------------------------------------------- /tests/feature/fsm_comprehension_head/universal.rflx: -------------------------------------------------------------------------------- 1 | ../shared/universal.rflx -------------------------------------------------------------------------------- /tests/feature/fsm_conversion/generated/rflx.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx.ads -------------------------------------------------------------------------------- /tests/feature/fsm_endianness/generated/rflx.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx.ads -------------------------------------------------------------------------------- /tests/feature/fsm_functions/generated/rflx.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx.ads -------------------------------------------------------------------------------- /tests/feature/fsm_integration_multiple/universal.rflx: -------------------------------------------------------------------------------- 1 | ../shared/universal.rflx -------------------------------------------------------------------------------- /tests/feature/fsm_message_optimization/universal.rflx: -------------------------------------------------------------------------------- 1 | ../shared/universal.rflx -------------------------------------------------------------------------------- /tests/feature/fsm_minimal/generated/rflx.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx.ads -------------------------------------------------------------------------------- /tests/feature/fsm_simple/generated/rflx.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx.ads -------------------------------------------------------------------------------- /tests/unit/generator/const_test.py: -------------------------------------------------------------------------------- 1 | def test_dummy() -> None: 2 | pass 3 | -------------------------------------------------------------------------------- /tests/unit/generator/parser_test.py: -------------------------------------------------------------------------------- 1 | def test_dummy() -> None: 2 | pass 3 | -------------------------------------------------------------------------------- /tests/unit/model/package_test.py: -------------------------------------------------------------------------------- 1 | def test_dummy() -> None: 2 | pass 3 | -------------------------------------------------------------------------------- /tests/unit/pyrflx/error_test.py: -------------------------------------------------------------------------------- 1 | def test_dummy() -> None: 2 | pass 3 | -------------------------------------------------------------------------------- /tests/unit/pyrflx/utils_test.py: -------------------------------------------------------------------------------- 1 | def test_dummy() -> None: 2 | pass 3 | -------------------------------------------------------------------------------- /tests/unit/rapidflux/consts_test.py: -------------------------------------------------------------------------------- 1 | def test_dummy() -> None: 2 | pass 3 | -------------------------------------------------------------------------------- /examples/apps/wireguard/specs/ipv4_option.rflx: -------------------------------------------------------------------------------- 1 | ../../ping/specs/ipv4_option.rflx -------------------------------------------------------------------------------- /rflx/ide/vscode/.gitignore: -------------------------------------------------------------------------------- 1 | *.vsix 2 | .vscode-test/ 3 | node_modules/ 4 | out/ 5 | -------------------------------------------------------------------------------- /tests/data/lrm_grammar/without_grammar.rst: -------------------------------------------------------------------------------- 1 | This document contains no grammar. 2 | -------------------------------------------------------------------------------- /tests/data/specs/invalid/incorrect_name.rflx: -------------------------------------------------------------------------------- 1 | package Test is 2 | 3 | end Test; 4 | -------------------------------------------------------------------------------- /tests/examples/data/ethernet/frame/valid/802.3-LLC-CDP.yaml: -------------------------------------------------------------------------------- 1 | Frame_Size: 375 2 | -------------------------------------------------------------------------------- /tests/examples/data/ethernet/frame/valid/ethernet_802.3.yaml: -------------------------------------------------------------------------------- 1 | Frame_Size: 60 2 | -------------------------------------------------------------------------------- /tests/examples/data/ethernet/frame/valid/ethernet_ipv4_udp.yaml: -------------------------------------------------------------------------------- 1 | Frame_Size: 60 2 | -------------------------------------------------------------------------------- /tests/examples/data/ethernet/frame/valid/ethernet_vlan_tag.yaml: -------------------------------------------------------------------------------- 1 | Frame_Size: 65 2 | -------------------------------------------------------------------------------- /tests/examples/data/http_2/frame/invalid/SETTINGS_0_invalid_frame_type.raw: -------------------------------------------------------------------------------- 1 | U -------------------------------------------------------------------------------- /tests/examples/data/http_2/frame/valid/SETTINGS_40.raw: -------------------------------------------------------------------------------- 1 | d@ -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/invalid/TCP_SACK_00.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 35 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/invalid/ipv4-smtp_01.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 35 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/TCP_SACK_05.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 1480 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/TCP_SACK_07.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 1480 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/TCP_SACK_09.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 1480 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/TCP_SACK_11.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 1480 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/TCP_SACK_13.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 1480 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/TCP_SACK_15.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 1480 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/TCP_SACK_17.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 1480 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/TCP_SACK_19.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 1480 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/TCP_SACK_21.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 1480 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/TCP_SACK_23.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 1480 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/TCP_SACK_25.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 1480 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/TCP_SACK_27.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 1480 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/TCP_SACK_29.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 1480 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/TCP_SACK_31.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 1480 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/TCP_SACK_33.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 1480 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/TCP_SACK_35.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 1254 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/TCP_SACK_37.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 1480 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/ipv4-smtp_07.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 199 2 | -------------------------------------------------------------------------------- /tests/examples/data/tls_handshake/ch_extension/invalid/tls13-2_00_hs_ch_ex1.raw: -------------------------------------------------------------------------------- 1 |  -------------------------------------------------------------------------------- /tests/examples/data/tls_handshake/ch_extension/invalid/tls13-2_00_hs_ch_ex2.raw: -------------------------------------------------------------------------------- 1 | # -------------------------------------------------------------------------------- /tests/examples/data/tls_handshake/ch_extension/valid/tls13-2_00_hs_ch_ex6.raw: -------------------------------------------------------------------------------- 1 | - -------------------------------------------------------------------------------- /tests/feature/fsm_case_expression_aggregate/universal.rflx: -------------------------------------------------------------------------------- 1 | ../shared/universal.rflx -------------------------------------------------------------------------------- /tests/feature/fsm_case_expression_numeric/universal.rflx: -------------------------------------------------------------------------------- 1 | ../shared/universal.rflx -------------------------------------------------------------------------------- /tests/feature/fsm_comprehension_on_sequence/universal.rflx: -------------------------------------------------------------------------------- 1 | ../shared/universal.rflx -------------------------------------------------------------------------------- /tests/feature/fsm_integration/generated/rflx.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx.ads -------------------------------------------------------------------------------- /tests/feature/fsm_sequence_append/generated/rflx.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx.ads -------------------------------------------------------------------------------- /tests/feature/fsm_setting_of_message_fields/universal.rflx: -------------------------------------------------------------------------------- 1 | ../shared/universal.rflx -------------------------------------------------------------------------------- /tests/feature/fsm_variable_initialization/universal.rflx: -------------------------------------------------------------------------------- 1 | ../shared/universal.rflx -------------------------------------------------------------------------------- /tests/feature/messages_with_implict_size/universal.rflx: -------------------------------------------------------------------------------- 1 | ../shared/universal.rflx -------------------------------------------------------------------------------- /tests/unit/generator/message_test.py: -------------------------------------------------------------------------------- 1 | def test_dummy() -> None: 2 | pass 3 | -------------------------------------------------------------------------------- /tests/unit/generator/serializer_test.py: -------------------------------------------------------------------------------- 1 | def test_dummy() -> None: 2 | pass 3 | -------------------------------------------------------------------------------- /examples/apps/dhcp_client/.gitignore: -------------------------------------------------------------------------------- 1 | /generated/* 2 | /obj/* 3 | /obj_optimized/* 4 | -------------------------------------------------------------------------------- /rflx/ide/vscode/.prettierignore: -------------------------------------------------------------------------------- 1 | *.md 2 | node_modules 3 | out 4 | package-lock.json 5 | -------------------------------------------------------------------------------- /tests/data/specs/invalid/BadCasing.rflx: -------------------------------------------------------------------------------- 1 | package BadCasing is 2 | 3 | end BadCasing; 4 | -------------------------------------------------------------------------------- /tests/data/validator/ethernet/frame/valid2/802.3-LLC-CDP.raw: -------------------------------------------------------------------------------- 1 | ../valid/802.3-LLC-CDP.raw -------------------------------------------------------------------------------- /tests/data/validator/ethernet/frame/valid3/ethernet_802.3.bin: -------------------------------------------------------------------------------- 1 | ../valid/ethernet_802.3.raw -------------------------------------------------------------------------------- /tests/examples/data/ethernet/frame/invalid/ethernet_undefined.yaml: -------------------------------------------------------------------------------- 1 | Frame_Size: 34 2 | -------------------------------------------------------------------------------- /tests/examples/data/ethernet/frame/valid/EII-802.1Q-LLC-CDP.yaml: -------------------------------------------------------------------------------- 1 | Frame_Size: 373 2 | -------------------------------------------------------------------------------- /tests/examples/data/ethernet/frame/valid/EII-802.1Q-LLC-STP.yaml: -------------------------------------------------------------------------------- 1 | Frame_Size: 155 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/invalid/200722_tcp_anon_00.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 19 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/invalid/PPTP_negotiation_02.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 31 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/invalid/ipv6-smtp.pcapng_00.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 25 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_tcp_anon_00.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_tcp_anon_01.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_tcp_anon_02.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 26 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_tcp_anon_03.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 26 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_tcp_anon_04.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 20 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_tcp_anon_05.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 26 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_tcp_anon_06.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 20 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_tcp_anon_07.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 26 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_tcp_anon_08.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_tcp_anon_09.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_tcp_anon_10.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 26 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_tcp_anon_11.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 1480 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_tcp_anon_12.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 20 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_tcp_anon_13.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 1480 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_tcp_anon_14.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 20 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_tcp_anon_15.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 1480 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_tcp_anon_16.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 20 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_tcp_anon_17.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 1480 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_tcp_anon_18.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 20 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_tcp_anon_19.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 1480 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_tcp_anon_20.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 20 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_tcp_anon_21.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 1480 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_tcp_anon_22.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 20 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_tcp_anon_23.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 779 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_tcp_anon_24.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 20 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_tcp_anon_25.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 22 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_tcp_anon_26.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 26 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_tcp_anon_27.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 22 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_tcp_anon_28.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 26 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_tcp_anon_29.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 22 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_tcp_anon_30.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 26 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_tcp_anon_31.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 20 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_tcp_anon_32.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 26 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_tcp_anon_33.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 26 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_tcp_anon_34.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 20 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/PPTP_negotiation_02.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 36 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/PPTP_negotiation_03.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 26 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/PPTP_negotiation_04.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 20 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/PPTP_negotiation_05.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 176 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/PPTP_negotiation_06.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 176 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/PPTP_negotiation_07.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 20 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/PPTP_negotiation_08.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 188 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/PPTP_negotiation_09.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 52 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/PPTP_negotiation_11.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 20 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/ipv6-smtp.pcapng_00.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/ipv6-smtp.pcapng_01.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/ipv6-smtp.pcapng_02.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 20 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/ipv6-smtp.pcapng_03.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 71 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/ipv6-smtp.pcapng_04.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 20 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/ipv6-smtp.pcapng_05.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 21 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/ipv6-smtp.pcapng_06.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 20 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/ipv6-smtp.pcapng_07.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 21 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/ipv6-smtp.pcapng_08.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 20 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/ipv6-smtp.pcapng_09.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 21 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/ipv6-smtp.pcapng_10.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 20 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/ipv6-smtp.pcapng_11.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 21 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/ipv6-smtp.pcapng_12.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 20 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/ipv6-smtp.pcapng_13.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 22 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/ipv6-smtp.pcapng_14.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 20 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/ipv6-smtp.pcapng_15.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 213 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/ipv6-smtp.pcapng_16.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 20 2 | -------------------------------------------------------------------------------- /tests/examples/data/tls_handshake/ch_extension/invalid/tls13-1_04a_hs_ch_ex1.raw: -------------------------------------------------------------------------------- 1 |  -------------------------------------------------------------------------------- /tests/examples/data/tls_handshake/ch_extension/invalid/tls13-1_04a_hs_ch_ex3.raw: -------------------------------------------------------------------------------- 1 | # -------------------------------------------------------------------------------- /tests/examples/data/tls_handshake/ch_extension/invalid/tls13-1_04a_hs_ch_ex4.raw: -------------------------------------------------------------------------------- 1 |  -------------------------------------------------------------------------------- /tests/examples/data/tls_handshake/ch_extension/invalid/tls13-1_04a_hs_ch_ex5.raw: -------------------------------------------------------------------------------- 1 |  -------------------------------------------------------------------------------- /tests/examples/data/tls_handshake/ch_extension/invalid/tls13-2_00_hs_ch_ex4.raw: -------------------------------------------------------------------------------- 1 |  -------------------------------------------------------------------------------- /tests/examples/data/tls_handshake/ch_extension/valid/tls13-1_04a_hs_ch_ex7.raw: -------------------------------------------------------------------------------- 1 | + -------------------------------------------------------------------------------- /tests/examples/data/tls_handshake/ch_extension/valid/tls13-1_04a_hs_ch_ex8.raw: -------------------------------------------------------------------------------- 1 | - -------------------------------------------------------------------------------- /tests/examples/data/tls_handshake/sh_extension/valid/tls13-2_01a_hs_sh_ex1.raw: -------------------------------------------------------------------------------- 1 | + -------------------------------------------------------------------------------- /tests/feature/fsm_append_unconstrained/generated/rflx.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx.ads -------------------------------------------------------------------------------- /tests/feature/fsm_channel_multiplexing/generated/rflx.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx.ads -------------------------------------------------------------------------------- /tests/feature/fsm_comprehension_head/generated/rflx.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx.ads -------------------------------------------------------------------------------- /tests/feature/fsm_comprehension_on_message_field/universal.rflx: -------------------------------------------------------------------------------- 1 | ../shared/universal.rflx -------------------------------------------------------------------------------- /tests/feature/fsm_functions_opaque/generated/rflx.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx.ads -------------------------------------------------------------------------------- /tests/feature/fsm_integration_multiple/generated/rflx.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx.ads -------------------------------------------------------------------------------- /tests/feature/fsm_message_creation/generated/rflx.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx.ads -------------------------------------------------------------------------------- /tests/feature/fsm_message_optimization/generated/rflx.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx.ads -------------------------------------------------------------------------------- /tests/feature/fsm_reuse_of_message/generated/rflx.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx.ads -------------------------------------------------------------------------------- /tests/feature/fsm_sequence_append_head/generated/rflx.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx.ads -------------------------------------------------------------------------------- /tests/feature/messages_with_single_opaque_field/universal.rflx: -------------------------------------------------------------------------------- 1 | ../shared/universal.rflx -------------------------------------------------------------------------------- /tests/feature/parameterized_messages/generated/rflx.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx.ads -------------------------------------------------------------------------------- /tests/unit/ide/gnatstudio/recordflux_test.py: -------------------------------------------------------------------------------- 1 | def test_dummy() -> None: 2 | pass 3 | -------------------------------------------------------------------------------- /.gitattributes: -------------------------------------------------------------------------------- 1 | *.rflx linguist-language=Ada 2 | 3 | why3session.xml linguist-generated 4 | -------------------------------------------------------------------------------- /examples/apps/dccp/.vscode/settings.json: -------------------------------------------------------------------------------- 1 | { 2 | "ada.projectFile": "build.gpr" 3 | } 4 | -------------------------------------------------------------------------------- /librapidflux/src/diagnostics.rs: -------------------------------------------------------------------------------- 1 | pub mod error; 2 | pub mod location; 3 | pub mod logging; 4 | -------------------------------------------------------------------------------- /tests/__init__.py: -------------------------------------------------------------------------------- 1 | import pytest 2 | 3 | pytest.register_assert_rewrite("tests.utils") 4 | -------------------------------------------------------------------------------- /tests/data/specs/empty_package.rflx: -------------------------------------------------------------------------------- 1 | package Empty_Package is 2 | 3 | end Empty_Package; 4 | -------------------------------------------------------------------------------- /tests/data/validator/checksum_invalid_attribute_type.py: -------------------------------------------------------------------------------- 1 | checksum_functions = "not a dict" 2 | -------------------------------------------------------------------------------- /tests/examples/data/ethernet/frame/invalid/ethernet_invalid_too_short.yaml: -------------------------------------------------------------------------------- 1 | Frame_Size: 57 2 | -------------------------------------------------------------------------------- /tests/examples/data/ethernet/frame/valid/EII-802.1AD-802.1Q-IPv4.yaml: -------------------------------------------------------------------------------- 1 | Frame_Size: 1500 2 | -------------------------------------------------------------------------------- /tests/examples/data/ethernet/frame/valid/EII-802.1Q-802.1Q-IPv4-ICMP.yaml: -------------------------------------------------------------------------------- 1 | Frame_Size: 122 2 | -------------------------------------------------------------------------------- /tests/examples/data/ethernet/frame/valid/ethernet_double_vlan_tag.yaml: -------------------------------------------------------------------------------- 1 | Frame_Size: 68 2 | -------------------------------------------------------------------------------- /tests/examples/data/http_2/frame/invalid/RST_STREAM_64_invalid_error_code.raw: -------------------------------------------------------------------------------- 1 |  -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/invalid/connection_termination_3.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 17 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/connection_termination_0.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 20 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/connection_termination_1.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 26 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/connection_termination_2.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 26 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/connection_termination_3.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 20 2 | -------------------------------------------------------------------------------- /tests/examples/data/tls_handshake/ch_extension/valid/tls13-2_00_hs_ch_ex8.raw: -------------------------------------------------------------------------------- 1 | 2 |  -------------------------------------------------------------------------------- /tests/feature/fsm_case_expression_aggregate/generated/rflx.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx.ads -------------------------------------------------------------------------------- /tests/feature/fsm_case_expression_numeric/generated/rflx.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx.ads -------------------------------------------------------------------------------- /tests/feature/fsm_comprehension_on_sequence/generated/rflx.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx.ads -------------------------------------------------------------------------------- /tests/feature/fsm_setting_of_message_fields/generated/rflx.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx.ads -------------------------------------------------------------------------------- /tests/feature/fsm_variable_initialization/generated/rflx.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx.ads -------------------------------------------------------------------------------- /tests/feature/messages/generated/rflx-universal.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal.ads -------------------------------------------------------------------------------- /tests/feature/messages_with_implict_size/generated/rflx.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx.ads -------------------------------------------------------------------------------- /tests/feature/messages_with_multiple_initial_links/universal.rflx: -------------------------------------------------------------------------------- 1 | ../shared/universal.rflx -------------------------------------------------------------------------------- /tests/unit/model/top_level_declaration_test.py: -------------------------------------------------------------------------------- 1 | def test_dummy() -> None: 2 | pass 3 | -------------------------------------------------------------------------------- /doc/images/favicon.ico: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/RecordFlux/HEAD/doc/images/favicon.ico -------------------------------------------------------------------------------- /tests/data/validator/ethernet/frame/valid3/ethernet_ipv4_udp.dat: -------------------------------------------------------------------------------- 1 | ../valid/ethernet_ipv4_udp.raw -------------------------------------------------------------------------------- /tests/data/validator/parameterized/message/invalid/parameterized_message_excess_parameter.raw: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/data/validator/parameterized/message/invalid/parameterized_message_missing_parameter.raw: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/examples/data/ethernet/frame/invalid/ethernet_802.3_invalid_length.yaml: -------------------------------------------------------------------------------- 1 | Frame_Size: 60 2 | -------------------------------------------------------------------------------- /tests/examples/data/ethernet/frame/invalid/ethernet_invalid_too_long.yaml: -------------------------------------------------------------------------------- 1 | Frame_Size: 1521 2 | -------------------------------------------------------------------------------- /tests/examples/data/http_2/frame/valid/HEADERS_68.raw: -------------------------------------------------------------------------------- 1 | #H301\0nhttps://www.zeit.de/index -------------------------------------------------------------------------------- /tests/examples/data/tls_handshake/ch_extension/invalid/tls13-2_00_hs_ch_ex7.raw: -------------------------------------------------------------------------------- 1 | +  -------------------------------------------------------------------------------- /tests/feature/fsm_channels/generated/rflx-rflx_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_types.ads -------------------------------------------------------------------------------- /tests/feature/fsm_channels/generated/rflx-universal.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal.ads -------------------------------------------------------------------------------- /tests/feature/fsm_comprehension_on_message_field/generated/rflx.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx.ads -------------------------------------------------------------------------------- /tests/feature/fsm_conversion/generated/rflx-universal.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal.ads -------------------------------------------------------------------------------- /tests/feature/fsm_functions/generated/rflx-universal.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal.ads -------------------------------------------------------------------------------- /tests/feature/fsm_minimal/generated/rflx-rflx_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_types.ads -------------------------------------------------------------------------------- /tests/feature/fsm_minimal/generated/rflx-universal.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal.ads -------------------------------------------------------------------------------- /tests/feature/fsm_simple/generated/rflx-rflx_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_types.ads -------------------------------------------------------------------------------- /tests/feature/fsm_simple/generated/rflx-universal.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal.ads -------------------------------------------------------------------------------- /tests/feature/messages/generated/rflx-rflx_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_types.ads -------------------------------------------------------------------------------- /tests/feature/messages_with_single_opaque_field/generated/rflx.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx.ads -------------------------------------------------------------------------------- /tests/feature/shared/test.rflx: -------------------------------------------------------------------------------- 1 | with Universal; 2 | 3 | package Test is 4 | 5 | end Test; 6 | -------------------------------------------------------------------------------- /rflx/__main__.py: -------------------------------------------------------------------------------- 1 | import sys 2 | 3 | from rflx.cli import main 4 | 5 | sys.exit(main(sys.argv)) 6 | -------------------------------------------------------------------------------- /tests/data/lrm_grammar/invalid_grammar.rst: -------------------------------------------------------------------------------- 1 | **Syntax** 2 | 3 | .. productionlist:: 4 | start/ 5 | -------------------------------------------------------------------------------- /tests/data/specs/invalid/incorrect_comment_only.rflx: -------------------------------------------------------------------------------- 1 | -- This file only contains 2 | -- a comment. 3 | -------------------------------------------------------------------------------- /tests/data/validator/ethernet/frame/invalid2/ethernet_undefined.raw: -------------------------------------------------------------------------------- 1 | ../invalid/ethernet_undefined.raw -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/invalid/200722_win_scale_examples_anon_00.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 21 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/invalid/Open_Network_Connection.pcapng_000.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 26 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_win_scale_examples_anon_00.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_win_scale_examples_anon_01.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_win_scale_examples_anon_02.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 20 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_win_scale_examples_anon_03.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 26 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_win_scale_examples_anon_04.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 26 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_win_scale_examples_anon_05.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 26 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_win_scale_examples_anon_06.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 20 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_win_scale_examples_anon_07.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 20 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_win_scale_examples_anon_08.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 26 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_win_scale_examples_anon_09.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_win_scale_examples_anon_10.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 28 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_win_scale_examples_anon_11.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 20 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_win_scale_examples_anon_12.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 26 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_win_scale_examples_anon_13.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 26 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_win_scale_examples_anon_14.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 26 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_win_scale_examples_anon_15.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 20 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_win_scale_examples_anon_16.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 20 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_win_scale_examples_anon_17.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 26 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_win_scale_examples_anon_18.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 32 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_win_scale_examples_anon_19.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 20 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_win_scale_examples_anon_20.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 26 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_win_scale_examples_anon_21.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 26 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_win_scale_examples_anon_22.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 26 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_win_scale_examples_anon_23.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 20 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_win_scale_examples_anon_24.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 20 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/200722_win_scale_examples_anon_25.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 26 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_000.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 28 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_001.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 26 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_002.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 20 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_003.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 127 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_004.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 26 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_005.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 340 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_006.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 20 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_007.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 26 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_008.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 26 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_009.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 20 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_012.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 28 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_013.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 26 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_014.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 20 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_015.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 127 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_016.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 26 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_017.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 340 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_018.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 20 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_019.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 26 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_020.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 26 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_021.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 20 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_025.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 28 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_026.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 26 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_027.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 20 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_028.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 606 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_029.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 26 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_030.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 300 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_031.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 20 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_032.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 26 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_033.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 26 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_034.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 20 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_037.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 28 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_038.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 26 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_039.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 20 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_040.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 125 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_041.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 26 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_042.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 352 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_043.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 20 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_044.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 26 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_045.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 26 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_046.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 20 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_069.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 28 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_070.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 28 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_071.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 26 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_072.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 20 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_073.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 1480 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_074.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 1480 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_075.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 26 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_076.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 1480 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_077.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 1480 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_078.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 1480 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_079.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 26 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_080.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 1480 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_081.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 1480 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_082.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 561 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_083.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 26 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_084.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 26 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_085.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 26 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_086.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 392 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_087.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 20 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_088.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 26 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_089.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 26 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_090.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 20 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_093.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 28 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_094.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 26 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_095.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 20 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_096.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 127 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_097.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 26 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_098.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 340 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_099.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 20 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_100.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 26 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_101.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 26 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_102.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 20 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_106.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 28 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_107.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 26 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_108.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 20 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_109.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 125 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_110.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 26 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_111.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 340 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_112.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 20 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_113.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 26 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_114.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 26 2 | -------------------------------------------------------------------------------- /tests/examples/data/tcp/segment/valid/Open_Network_Connection.pcapng_115.yaml: -------------------------------------------------------------------------------- 1 | Segment_Length: 20 2 | -------------------------------------------------------------------------------- /tests/examples/data/tls_handshake/ch_extension/valid/tls13-2_00_hs_ch_ex3.raw: -------------------------------------------------------------------------------- 1 |  -------------------------------------------------------------------------------- /tests/feature/fsm_conversion/generated/rflx-rflx_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_types.ads -------------------------------------------------------------------------------- /tests/feature/fsm_endianness/generated/rflx-rflx_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_types.ads -------------------------------------------------------------------------------- /tests/feature/fsm_functions/generated/rflx-rflx_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_types.ads -------------------------------------------------------------------------------- /tests/feature/fsm_integration/generated/rflx-rflx_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_types.ads -------------------------------------------------------------------------------- /tests/feature/fsm_integration/generated/rflx-universal.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal.ads -------------------------------------------------------------------------------- /tests/feature/fsm_sequence_append/generated/rflx-universal.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal.ads -------------------------------------------------------------------------------- /tests/feature/messages_with_multiple_initial_links/generated/rflx.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx.ads -------------------------------------------------------------------------------- /tests/data/lrm_grammar/simple_grammar.rst: -------------------------------------------------------------------------------- 1 | **Syntax** 2 | 3 | .. productionlist:: 4 | root: "foo" 5 | -------------------------------------------------------------------------------- /tests/data/specs/p4.rflx: -------------------------------------------------------------------------------- 1 | package P4 is 2 | 3 | type Protocol_Number is unsigned 16; 4 | 5 | end P4; 6 | -------------------------------------------------------------------------------- /tests/data/validator/ethernet/frame/valid2/EII-802.1AD-802.1Q-IPv4.raw: -------------------------------------------------------------------------------- 1 | ../valid/EII-802.1AD-802.1Q-IPv4.raw -------------------------------------------------------------------------------- /tests/examples/data/slpv2/slpv2/valid/srvreq3.raw: -------------------------------------------------------------------------------- 1 | 8 Tenservice:directory-agentDEFAULT -------------------------------------------------------------------------------- /tests/examples/data/tls_handshake/ch_extension/valid/tls13-1_04a_hs_ch_ex0.raw: -------------------------------------------------------------------------------- 1 | example.ulfheim.net -------------------------------------------------------------------------------- /tests/examples/data/tls_handshake/ch_extension/valid/tls13-1_04a_hs_ch_ex2.raw: -------------------------------------------------------------------------------- 1 | 2 |  -------------------------------------------------------------------------------- /tests/examples/data/tls_record/tls_record/invalid/dtls13-1_00.raw: -------------------------------------------------------------------------------- 1 | ../../tls_plaintext/invalid/dtls13-1_00.raw -------------------------------------------------------------------------------- /tests/examples/data/tls_record/tls_record/valid/dtls13-1_03b.raw: -------------------------------------------------------------------------------- 1 | ../../dtls_ciphertext/valid/dtls13-1_03b.raw -------------------------------------------------------------------------------- /tests/feature/fsm_append_unconstrained/generated/rflx-universal.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal.ads -------------------------------------------------------------------------------- /tests/feature/fsm_channel_multiplexing/generated/rflx-universal.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal.ads -------------------------------------------------------------------------------- /tests/feature/fsm_channels/generated/rflx-rflx_arithmetic.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_arithmetic.adb -------------------------------------------------------------------------------- /tests/feature/fsm_channels/generated/rflx-rflx_arithmetic.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_arithmetic.ads -------------------------------------------------------------------------------- /tests/feature/fsm_comprehension_head/generated/rflx-rflx_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_types.ads -------------------------------------------------------------------------------- /tests/feature/fsm_comprehension_head/generated/rflx-universal.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal.ads -------------------------------------------------------------------------------- /tests/feature/fsm_functions_opaque/generated/rflx-rflx_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_types.ads -------------------------------------------------------------------------------- /tests/feature/fsm_functions_opaque/generated/rflx-universal.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal.ads -------------------------------------------------------------------------------- /tests/feature/fsm_integration_multiple/generated/rflx-universal.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal.ads -------------------------------------------------------------------------------- /tests/feature/fsm_message_creation/generated/rflx-rflx_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_types.ads -------------------------------------------------------------------------------- /tests/feature/fsm_message_creation/generated/rflx-universal.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal.ads -------------------------------------------------------------------------------- /tests/feature/fsm_message_optimization/generated/rflx-universal.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal.ads -------------------------------------------------------------------------------- /tests/feature/fsm_minimal/generated/rflx-rflx_arithmetic.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_arithmetic.adb -------------------------------------------------------------------------------- /tests/feature/fsm_minimal/generated/rflx-rflx_arithmetic.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_arithmetic.ads -------------------------------------------------------------------------------- /tests/feature/fsm_reuse_of_message/generated/rflx-rflx_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_types.ads -------------------------------------------------------------------------------- /tests/feature/fsm_reuse_of_message/generated/rflx-universal.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal.ads -------------------------------------------------------------------------------- /tests/feature/fsm_sequence_append/generated/rflx-rflx_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_types.ads -------------------------------------------------------------------------------- /tests/feature/fsm_simple/generated/rflx-rflx_arithmetic.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_arithmetic.adb -------------------------------------------------------------------------------- /tests/feature/fsm_simple/generated/rflx-rflx_arithmetic.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_arithmetic.ads -------------------------------------------------------------------------------- /tests/feature/fsm_simple/generated/rflx-universal-option.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-option.adb -------------------------------------------------------------------------------- /tests/feature/fsm_simple/generated/rflx-universal-option.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-option.ads -------------------------------------------------------------------------------- /tests/feature/fsm_simple/generated/rflx-universal-values.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-values.ads -------------------------------------------------------------------------------- /tests/feature/messages/generated/rflx-rflx_arithmetic.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_arithmetic.adb -------------------------------------------------------------------------------- /tests/feature/messages/generated/rflx-rflx_arithmetic.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_arithmetic.ads -------------------------------------------------------------------------------- /tests/feature/messages/generated/rflx-universal-message.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-message.adb -------------------------------------------------------------------------------- /tests/feature/messages/generated/rflx-universal-message.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-message.ads -------------------------------------------------------------------------------- /tests/feature/messages/generated/rflx-universal-option.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-option.adb -------------------------------------------------------------------------------- /tests/feature/messages/generated/rflx-universal-option.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-option.ads -------------------------------------------------------------------------------- /tests/feature/messages/generated/rflx-universal-options.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-options.ads -------------------------------------------------------------------------------- /tests/feature/messages/generated/rflx-universal-values.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-values.ads -------------------------------------------------------------------------------- /tests/feature/parameterized_messages/generated/rflx-rflx_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_types.ads -------------------------------------------------------------------------------- /rflx/__init__.py: -------------------------------------------------------------------------------- 1 | import importlib.metadata 2 | 3 | __version__ = importlib.metadata.version("RecordFlux") 4 | -------------------------------------------------------------------------------- /tests/examples/data/slpv2/slpv2/valid/attrreq1.raw: -------------------------------------------------------------------------------- 1 | > 7enservice:myserv.x://myhost.comDEFAULT -------------------------------------------------------------------------------- /tests/feature/fsm_append_unconstrained/generated/rflx-rflx_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_types.ads -------------------------------------------------------------------------------- /tests/feature/fsm_case_expression_aggregate/generated/rflx-universal.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal.ads -------------------------------------------------------------------------------- /tests/feature/fsm_case_expression_numeric/generated/rflx-rflx_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_types.ads -------------------------------------------------------------------------------- /tests/feature/fsm_case_expression_numeric/generated/rflx-universal.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal.ads -------------------------------------------------------------------------------- /tests/feature/fsm_channel_multiplexing/generated/rflx-rflx_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_types.ads -------------------------------------------------------------------------------- /tests/feature/fsm_channels/generated/rflx-universal-message.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-message.adb -------------------------------------------------------------------------------- /tests/feature/fsm_channels/generated/rflx-universal-message.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-message.ads -------------------------------------------------------------------------------- /tests/feature/fsm_channels/generated/rflx-universal-option.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-option.adb -------------------------------------------------------------------------------- /tests/feature/fsm_channels/generated/rflx-universal-option.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-option.ads -------------------------------------------------------------------------------- /tests/feature/fsm_channels/generated/rflx-universal-options.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-options.ads -------------------------------------------------------------------------------- /tests/feature/fsm_channels/generated/rflx-universal-values.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-values.ads -------------------------------------------------------------------------------- /tests/feature/fsm_comprehension_on_sequence/generated/rflx-universal.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal.ads -------------------------------------------------------------------------------- /tests/feature/fsm_conversion/generated/rflx-rflx_arithmetic.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_arithmetic.adb -------------------------------------------------------------------------------- /tests/feature/fsm_conversion/generated/rflx-rflx_arithmetic.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_arithmetic.ads -------------------------------------------------------------------------------- /tests/feature/fsm_conversion/generated/rflx-universal-option.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-option.adb -------------------------------------------------------------------------------- /tests/feature/fsm_conversion/generated/rflx-universal-option.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-option.ads -------------------------------------------------------------------------------- /tests/feature/fsm_conversion/generated/rflx-universal-values.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-values.ads -------------------------------------------------------------------------------- /tests/feature/fsm_endianness/generated/rflx-rflx_arithmetic.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_arithmetic.adb -------------------------------------------------------------------------------- /tests/feature/fsm_endianness/generated/rflx-rflx_arithmetic.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_arithmetic.ads -------------------------------------------------------------------------------- /tests/feature/fsm_functions/generated/rflx-rflx_arithmetic.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_arithmetic.adb -------------------------------------------------------------------------------- /tests/feature/fsm_functions/generated/rflx-rflx_arithmetic.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_arithmetic.ads -------------------------------------------------------------------------------- /tests/feature/fsm_functions/generated/rflx-universal-message.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-message.adb -------------------------------------------------------------------------------- /tests/feature/fsm_functions/generated/rflx-universal-message.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-message.ads -------------------------------------------------------------------------------- /tests/feature/fsm_functions/generated/rflx-universal-option.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-option.adb -------------------------------------------------------------------------------- /tests/feature/fsm_functions/generated/rflx-universal-option.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-option.ads -------------------------------------------------------------------------------- /tests/feature/fsm_functions/generated/rflx-universal-options.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-options.ads -------------------------------------------------------------------------------- /tests/feature/fsm_functions/generated/rflx-universal-values.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-values.ads -------------------------------------------------------------------------------- /tests/feature/fsm_integration/generated/rflx-rflx_arithmetic.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_arithmetic.adb -------------------------------------------------------------------------------- /tests/feature/fsm_integration/generated/rflx-rflx_arithmetic.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_arithmetic.ads -------------------------------------------------------------------------------- /tests/feature/fsm_integration/generated/rflx-universal-option.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-option.adb -------------------------------------------------------------------------------- /tests/feature/fsm_integration/generated/rflx-universal-option.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-option.ads -------------------------------------------------------------------------------- /tests/feature/fsm_integration/generated/rflx-universal-values.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-values.ads -------------------------------------------------------------------------------- /tests/feature/fsm_integration_multiple/generated/rflx-rflx_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_types.ads -------------------------------------------------------------------------------- /tests/feature/fsm_message_optimization/generated/rflx-rflx_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_types.ads -------------------------------------------------------------------------------- /tests/feature/fsm_minimal/generated/rflx-rflx_builtin_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_builtin_types.ads -------------------------------------------------------------------------------- /tests/feature/fsm_minimal/generated/rflx-rflx_generic_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_generic_types.ads -------------------------------------------------------------------------------- /tests/feature/fsm_minimal/generated/rflx-universal-contains.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-contains.adb -------------------------------------------------------------------------------- /tests/feature/fsm_minimal/generated/rflx-universal-contains.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-contains.ads -------------------------------------------------------------------------------- /tests/feature/fsm_minimal/generated/rflx-universal-message.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-message.adb -------------------------------------------------------------------------------- /tests/feature/fsm_minimal/generated/rflx-universal-message.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-message.ads -------------------------------------------------------------------------------- /tests/feature/fsm_minimal/generated/rflx-universal-option.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-option.adb -------------------------------------------------------------------------------- /tests/feature/fsm_minimal/generated/rflx-universal-option.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-option.ads -------------------------------------------------------------------------------- /tests/feature/fsm_minimal/generated/rflx-universal-options.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-options.ads -------------------------------------------------------------------------------- /tests/feature/fsm_minimal/generated/rflx-universal-values.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-values.ads -------------------------------------------------------------------------------- /tests/feature/fsm_sequence_append_head/generated/rflx-rflx_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_types.ads -------------------------------------------------------------------------------- /tests/feature/fsm_simple/generated/rflx-rflx_builtin_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_builtin_types.ads -------------------------------------------------------------------------------- /tests/feature/fsm_simple/generated/rflx-rflx_generic_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_generic_types.ads -------------------------------------------------------------------------------- /tests/feature/fsm_simple/generated/rflx-universal-contains.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-contains.adb -------------------------------------------------------------------------------- /tests/feature/fsm_simple/generated/rflx-universal-contains.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-contains.ads -------------------------------------------------------------------------------- /tests/feature/fsm_simple/generated/rflx-universal-message.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-message.adb -------------------------------------------------------------------------------- /tests/feature/fsm_simple/generated/rflx-universal-message.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-message.ads -------------------------------------------------------------------------------- /tests/feature/fsm_simple/generated/rflx-universal-options.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-options.ads -------------------------------------------------------------------------------- /tests/feature/fsm_variable_initialization/generated/rflx-rflx_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_types.ads -------------------------------------------------------------------------------- /tests/feature/fsm_variable_initialization/generated/rflx-universal.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal.ads -------------------------------------------------------------------------------- /tests/feature/message_with_variable_as_condition_on_same_field/generated/rflx.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx.ads -------------------------------------------------------------------------------- /tests/feature/messages/generated/rflx-rflx_builtin_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_builtin_types.ads -------------------------------------------------------------------------------- /tests/feature/messages/generated/rflx-rflx_generic_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_generic_types.ads -------------------------------------------------------------------------------- /tests/feature/messages/generated/rflx-universal-contains.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-contains.adb -------------------------------------------------------------------------------- /tests/feature/messages/generated/rflx-universal-contains.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-contains.ads -------------------------------------------------------------------------------- /tests/feature/messages_with_implict_size/generated/rflx-rflx_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_types.ads -------------------------------------------------------------------------------- /tests/feature/messages_with_implict_size/generated/rflx-universal.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal.ads -------------------------------------------------------------------------------- /doc/language_reference/verbal_mapping.json: -------------------------------------------------------------------------------- 1 | { 2 | "Any Unicode character except QUOTATION MARK": "[^\"]" 3 | } 4 | -------------------------------------------------------------------------------- /rflx/generator/__init__.py: -------------------------------------------------------------------------------- 1 | from .common import Debug as Debug 2 | from .generator import Generator as Generator 3 | -------------------------------------------------------------------------------- /tests/data/captured/ipv4_udp.raw: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/RecordFlux/HEAD/tests/data/captured/ipv4_udp.raw -------------------------------------------------------------------------------- /tests/data/validator/ethernet/frame/invalid3/ethernet_invalid_too_long.bin: -------------------------------------------------------------------------------- 1 | ../invalid/ethernet_invalid_too_long.raw -------------------------------------------------------------------------------- /tests/data/validator/ethernet/frame/invalid3/ethernet_invalid_too_short.dat: -------------------------------------------------------------------------------- 1 | ../invalid/ethernet_invalid_too_short.raw -------------------------------------------------------------------------------- /tests/examples/data/slpv2/slpv2/invalid/attrreq1.raw: -------------------------------------------------------------------------------- 1 | > 7enservice:myserv.x://myhost.comDEFAULT -------------------------------------------------------------------------------- /tests/examples/data/tls_handshake/ch_extension/valid/tls13-1_04a_hs_ch_ex6.raw: -------------------------------------------------------------------------------- 1 |   2 |   -------------------------------------------------------------------------------- /tests/feature/fsm_case_expression_aggregate/generated/rflx-rflx_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_types.ads -------------------------------------------------------------------------------- /tests/feature/fsm_channels/generated/rflx-rflx_builtin_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_builtin_types.ads -------------------------------------------------------------------------------- /tests/feature/fsm_channels/generated/rflx-rflx_generic_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_generic_types.ads -------------------------------------------------------------------------------- /tests/feature/fsm_channels/generated/rflx-rflx_scalar_sequence.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_scalar_sequence.adb -------------------------------------------------------------------------------- /tests/feature/fsm_channels/generated/rflx-rflx_scalar_sequence.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_scalar_sequence.ads -------------------------------------------------------------------------------- /tests/feature/fsm_channels/generated/rflx-rflx_types-operators.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_types-operators.ads -------------------------------------------------------------------------------- /tests/feature/fsm_channels/generated/rflx-universal-contains.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-contains.adb -------------------------------------------------------------------------------- /tests/feature/fsm_channels/generated/rflx-universal-contains.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-contains.ads -------------------------------------------------------------------------------- /tests/feature/fsm_comprehension_head/generated/rflx-rflx_arithmetic.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_arithmetic.adb -------------------------------------------------------------------------------- /tests/feature/fsm_comprehension_head/generated/rflx-rflx_arithmetic.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_arithmetic.ads -------------------------------------------------------------------------------- /tests/feature/fsm_comprehension_on_message_field/generated/rflx-universal.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal.ads -------------------------------------------------------------------------------- /tests/feature/fsm_comprehension_on_sequence/generated/rflx-rflx_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_types.ads -------------------------------------------------------------------------------- /tests/feature/fsm_conversion/generated/rflx-rflx_builtin_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_builtin_types.ads -------------------------------------------------------------------------------- /tests/feature/fsm_conversion/generated/rflx-rflx_generic_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_generic_types.ads -------------------------------------------------------------------------------- /tests/feature/fsm_conversion/generated/rflx-universal-contains.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-contains.adb -------------------------------------------------------------------------------- /tests/feature/fsm_conversion/generated/rflx-universal-contains.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-contains.ads -------------------------------------------------------------------------------- /tests/feature/fsm_conversion/generated/rflx-universal-message.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-message.adb -------------------------------------------------------------------------------- /tests/feature/fsm_conversion/generated/rflx-universal-message.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-message.ads -------------------------------------------------------------------------------- /tests/feature/fsm_conversion/generated/rflx-universal-options.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-options.ads -------------------------------------------------------------------------------- /tests/feature/fsm_endianness/generated/rflx-rflx_builtin_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_builtin_types.ads -------------------------------------------------------------------------------- /tests/feature/fsm_endianness/generated/rflx-rflx_generic_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_generic_types.ads -------------------------------------------------------------------------------- /tests/feature/fsm_functions/generated/rflx-rflx_builtin_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_builtin_types.ads -------------------------------------------------------------------------------- /tests/feature/fsm_functions/generated/rflx-rflx_generic_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_generic_types.ads -------------------------------------------------------------------------------- /tests/feature/fsm_functions/generated/rflx-universal-contains.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-contains.adb -------------------------------------------------------------------------------- /tests/feature/fsm_functions/generated/rflx-universal-contains.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-contains.ads -------------------------------------------------------------------------------- /tests/feature/fsm_functions_opaque/generated/rflx-rflx_arithmetic.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_arithmetic.adb -------------------------------------------------------------------------------- /tests/feature/fsm_functions_opaque/generated/rflx-rflx_arithmetic.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_arithmetic.ads -------------------------------------------------------------------------------- /tests/feature/fsm_functions_opaque/generated/rflx-universal-option.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-option.adb -------------------------------------------------------------------------------- /tests/feature/fsm_functions_opaque/generated/rflx-universal-option.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-option.ads -------------------------------------------------------------------------------- /tests/feature/fsm_functions_opaque/generated/rflx-universal-values.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-values.ads -------------------------------------------------------------------------------- /tests/feature/fsm_integration/generated/rflx-rflx_builtin_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_builtin_types.ads -------------------------------------------------------------------------------- /tests/feature/fsm_integration/generated/rflx-rflx_generic_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_generic_types.ads -------------------------------------------------------------------------------- /tests/feature/fsm_integration/generated/rflx-universal-contains.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-contains.adb -------------------------------------------------------------------------------- /tests/feature/fsm_integration/generated/rflx-universal-contains.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-contains.ads -------------------------------------------------------------------------------- /tests/feature/fsm_integration/generated/rflx-universal-message.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-message.adb -------------------------------------------------------------------------------- /tests/feature/fsm_integration/generated/rflx-universal-message.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-message.ads -------------------------------------------------------------------------------- /tests/feature/fsm_integration/generated/rflx-universal-options.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-options.ads -------------------------------------------------------------------------------- /tests/feature/fsm_message_creation/generated/rflx-rflx_arithmetic.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_arithmetic.adb -------------------------------------------------------------------------------- /tests/feature/fsm_message_creation/generated/rflx-rflx_arithmetic.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_arithmetic.ads -------------------------------------------------------------------------------- /tests/feature/fsm_message_creation/generated/rflx-universal-option.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-option.adb -------------------------------------------------------------------------------- /tests/feature/fsm_message_creation/generated/rflx-universal-option.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-option.ads -------------------------------------------------------------------------------- /tests/feature/fsm_message_creation/generated/rflx-universal-values.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-values.ads -------------------------------------------------------------------------------- /tests/feature/fsm_minimal/generated/rflx-rflx_scalar_sequence.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_scalar_sequence.adb -------------------------------------------------------------------------------- /tests/feature/fsm_minimal/generated/rflx-rflx_scalar_sequence.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_scalar_sequence.ads -------------------------------------------------------------------------------- /tests/feature/fsm_minimal/generated/rflx-rflx_types-operators.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_types-operators.ads -------------------------------------------------------------------------------- /tests/feature/fsm_reuse_of_message/generated/rflx-rflx_arithmetic.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_arithmetic.adb -------------------------------------------------------------------------------- /tests/feature/fsm_reuse_of_message/generated/rflx-rflx_arithmetic.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_arithmetic.ads -------------------------------------------------------------------------------- /tests/feature/fsm_reuse_of_message/generated/rflx-universal-option.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-option.adb -------------------------------------------------------------------------------- /tests/feature/fsm_reuse_of_message/generated/rflx-universal-option.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-option.ads -------------------------------------------------------------------------------- /tests/feature/fsm_reuse_of_message/generated/rflx-universal-values.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-values.ads -------------------------------------------------------------------------------- /tests/feature/fsm_sequence_append/generated/rflx-rflx_arithmetic.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_arithmetic.adb -------------------------------------------------------------------------------- /tests/feature/fsm_sequence_append/generated/rflx-rflx_arithmetic.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_arithmetic.ads -------------------------------------------------------------------------------- /tests/feature/fsm_sequence_append/generated/rflx-universal-option.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-option.adb -------------------------------------------------------------------------------- /tests/feature/fsm_sequence_append/generated/rflx-universal-option.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-option.ads -------------------------------------------------------------------------------- /tests/feature/fsm_sequence_append/generated/rflx-universal-values.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-values.ads -------------------------------------------------------------------------------- /tests/feature/fsm_setting_of_message_fields/generated/rflx-rflx_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_types.ads -------------------------------------------------------------------------------- /tests/feature/fsm_simple/generated/rflx-rflx_message_sequence.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_message_sequence.adb -------------------------------------------------------------------------------- /tests/feature/fsm_simple/generated/rflx-rflx_message_sequence.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_message_sequence.ads -------------------------------------------------------------------------------- /tests/feature/fsm_simple/generated/rflx-rflx_scalar_sequence.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_scalar_sequence.adb -------------------------------------------------------------------------------- /tests/feature/fsm_simple/generated/rflx-rflx_scalar_sequence.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_scalar_sequence.ads -------------------------------------------------------------------------------- /tests/feature/fsm_simple/generated/rflx-rflx_types-operations.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_types-operations.ads -------------------------------------------------------------------------------- /tests/feature/fsm_simple/generated/rflx-rflx_types-operators.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_types-operators.ads -------------------------------------------------------------------------------- /tests/feature/message_with_variable_as_condition_on_subsequent_field/generated/rflx.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx.ads -------------------------------------------------------------------------------- /tests/feature/messages/generated/rflx-rflx_message_sequence.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_message_sequence.adb -------------------------------------------------------------------------------- /tests/feature/messages/generated/rflx-rflx_message_sequence.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_message_sequence.ads -------------------------------------------------------------------------------- /tests/feature/messages/generated/rflx-rflx_scalar_sequence.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_scalar_sequence.adb -------------------------------------------------------------------------------- /tests/feature/messages/generated/rflx-rflx_scalar_sequence.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_scalar_sequence.ads -------------------------------------------------------------------------------- /tests/feature/messages/generated/rflx-rflx_types-operations.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_types-operations.ads -------------------------------------------------------------------------------- /tests/feature/messages/generated/rflx-rflx_types-operators.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_types-operators.ads -------------------------------------------------------------------------------- /tests/feature/messages/generated/rflx-universal-option_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-option_types.ads -------------------------------------------------------------------------------- /tests/feature/parameterized_messages/generated/rflx-rflx_arithmetic.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_arithmetic.adb -------------------------------------------------------------------------------- /tests/feature/parameterized_messages/generated/rflx-rflx_arithmetic.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_arithmetic.ads -------------------------------------------------------------------------------- /doc/images/adacore-logo-white.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/RecordFlux/HEAD/doc/images/adacore-logo-white.png -------------------------------------------------------------------------------- /tests/data/specs/context.rflx: -------------------------------------------------------------------------------- 1 | -- Comment 2 | 3 | with Empty_Package; 4 | 5 | package Context is 6 | 7 | end Context; 8 | -------------------------------------------------------------------------------- /tests/data/validator/ethernet/frame/invalid2/ethernet_802.3_invalid_length.raw: -------------------------------------------------------------------------------- 1 | ../invalid/ethernet_802.3_invalid_length.raw -------------------------------------------------------------------------------- /tests/feature/fsm_append_unconstrained/generated/rflx-rflx_arithmetic.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_arithmetic.adb -------------------------------------------------------------------------------- /tests/feature/fsm_append_unconstrained/generated/rflx-rflx_arithmetic.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_arithmetic.ads -------------------------------------------------------------------------------- /tests/feature/fsm_append_unconstrained/generated/rflx-universal-option.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-option.adb -------------------------------------------------------------------------------- /tests/feature/fsm_append_unconstrained/generated/rflx-universal-option.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-option.ads -------------------------------------------------------------------------------- /tests/feature/fsm_append_unconstrained/generated/rflx-universal-values.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-values.ads -------------------------------------------------------------------------------- /tests/feature/fsm_case_expression_numeric/generated/rflx-rflx_arithmetic.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_arithmetic.adb -------------------------------------------------------------------------------- /tests/feature/fsm_case_expression_numeric/generated/rflx-rflx_arithmetic.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_arithmetic.ads -------------------------------------------------------------------------------- /tests/feature/fsm_channel_multiplexing/generated/rflx-rflx_arithmetic.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_arithmetic.adb -------------------------------------------------------------------------------- /tests/feature/fsm_channel_multiplexing/generated/rflx-rflx_arithmetic.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_arithmetic.ads -------------------------------------------------------------------------------- /tests/feature/fsm_channel_multiplexing/generated/rflx-universal-option.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-option.adb -------------------------------------------------------------------------------- /tests/feature/fsm_channel_multiplexing/generated/rflx-universal-option.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-option.ads -------------------------------------------------------------------------------- /tests/feature/fsm_channel_multiplexing/generated/rflx-universal-values.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-values.ads -------------------------------------------------------------------------------- /tests/feature/fsm_channels/generated/rflx-rflx_message_sequence.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_message_sequence.adb -------------------------------------------------------------------------------- /tests/feature/fsm_channels/generated/rflx-rflx_message_sequence.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_message_sequence.ads -------------------------------------------------------------------------------- /tests/feature/fsm_channels/generated/rflx-rflx_types-operations.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_types-operations.ads -------------------------------------------------------------------------------- /tests/feature/fsm_channels/generated/rflx-universal-option_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-option_types.ads -------------------------------------------------------------------------------- /tests/feature/fsm_comprehension_head/generated/rflx-universal-message.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-message.adb -------------------------------------------------------------------------------- /tests/feature/fsm_comprehension_head/generated/rflx-universal-message.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-message.ads -------------------------------------------------------------------------------- /tests/feature/fsm_comprehension_head/generated/rflx-universal-option.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-option.adb -------------------------------------------------------------------------------- /tests/feature/fsm_comprehension_head/generated/rflx-universal-option.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-option.ads -------------------------------------------------------------------------------- /tests/feature/fsm_comprehension_head/generated/rflx-universal-options.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-options.ads -------------------------------------------------------------------------------- /tests/feature/fsm_comprehension_head/generated/rflx-universal-values.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-values.ads -------------------------------------------------------------------------------- /tests/feature/fsm_comprehension_on_message_field/generated/rflx-rflx_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_types.ads -------------------------------------------------------------------------------- /tests/feature/fsm_conversion/generated/rflx-rflx_message_sequence.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_message_sequence.adb -------------------------------------------------------------------------------- /tests/feature/fsm_conversion/generated/rflx-rflx_message_sequence.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_message_sequence.ads -------------------------------------------------------------------------------- /tests/feature/fsm_conversion/generated/rflx-rflx_scalar_sequence.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_scalar_sequence.adb -------------------------------------------------------------------------------- /tests/feature/fsm_conversion/generated/rflx-rflx_scalar_sequence.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_scalar_sequence.ads -------------------------------------------------------------------------------- /tests/feature/fsm_conversion/generated/rflx-rflx_types-operations.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_types-operations.ads -------------------------------------------------------------------------------- /tests/feature/fsm_conversion/generated/rflx-rflx_types-operators.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_types-operators.ads -------------------------------------------------------------------------------- /tests/feature/fsm_endianness/generated/rflx-rflx_message_sequence.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_message_sequence.adb -------------------------------------------------------------------------------- /tests/feature/fsm_endianness/generated/rflx-rflx_message_sequence.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_message_sequence.ads -------------------------------------------------------------------------------- /tests/feature/fsm_endianness/generated/rflx-rflx_scalar_sequence.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_scalar_sequence.adb -------------------------------------------------------------------------------- /tests/feature/fsm_endianness/generated/rflx-rflx_scalar_sequence.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_scalar_sequence.ads -------------------------------------------------------------------------------- /tests/feature/fsm_endianness/generated/rflx-rflx_types-operations.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_types-operations.ads -------------------------------------------------------------------------------- /tests/feature/fsm_endianness/generated/rflx-rflx_types-operators.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_types-operators.ads -------------------------------------------------------------------------------- /tests/feature/fsm_functions/generated/rflx-rflx_message_sequence.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_message_sequence.adb -------------------------------------------------------------------------------- /tests/feature/fsm_functions/generated/rflx-rflx_message_sequence.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_message_sequence.ads -------------------------------------------------------------------------------- /tests/feature/fsm_functions/generated/rflx-rflx_scalar_sequence.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_scalar_sequence.adb -------------------------------------------------------------------------------- /tests/feature/fsm_functions/generated/rflx-rflx_scalar_sequence.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_scalar_sequence.ads -------------------------------------------------------------------------------- /tests/feature/fsm_functions/generated/rflx-rflx_types-operations.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_types-operations.ads -------------------------------------------------------------------------------- /tests/feature/fsm_functions/generated/rflx-rflx_types-operators.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_types-operators.ads -------------------------------------------------------------------------------- /tests/feature/fsm_functions/generated/rflx-universal-option_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-option_types.ads -------------------------------------------------------------------------------- /tests/feature/fsm_functions_opaque/generated/rflx-rflx_builtin_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_builtin_types.ads -------------------------------------------------------------------------------- /tests/feature/fsm_functions_opaque/generated/rflx-rflx_generic_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_generic_types.ads -------------------------------------------------------------------------------- /tests/feature/fsm_functions_opaque/generated/rflx-universal-contains.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-contains.adb -------------------------------------------------------------------------------- /tests/feature/fsm_functions_opaque/generated/rflx-universal-contains.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-contains.ads -------------------------------------------------------------------------------- /tests/feature/fsm_functions_opaque/generated/rflx-universal-message.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-message.adb -------------------------------------------------------------------------------- /tests/feature/fsm_functions_opaque/generated/rflx-universal-message.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-message.ads -------------------------------------------------------------------------------- /tests/feature/fsm_functions_opaque/generated/rflx-universal-options.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-options.ads -------------------------------------------------------------------------------- /tests/feature/fsm_integration/generated/rflx-rflx_message_sequence.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_message_sequence.adb -------------------------------------------------------------------------------- /tests/feature/fsm_integration/generated/rflx-rflx_message_sequence.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_message_sequence.ads -------------------------------------------------------------------------------- /tests/feature/fsm_integration/generated/rflx-rflx_scalar_sequence.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_scalar_sequence.adb -------------------------------------------------------------------------------- /tests/feature/fsm_integration/generated/rflx-rflx_scalar_sequence.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_scalar_sequence.ads -------------------------------------------------------------------------------- /tests/feature/fsm_integration/generated/rflx-rflx_types-operations.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_types-operations.ads -------------------------------------------------------------------------------- /tests/feature/fsm_integration/generated/rflx-rflx_types-operators.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_types-operators.ads -------------------------------------------------------------------------------- /tests/feature/fsm_integration_multiple/generated/rflx-rflx_arithmetic.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_arithmetic.adb -------------------------------------------------------------------------------- /tests/feature/fsm_integration_multiple/generated/rflx-rflx_arithmetic.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_arithmetic.ads -------------------------------------------------------------------------------- /tests/feature/fsm_integration_multiple/generated/rflx-universal-option.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-option.adb -------------------------------------------------------------------------------- /tests/feature/fsm_integration_multiple/generated/rflx-universal-option.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-option.ads -------------------------------------------------------------------------------- /tests/feature/fsm_integration_multiple/generated/rflx-universal-values.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-values.ads -------------------------------------------------------------------------------- /tests/feature/fsm_message_creation/generated/rflx-rflx_builtin_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_builtin_types.ads -------------------------------------------------------------------------------- /tests/feature/fsm_message_creation/generated/rflx-rflx_generic_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_generic_types.ads -------------------------------------------------------------------------------- /tests/feature/fsm_message_creation/generated/rflx-universal-contains.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-contains.adb -------------------------------------------------------------------------------- /tests/feature/fsm_message_creation/generated/rflx-universal-contains.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-contains.ads -------------------------------------------------------------------------------- /tests/feature/fsm_message_creation/generated/rflx-universal-message.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-message.adb -------------------------------------------------------------------------------- /tests/feature/fsm_message_creation/generated/rflx-universal-message.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-message.ads -------------------------------------------------------------------------------- /tests/feature/fsm_message_creation/generated/rflx-universal-options.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-options.ads -------------------------------------------------------------------------------- /tests/feature/fsm_message_optimization/generated/rflx-rflx_arithmetic.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_arithmetic.adb -------------------------------------------------------------------------------- /tests/feature/fsm_message_optimization/generated/rflx-rflx_arithmetic.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_arithmetic.ads -------------------------------------------------------------------------------- /tests/feature/fsm_message_optimization/generated/rflx-universal-option.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-option.adb -------------------------------------------------------------------------------- /tests/feature/fsm_message_optimization/generated/rflx-universal-option.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-option.ads -------------------------------------------------------------------------------- /tests/feature/fsm_message_optimization/generated/rflx-universal-values.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-values.ads -------------------------------------------------------------------------------- /tests/feature/fsm_minimal/generated/rflx-rflx_message_sequence.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_message_sequence.adb -------------------------------------------------------------------------------- /tests/feature/fsm_minimal/generated/rflx-rflx_message_sequence.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_message_sequence.ads -------------------------------------------------------------------------------- /tests/feature/fsm_minimal/generated/rflx-rflx_types-operations.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_types-operations.ads -------------------------------------------------------------------------------- /tests/feature/fsm_minimal/generated/rflx-universal-option_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-option_types.ads -------------------------------------------------------------------------------- /tests/feature/fsm_reuse_of_message/generated/rflx-rflx_builtin_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_builtin_types.ads -------------------------------------------------------------------------------- /tests/feature/fsm_reuse_of_message/generated/rflx-rflx_generic_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_generic_types.ads -------------------------------------------------------------------------------- /tests/feature/fsm_reuse_of_message/generated/rflx-universal-contains.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-contains.adb -------------------------------------------------------------------------------- /tests/feature/fsm_reuse_of_message/generated/rflx-universal-contains.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-contains.ads -------------------------------------------------------------------------------- /tests/feature/fsm_reuse_of_message/generated/rflx-universal-message.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-message.adb -------------------------------------------------------------------------------- /tests/feature/fsm_reuse_of_message/generated/rflx-universal-message.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-message.ads -------------------------------------------------------------------------------- /tests/feature/fsm_reuse_of_message/generated/rflx-universal-options.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-options.ads -------------------------------------------------------------------------------- /tests/feature/fsm_sequence_append/generated/rflx-rflx_builtin_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_builtin_types.ads -------------------------------------------------------------------------------- /tests/feature/fsm_sequence_append/generated/rflx-rflx_generic_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_generic_types.ads -------------------------------------------------------------------------------- /tests/feature/fsm_sequence_append/generated/rflx-universal-contains.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-contains.adb -------------------------------------------------------------------------------- /tests/feature/fsm_sequence_append/generated/rflx-universal-contains.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-contains.ads -------------------------------------------------------------------------------- /tests/feature/fsm_sequence_append/generated/rflx-universal-message.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-message.adb -------------------------------------------------------------------------------- /tests/feature/fsm_sequence_append/generated/rflx-universal-message.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-message.ads -------------------------------------------------------------------------------- /tests/feature/fsm_sequence_append/generated/rflx-universal-options.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-options.ads -------------------------------------------------------------------------------- /tests/feature/fsm_sequence_append_head/generated/rflx-rflx_arithmetic.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_arithmetic.adb -------------------------------------------------------------------------------- /tests/feature/fsm_sequence_append_head/generated/rflx-rflx_arithmetic.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_arithmetic.ads -------------------------------------------------------------------------------- /tests/feature/fsm_simple/generated/rflx-universal-option_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-option_types.ads -------------------------------------------------------------------------------- /tests/feature/fsm_variable_initialization/generated/rflx-rflx_arithmetic.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_arithmetic.adb -------------------------------------------------------------------------------- /tests/feature/fsm_variable_initialization/generated/rflx-rflx_arithmetic.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_arithmetic.ads -------------------------------------------------------------------------------- /tests/feature/messages_with_implict_size/generated/rflx-rflx_arithmetic.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_arithmetic.adb -------------------------------------------------------------------------------- /tests/feature/messages_with_implict_size/generated/rflx-rflx_arithmetic.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_arithmetic.ads -------------------------------------------------------------------------------- /tests/feature/messages_with_multiple_initial_links/generated/rflx-rflx_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_types.ads -------------------------------------------------------------------------------- /tests/feature/messages_with_multiple_initial_links/generated/rflx-universal.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal.ads -------------------------------------------------------------------------------- /tests/feature/messages_with_single_opaque_field/generated/rflx-rflx_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_types.ads -------------------------------------------------------------------------------- /librapidflux/tests/data/sample.rflx: -------------------------------------------------------------------------------- 1 | package Sample is 2 | type Integer is range 0 .. 10 with Size => 8; 3 | end Sample; 4 | -------------------------------------------------------------------------------- /rflx/doc/user_guide/_static/file.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/RecordFlux/HEAD/rflx/doc/user_guide/_static/file.png -------------------------------------------------------------------------------- /rflx/doc/user_guide/_static/minus.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/RecordFlux/HEAD/rflx/doc/user_guide/_static/minus.png -------------------------------------------------------------------------------- /rflx/doc/user_guide/_static/plus.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/RecordFlux/HEAD/rflx/doc/user_guide/_static/plus.png -------------------------------------------------------------------------------- /tests/data/specs/null_message.rflx: -------------------------------------------------------------------------------- 1 | package Null_Message is 2 | 3 | type Message is null message; 4 | 5 | end Null_Message; -------------------------------------------------------------------------------- /tests/data/validator/checksum_invalid_field_dict_type.py: -------------------------------------------------------------------------------- 1 | checksum_functions = {"Checksum_Message::Message": "not a dict"} 2 | -------------------------------------------------------------------------------- /tests/examples/data/slpv2/slpv2/valid/srvreq2.raw: -------------------------------------------------------------------------------- 1 | K Uen172.26.112.1,192.168.1.109service:myserv.xDEFAULT -------------------------------------------------------------------------------- /tests/examples/data/tls/dtls13-1.pcap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/RecordFlux/HEAD/tests/examples/data/tls/dtls13-1.pcap -------------------------------------------------------------------------------- /tests/examples/data/tls/dtls13-2.pcap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/RecordFlux/HEAD/tests/examples/data/tls/dtls13-2.pcap -------------------------------------------------------------------------------- /tests/examples/data/tls/tls13-1.pcap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/RecordFlux/HEAD/tests/examples/data/tls/tls13-1.pcap -------------------------------------------------------------------------------- /tests/examples/data/tls/tls13-2.pcap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/AdaCore/RecordFlux/HEAD/tests/examples/data/tls/tls13-2.pcap -------------------------------------------------------------------------------- /tests/feature/fsm_append_unconstrained/generated/rflx-rflx_builtin_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_builtin_types.ads -------------------------------------------------------------------------------- /tests/feature/fsm_append_unconstrained/generated/rflx-rflx_generic_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_generic_types.ads -------------------------------------------------------------------------------- /tests/feature/fsm_append_unconstrained/generated/rflx-universal-contains.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-contains.adb -------------------------------------------------------------------------------- /tests/feature/fsm_append_unconstrained/generated/rflx-universal-contains.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-contains.ads -------------------------------------------------------------------------------- /tests/feature/fsm_append_unconstrained/generated/rflx-universal-message.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-message.adb -------------------------------------------------------------------------------- /tests/feature/fsm_append_unconstrained/generated/rflx-universal-message.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-message.ads -------------------------------------------------------------------------------- /tests/feature/fsm_append_unconstrained/generated/rflx-universal-options.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-options.ads -------------------------------------------------------------------------------- /tests/feature/fsm_case_expression_aggregate/generated/rflx-rflx_arithmetic.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_arithmetic.adb -------------------------------------------------------------------------------- /tests/feature/fsm_case_expression_aggregate/generated/rflx-rflx_arithmetic.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_arithmetic.ads -------------------------------------------------------------------------------- /tests/feature/fsm_case_expression_aggregate/generated/rflx-universal-option.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-option.adb -------------------------------------------------------------------------------- /tests/feature/fsm_case_expression_aggregate/generated/rflx-universal-option.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-option.ads -------------------------------------------------------------------------------- /tests/feature/fsm_case_expression_aggregate/generated/rflx-universal-values.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-values.ads -------------------------------------------------------------------------------- /tests/feature/fsm_case_expression_numeric/generated/rflx-universal-message.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-message.adb -------------------------------------------------------------------------------- /tests/feature/fsm_case_expression_numeric/generated/rflx-universal-message.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-message.ads -------------------------------------------------------------------------------- /tests/feature/fsm_case_expression_numeric/generated/rflx-universal-option.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-option.adb -------------------------------------------------------------------------------- /tests/feature/fsm_case_expression_numeric/generated/rflx-universal-option.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-option.ads -------------------------------------------------------------------------------- /tests/feature/fsm_case_expression_numeric/generated/rflx-universal-options.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-options.ads -------------------------------------------------------------------------------- /tests/feature/fsm_case_expression_numeric/generated/rflx-universal-values.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-values.ads -------------------------------------------------------------------------------- /tests/feature/fsm_channel_multiplexing/generated/rflx-rflx_builtin_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_builtin_types.ads -------------------------------------------------------------------------------- /tests/feature/fsm_channel_multiplexing/generated/rflx-rflx_generic_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_generic_types.ads -------------------------------------------------------------------------------- /tests/feature/fsm_channel_multiplexing/generated/rflx-universal-contains.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-contains.adb -------------------------------------------------------------------------------- /tests/feature/fsm_channel_multiplexing/generated/rflx-universal-contains.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-contains.ads -------------------------------------------------------------------------------- /tests/feature/fsm_channel_multiplexing/generated/rflx-universal-message.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-message.adb -------------------------------------------------------------------------------- /tests/feature/fsm_channel_multiplexing/generated/rflx-universal-message.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-message.ads -------------------------------------------------------------------------------- /tests/feature/fsm_channel_multiplexing/generated/rflx-universal-options.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-options.ads -------------------------------------------------------------------------------- /tests/feature/fsm_comprehension_head/generated/rflx-rflx_builtin_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_builtin_types.ads -------------------------------------------------------------------------------- /tests/feature/fsm_comprehension_head/generated/rflx-rflx_generic_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_generic_types.ads -------------------------------------------------------------------------------- /tests/feature/fsm_comprehension_head/generated/rflx-rflx_scalar_sequence.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_scalar_sequence.adb -------------------------------------------------------------------------------- /tests/feature/fsm_comprehension_head/generated/rflx-rflx_scalar_sequence.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_scalar_sequence.ads -------------------------------------------------------------------------------- /tests/feature/fsm_comprehension_head/generated/rflx-rflx_types-operators.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_types-operators.ads -------------------------------------------------------------------------------- /tests/feature/fsm_comprehension_head/generated/rflx-universal-contains.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-contains.adb -------------------------------------------------------------------------------- /tests/feature/fsm_comprehension_head/generated/rflx-universal-contains.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-contains.ads -------------------------------------------------------------------------------- /tests/feature/fsm_comprehension_on_sequence/generated/rflx-rflx_arithmetic.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_arithmetic.adb -------------------------------------------------------------------------------- /tests/feature/fsm_comprehension_on_sequence/generated/rflx-rflx_arithmetic.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_arithmetic.ads -------------------------------------------------------------------------------- /tests/feature/fsm_comprehension_on_sequence/generated/rflx-universal-option.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-option.adb -------------------------------------------------------------------------------- /tests/feature/fsm_comprehension_on_sequence/generated/rflx-universal-option.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-option.ads -------------------------------------------------------------------------------- /tests/feature/fsm_comprehension_on_sequence/generated/rflx-universal-values.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-values.ads -------------------------------------------------------------------------------- /tests/feature/fsm_conversion/generated/rflx-universal-option_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-option_types.ads -------------------------------------------------------------------------------- /tests/feature/fsm_functions_opaque/generated/rflx-rflx_message_sequence.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_message_sequence.adb -------------------------------------------------------------------------------- /tests/feature/fsm_functions_opaque/generated/rflx-rflx_message_sequence.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_message_sequence.ads -------------------------------------------------------------------------------- /tests/feature/fsm_functions_opaque/generated/rflx-rflx_scalar_sequence.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_scalar_sequence.adb -------------------------------------------------------------------------------- /tests/feature/fsm_functions_opaque/generated/rflx-rflx_scalar_sequence.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_scalar_sequence.ads -------------------------------------------------------------------------------- /tests/feature/fsm_functions_opaque/generated/rflx-rflx_types-operations.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_types-operations.ads -------------------------------------------------------------------------------- /tests/feature/fsm_functions_opaque/generated/rflx-rflx_types-operators.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_types-operators.ads -------------------------------------------------------------------------------- /tests/feature/fsm_integration/generated/rflx-universal-option_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-option_types.ads -------------------------------------------------------------------------------- /tests/feature/fsm_integration_multiple/b.rfi: -------------------------------------------------------------------------------- 1 | Machine: 2 | S: 3 | Buffer_Size: 4 | Global: 5 | M: 2048 6 | -------------------------------------------------------------------------------- /tests/feature/fsm_integration_multiple/generated/rflx-rflx_builtin_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_builtin_types.ads -------------------------------------------------------------------------------- /tests/feature/fsm_integration_multiple/generated/rflx-rflx_generic_types.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_generic_types.ads -------------------------------------------------------------------------------- /tests/feature/fsm_integration_multiple/generated/rflx-universal-contains.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-contains.adb -------------------------------------------------------------------------------- /tests/feature/fsm_integration_multiple/generated/rflx-universal-contains.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-contains.ads -------------------------------------------------------------------------------- /tests/feature/fsm_integration_multiple/generated/rflx-universal-message.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-message.adb -------------------------------------------------------------------------------- /tests/feature/fsm_integration_multiple/generated/rflx-universal-message.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-message.ads -------------------------------------------------------------------------------- /tests/feature/fsm_integration_multiple/generated/rflx-universal-options.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-universal-options.ads -------------------------------------------------------------------------------- /tests/feature/fsm_integration_multiple/test.rfi: -------------------------------------------------------------------------------- 1 | Machine: 2 | S: 3 | Buffer_Size: 4 | Global: 5 | M: 1024 6 | -------------------------------------------------------------------------------- /tests/feature/fsm_message_creation/generated/rflx-rflx_message_sequence.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_message_sequence.adb -------------------------------------------------------------------------------- /tests/feature/fsm_message_creation/generated/rflx-rflx_message_sequence.ads: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_message_sequence.ads -------------------------------------------------------------------------------- /tests/feature/fsm_message_creation/generated/rflx-rflx_scalar_sequence.adb: -------------------------------------------------------------------------------- 1 | ../../shared/generated/rflx-rflx_scalar_sequence.adb --------------------------------------------------------------------------------