- Download the latest version of JavaFX SDK at https://openjfx.io/ and unzip the package
- Download Zulu Java 8 (LTS) from https://www.azul.com/downloads/?version=java-8-lts&package=jdk-fx Ensuring the Java Package is JDK FX. Then unzip the package
- Download and install the latest version of Apache Netbeans https://netbeans.apache.org/download/index.html
- Once everything is downloaded, open Apache Netbeans and navigate under Tools > Java Platforms in order to open the Java Platform Manager
- Inside the Java Platform Manager click Add Platform...
- Select Java Standard Edition for the platform type
- Navigate to where your zulu-9.jdk folder is, go into it's contents, then select Home and click Next
- Give the platform a name and click done
- In Apache Netbeans navigate under Tools > Libraries to open up the Ant Library Manager
- Select New Library...
- Name the library JavaFX 19 (or the that was version downloaded)
- find and select the name of the library under Libraries:
- Click Add JAR/Folder... and navigate to the location where the unzipped/downloaded JavaFX SDK is and open the lib folder
- Select all the JavaFX files ending with .jar
- Start a new project
- Under Java with Ant select JavaFX then JavaFX Application and click next
- Change the JavaFX Platform to JDK 1.8 (the name of the platform we added in the Platform Manager section) and click finish
- Navigate to the project properties by selecting File > Project Properties
- Go to the Libraries section and go to Compile
- Click on the '+' sign next to Classpath and select all the .jar files inside of your JavaFX SDK library download
- Make sure to update each file so they begin with "package your_file_name;" and not "package javafxtesting;"
- Update the FXML.fxml file so that the AnchorPane says fx:controller="your_file_name.Controller"
- Run the application
- Click on the NODES button to activate the node tool
- Type a name into the node text field to name newly placed nodes
- Click on the canvas to place a node
- Click on a node with the NODES button activated to edit the node name OR delete the node
- Click on the EDGES button to activate the edge tool
- Type a name into the edge text field to name newly placed edge
- Click on one node to select the "down point"
- Click on another to create an edge/relationship between the two nodes
- Edges have a direction based on the node that was selected first towards the node that was selected second
- Click on an Edge with the EDGES button activated to edit the relation/edge name OR delete the edge
- Click on output to produce a
.als
file that can be read by Alloy - Choose where you want this file to be produced by changing the file location in the
Controller.java
file in theOutputButtonPressed()
method