Alphabet Annotations

These are the annotations which can be used to set details about the alphabet of the experiment. Below all annotations are showcased together with a small example.

@FunctionSymbol

parameters: symbolID, outputID, parameters, predicates, nfapredicates

@FieldMethodSymbol

parameters: fieldID, fieldMethods, outputIDs, parameters, predicates, nfapredicates

@WidgetSymbol

parameters: widgetID, events, outputIDs, predicates, nfapredicates