-
由 Lluís 提交于
This adds/modifies the following functions: * get_name: Get _only_ the event name * has_property: Return whether an event has a property (keyword before the event name) Signed-off-by: NLluís Vilanova <vilanova@ac.upc.edu>
49926043
This adds/modifies the following functions:
* get_name: Get _only_ the event name
* has_property: Return whether an event has a property (keyword before the event
name)
Signed-off-by: NLluís Vilanova <vilanova@ac.upc.edu>