Checker Studio provides a list of built-in functions for Java. To view the list:
- Launch Checker Studio (<user_install>/bin/kwstudio).
- Go to Help > Help topics > KAST Reference > Java KAST builtin functions.
- The built-in functions are listed alphabetically.
Note: The first argument of a function can be specified using 'dot' notation. See
Conditions.
