DevTracer – User Guide

Query(*, visualize=False, file_name='visualization')

Decorator for query functions that connects to the database and runs the query. The decorator can be applied to functions of the following format:

(*args, **kwargs) -> query: str Parameters:

• Visualize: bool, default=False.

indicates whether to visualize the result of the query or not.

If set to True, an html file of the visualization will be created in the working directory and opened in the default browser.

• file_name: str, default='visualization'.

If visualize is true, specifies the file name for the output html file.

Returns:

A list that represents the output of running the query on the database.

Example:

InitData(file_path)

Loads the data from a JSON file into the database. Parameters:

• file_path: str.

Specifies the path to the input JSON file.

resetDatabase()

Deletes all the data inside the database.

LookObject(id)

Returns all the paths to all the objects connected to the object with the given id. An html file of the visualization named “lookup_query” will be created in the working directory and opened in the default browser.

Parameters:

• id: str.

The id of the desired object.

Returns:

A list that represents the output of running the query on the database.

unimplementedReq(node_type)

Returns all the unimplemented requirements of type node_type. Parameters:

• node_type: [“SysReq” , “HLR” , “LLR”]. The type of the desired requirement.

Returns:

A list that represents the output of running the query on the database.

untestedReq(node_type)

Returns all the untested requirements of type node_type. Parameters:

• node_type: [“SysReq”, “HLR” , “LLR”]. The type of the desired requirement.

Returns:

A list that represents the output of running the query on the database.

unlinkedTests()

Returns all the tests that are not connected to any object.

Returns:

A list that represents the output of running the query on the database.

completeSysReq()

Returns all the system requirements that are fully implemented, verified, and tested.

Returns:

A list that represents the output of running the query on the database.