imc-trading/svlangserver

Function & Task Symbols

Closed this issue · 1 comments

It looks like functions and tasks within classes are not being indexed. Is there a plan to support this in the future?

Presently classes (or in general verification constructs) are not supported.
I do plan to support them eventually, but it is not the immediate next thing being worked on.
I will be more than glad to get pull requests for this though.