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.

Currently, all primitives and strings are allowed as parameters. Furthermore, we have a specific set of JavaFX parameters. Examples of parameters are: "int:5, string:some_string, char:v, javaFX:mouse_press".

@FunctionSymbol

parameters: symbolID, outputID, parameters, predicates, nfapredicates

@FieldMethodSymbol

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

@WidgetSymbol

parameters: widgetID, events, outputIDs, predicates, nfapredicates