Pre-defined functions

The scalable feedback of Ave can be used as a tree-structured spreadsheet to facilitate functional query on the match. Some of the pre-determined functions are listed below.

• count ( <abstract_event_name> ) wrt <wrt_list>
  counts the number of events of type specified in the wrt_list in the selected abstract_event_name. Returns an integer.

• owner ( <abstract_event_name> ) wrt <wrt_list>
  returns a set of process identifiers that idenitifies the processes where the events of type wrt_list belonging to abstract_event_name occurred.

• abs( <list> )
  returns a list of numbers that contain the absolute values of list.

• prod ( <list> )
  returns a scalar that is the product of the elements in the list.

• sum ( <list> )
  returns a scalar that is the sum of the elements in the list.

• distinct ( <list> )
  returns 1 if all the elements in the list are distinct, 0 otherwise.

• equal ( <list> )
  returns 1 if all the elements in the list are equal, 0 otherwise.

• leq ( <list> )
  returns 1 if all the elements taken in order from list are ordered by the relation .

• ltc ( <list> )
  returns 1 if all the elements taken in order from list are ordered by the relation <.

• geq ( <list> )
  returns 1 if all the elements taken in order from list are ordered by the relation .

• gtc ( <list> )
  returns 1 if all the elements taken in order from list are ordered by the relation >.

• parent (<abstract_event>)
  returns the parent of abstract_event.

• child (<abstract_event>, <which>)
  returns the which-th child of abstract_event. The which argument is optional and defaults to the first child. which can be any expression. last is a ident reserved to denote the last child of an abstract event.

• sibling (<abstract_event>)
  returns all the siblings of abstract_event.

• left (<abstract_event>, which)
  returns the which-th sibling to the left of abstract_event.

• right (<abstract_event>, which)
  returns the which-th sibling to the right of abstract_event.