On Windows: DSE does not execute and throws exception
If you encounter the following exception when running a DSE you might be missing required libraries.
java.lang.UnsatisfiedLinkError: [...]\plugins\com.microsoft.z3_2.18.[...]\lib\x64\msvcp120.dll: Can't find dependent libraries
Installing the Visual C++ Redistributable Packages for Visual Studio 2013 fixes the problem.
Unpacking of AF3 zip file fails with 'Path too long' on Windows
Workaround: Unzip into your drive root, e.g., C:/ and give the folder a short name like 'af3'
Menu icons are not displayed on KDE
Go to "System settings - Application Style - GNOME Application Style".
Select "Show symbols of GTK buttons".
Select "Show symbols in GTK menus".
Run AF3 with custom Java installation
All AF3 release versions (starting from 2.24) as well as the nightly build are bundled with a JRE, such that no separate Java installation is necessary. The Java version which is used hereby is 11.0.7 and any other version might cause various problems with starting or running AF3. If you want to use a different Java version nonetheless, you can do so by the following steps:
Check that the path to your AF3 (including the AF3 folder itself) does not contain spaces.
Remove the jre folder from the AutoFOCUS3 directory. Now, the primary Java installation is used (if configured by your operating system).
In case you want to use an even different Java version than your primary Java installation, you may also add the respective path to the Java binaries to autofocus3-phoenix.ini. In case of Windows this would mean to add the following two lines (other OS analogously) before-vmargs : -vm
<PathToYourJavaInstallation>\bin\javaw.exe
Is there a MacOS build?
We discontinued support for MacOS since release version 2.21. If you are interested in using AF3 on MacOS, the AF3 developer team can provide you with older versions. You might also try to use a developer installation (be aware that not all features might work correctly).
Where can I report bugs or file feature requests?
Please direct any kind of feedback to our users mailing list (af_user@lists.fortiss.org). The AutoFOCUS3 teams is happy to support you.
How can I connect ports of two components or states of a state automaton?
Move the cursor close to a port. The cursor will change and you simply have to click and drag to create a connection.
(The old (Version 2.16 and older) ALT+click and drag behavior has been replaced and does not work anymore.)
How can I add new elements to a diagram?
There are three possibilities: either right-click in the model navigator (left side) or in the diagram editor (center) and select the element from the context menu, or drag the element from the model elements view (right side) into the diagram editor.