Julia Tutorial
Julia is a Type Qualifier Inference (TQI) tool. It infers Nullness annotations for a given piece of code and inserts the annotations in the code.
A video version of this tutorial is available available at http://youtu.be/-XGFj00SFiQ.
To run Julia from within Eclipse, right-click on launch/Julia.launch and select Run As > Julia. See the figure below for a screenshot of running Julia.
Julia terminates in about two minutes. Please wait until Julia terminates. When Julia terminates, the console will contain the message BUILD SUCCESSFUL and the title of the console will begin with <terminated>. Please ignore the rest of the messages in the console. See the screenshot below to see how the console looks like after Julia terminates.
Julia will insert Nullness annotations into the source files. If you open the source files after Julia terminates, you'll see Nullness annotations such as @Nullable, @Raw, and @SuppressWarnings in the source files.
The Nullness Checker analyzes a given piece of code and reports any violations of the Nullness rules in the Eclipse console.
To run the Nullness checker, right click on launch/Check.launch and select Run As > Check.
The Nullness Checker terminates in several seconds. When the Nullness Checker terminates, the console will contain the message BUILD SUCCESSFUL and the title of the console will begin with <terminated>. If the Nullness Checker detects any compilation problems, including violations of the Nullness rules, it will report them in the console. The messages reported in the console contains hyperlinks to part of the source file that caused the message. See the screenshot below to see how the console looks like after the Nullness Checker terminates.
- How does Julia change the source code?
- How would you run the Nullness Checker?