search

nickovic / rtamt

Specification-based real-time monitoring library
BSD 3-Clause "New" or "Revised" License
50 stars 20 forks source link

get_spec_from_file() #141

Closed TomyYamy closed 2 years ago

TomyYamy commented 2 years ago

We discussed it would be in ast class. https://github.com/nickovic/rtamt/blob/4e3f7b38146fb8c84ed91960fbe3f99ca331aee2/rtamt/spec/abstract_specification.py#L108-L124

But still I'm wondering because it don't need to class method since it does not need self, and I could not find code and example that uses. Let's discuss it again.

TomyYamy commented 2 years ago

Now it goes to spec layer and right place.