TRLC Python API¶

This is description for the end-user facing TRLC API.

First you need to create a source manager and feed it files:

from trlc.errors import Message_Handler
from trlc.trlc import Source_Manager

# Create Source_Manager
mh = Message_Handler()
sm = Source_Manager(mh)

# Read all .rsl, .check, and .trlc files
# in the given directory
sm.register_directory("path/to/trlc_files")

Once all files are registered, you call the process function to parse and validate the input (both language defined validation and user-supplied checks):

# Parse and stop if there are errors
symbols = sm.process()
if symbols is None:
    sys.exit(1)

This operation returns a Symbol_Table if there are no errors. The most likely thing you will want to do is to iterate over all requirements (i.e. Record_Object) that have been declared:

# Do something if there are no errors
for obj in symbols.iter_record_objects():
    print(obj.name)
    print(obj.to_python_dict())

Most likely that is enough, but you can access the entire parse tree from this API.

TRLC API Docs