search

xiaohe27 / LogReader

The log reader which can read log files
0 stars 0 forks source link

make it a proj in RV family! #47

Open xiaohe27 opened 9 years ago

xiaohe27 commented 9 years ago

input: rvm spec

output: log reader which will trigger event methods for the corresponding events

Problem: how to tell whether an event is of our interest? In Monpoly's setting, if it occurs in sig, then it is allowed to appear in the log file. However, only if an event name appears in the formula file, will it be monitored!

If all the events are simply listed in the .rvm file, there is no way to distinguish them.

xiaohe27 commented 9 years ago

A way to distinguish the monitored events and valid events: If the method body is empty, then it is valid but not of our interest!