Requirements and Specification
System Requirements
lobster/tools/trlc/input_files.trlc
TRLC System_requirement trlc_req.Input_List_Of_Files
IF the list elements given through the config option "inputs" are files with extension rsl and trlc, THEN all files given in "inputs" parameter shall be consumed.
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC
TRLC System_requirement_aspect trlc_req.Duplicate_Input_List_Of_Files
IF the [[Input_List_Of_Files]] are files with duplicate definitions. THEN "duplicate_definition" error must be produced.
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC
TRLC System_requirement_aspect trlc_req.Invalid_Inputs_List_Of_Files_Extensions
IF the [[Input_List_Of_Files]] are with invalid extensions, THEN tool shall raise an error.
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC
TRLC System_requirement trlc_req.Inputs_From_File
IF the element given through the config option "inputs_from_file" is a file, THEN each line in that file shall be interpreted as a path AND shall be consumed.
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC
TRLC System_requirement_aspect trlc_req.Duplicate_Inputs_From_File
IF the [[Inputs_From_File]] has files that contain duplicate definitions, THEN "duplicate_definition" error must be produced.
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC
TRLC System_requirement_aspect trlc_req.Invalid_Inputs_From_File_Extensions
IF the [[Inputs_From_File]] has files with invalid extensions, THEN tool shall raise an error.
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC
TRLC System_requirement trlc_req.Input_list_Of_File_And_Inputs_From_File
IF both the config options [[Input_List_Of_Files]] AND [[Inputs_From_File]] are provided, THEN all files given in [[Input_List_Of_Files]] AND [[Inputs_From_File]] parameter shall be consumed.
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC
TRLC System_requirement_aspect trlc_req.Duplicate_Input_list_Of_File_And_Inputs_From_File
IF both the config options [[Input_List_Of_Files]] AND [[Inputs_From_File]] has duplicate definitions, THEN "duplicate_definition" error must be produced.
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC
TRLC System_requirement_aspect trlc_req.No_Inputs_And_No_Inputs_From_File
OTHERWISE, IF both the config options [[Input_List_Of_Files]] AND [[Inputs_From_File]] are not provided, THEN all .rsl and .trlc files in current directory shall be scanned recursively and consumed.
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC
lobster/tools/trlc/requirements.trlc
TRLC System_requirement trlc_req.Output_File
If a output file is specified as command line argument, then the output must be written into that file. Otherwise, the output shall be written to 'trlc.lobster'.
Issues:
missing reference to System Test
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC
Software Requirements
No items recorded at this level.
Implementation
Code
lobster/tools/trlc/trlc.py
Python Constructor trlc.Config_Parser.__init__
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC
Python Method trlc.Config_Parser.generate_lobster_object
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC
Python Method trlc.Config_Parser.generate_text
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC
Python Method trlc.Config_Parser.parse_config_file
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC
Python Method trlc.Config_Parser.build_config
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC
Python Method trlc.Config_Parser.parse_record_type
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC
Python Method trlc.Config_Parser.parse_text_generator
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC
Python Method trlc.Config_Parser.parse_tuple_type
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC
Python Method trlc.Config_Parser.parse_directive
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC
Python Constructor trlc.LOBSTER_Trlc.__init__
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC
Python Method trlc.LOBSTER_Trlc.get_config_keys_manual
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC
Python Method trlc.LOBSTER_Trlc.get_mandatory_parameters
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC
Python Method trlc.LOBSTER_Trlc.process_commandline_and_yaml_options
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC
Python Method trlc.LOBSTER_Trlc.process_tool_options
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC
Python Method trlc.LOBSTER_Trlc._run_impl
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC
Python Function trlc.main
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC
Verification and Validation
System Test
tests_system/lobster_trlc/lobster_trlc_test_runner.py
PyUnit Test lobster_trlc_test_runner.LobsterTrlcTestRunner.run_tool_test:95
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC
tests_system/lobster_trlc/test_input_invalid_extensions.py
PyUnit Test test_input_invalid_extensions.TrlcInvalidExtensionsTest.test_invalid_extensions_inputs_files_list:12
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC
PyUnit Test test_input_invalid_extensions.TrlcInvalidExtensionsTest.test_invalid_extensions_input_from_file:33
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC
tests_system/lobster_trlc/test_input_list_of_files.py
PyUnit Test test_input_list_of_files.InputListOfFilesTest.test_input_files_list:14
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC
PyUnit Test test_input_list_of_files.InputListOfFilesTest.test_duplicate_input_files_list:27
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC
tests_system/lobster_trlc/test_inputs_and_inputs_from_file.py
PyUnit Test test_inputs_and_inputs_from_file.InputFromFilesAndInputsTest.test_input_from_files_and_inputs_list:14
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC
PyUnit Test test_inputs_and_inputs_from_file.InputFromFilesAndInputsTest.test_duplicate_contents_input_from_files_and_inputs_list:30
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC
tests_system/lobster_trlc/test_inputs_from_file.py
PyUnit Test test_inputs_from_file.InputFromFilesTest.test_input_from_files:12
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC
PyUnit Test test_inputs_from_file.InputFromFilesTest.test_input_from_files_duplicate_contents:28
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC
tests_system/lobster_trlc/test_inputs_from_working_directory.py
PyUnit Test test_inputs_from_working_directory.InputFromWorkingDirectory.test_input_from_working_directory:12
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC
Software Test
tests_unit/lobster_trlc/test_trlc.py
PyUnit Test test_trlc.LobsterTrlcTests.test_generate_lobster_object_trace_false:28
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC
PyUnit Test test_trlc.LobsterTrlcTests.test_generate_lobster_object_trace_true_single_description:37
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC
PyUnit Test test_trlc.LobsterTrlcTests.test_generate_lobster_object_trace_true_multiple_description:69
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC
PyUnit Test test_trlc.LobsterTrlcTests.test_generate_lobster_object_trace_true_with_tag_field:107
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC
PyUnit Test test_trlc.LobsterTrlcTests.test_generate_lobster_object_trace_true_with_just_up_field:143
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC
PyUnit Test test_trlc.LobsterTrlcTests.test_generate_text_with_undefined_tuple_type:176
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC
PyUnit Test test_trlc.LobsterTrlcTests.test_generate_text_with_non_tuple_type:190
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC
PyUnit Test test_trlc.LobsterTrlcTests.test_generate_text_with_valid_tuple_type:196
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC
PyUnit Test test_trlc.LobsterTrlcTests.test_generate_text_with_invalid_tuple_type:210
Build Reference: f8fd7fec387000b9da849c4c0ec20550b9334106 | Timestamp: 2025-08-05 14:16:58+00:00 UTC