Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
student:jgrasp:help [2018/09/06 17:24] – bernstdh | student:jgrasp:help [2021/11/28 16:41] (current) – bernstdh | ||
---|---|---|---|
Line 35: | Line 35: | ||
- Select the text you want to change. | - Select the text you want to change. | ||
- | - Click on < | + | - Click on < |
Line 68: | Line 68: | ||
+ | === Setting the checkstyle binary ("JAR file") === | ||
+ | - Download an appropriate checkstyle jar file, either provided by your instructor or from [[https:// | ||
+ | * Right-click and choose "Save Link As...' | ||
+ | * put this somewhere on the computer that you won't accidentally delete it before you're done with it. | ||
+ | - In jGRASP, click on < | ||
=== Running Checkstyle === | === Running Checkstyle === | ||
Line 74: | Line 79: | ||
- | === Correcting " | + | === Correcting " |
Most styleguides require that files end in a newline character. So, it is important to use the Linux/Unix [[ #Setting the End of Line Character | end of line character. ]] | Most styleguides require that files end in a newline character. So, it is important to use the Linux/Unix [[ #Setting the End of Line Character | end of line character. ]] | ||
Line 91: | Line 96: | ||
If you have properly configured jGRASP, the " | If you have properly configured jGRASP, the " | ||
+ | |||
+ | |||
+ | == Classpath == | ||
Though it's not absolutely necessary (depending on how you create | Though it's not absolutely necessary (depending on how you create | ||
Line 101: | Line 109: | ||
- | Unless you understand what it is doint, you should probably delete | + | Unless you understand what it is doing, you should probably delete |