Extracting symbols via the API is a better way to handle extraction if you need to consistently extract the same functionality over and over again.
To begin, we recommend creating a JSON file containing the elements you want to extract. This should look like the following:
// extraction.json
[
{
"filePath": "src/app.py",
"symbols": [
"app",
"initdb",
"..."
]
},
{ ... }
]
In the future, we will enable this file to be exported from the UI, if needed.
Then, this body can be sent to the API via a POST
request, either from the command-line or from a tool like Postman.
More details on the API can be seen via the API reference.