plugin_functions.xml: Using custom functions

The plugin_functions.xml file is created when you use the --kast-library option with kwcreatechecker.

plugin_functions.xml requires updating if:

the function name you use in your KAST expression is different from the default "myFunc". KAST expressions are contained within the <pattern> tags of the checkers.xml file. See checkers.xml: Java KAST configuration;
AND/OR
you replace the default class name of "MyFunc" in the MyFunc.java file. See MyFunc.java: Using custom functions.

Example 1: Using the default function name and class

The checkers.xml file contains the following KAST expression:

<pattern>

        // Stat [ myFunc() ]

</pattern>

And the default class is used in MyFunc.java.

Consequently, there's no need to update the function name in plugin_functions.xml.

See the diagram below:

Example 2: Using a different function name

The checkers.xml file contains the following KAST expression:

<pattern>

        // Tree [ BoolTypeJCustom() ]

</pattern>

But the default class name is used in MyFunc.java.

See diagram below:

Consequently, we'll need to update the function name in plugin_functions.xml to:

<pattern>

        // Tree [ BoolTypeJCustom() ]

</pattern>

But no update to the MyFunc.java file is required.