mirror of https://github.com/wpilibsuite/allwpilib synced 2026-06-19 00:41:43 +00:00

Files

Sam Carlberg 98c03baf54 [javac] Add compiler check for integer division in floating-point contexts (#8885 )

Useful for catching bad behavior when doing math or configuring ratios
with integers. Errors can be turned off with
`@SuppressWarnings("IntegerDivision")`

```java
double kV = 12 / 6000; // error: integer division in a floating-point context
double kV = 12. / 6000; // OK
double kV = 12 / 6000.; // OK

int kV = 12 / 6000; // OK, but evaluates to 0

double ratio = 42 / 12; // error: integer division in a floating-point context

@SuppressWarnings("IntegerDivision")
double ratio = 42 / 12; // OK, evaluates to 2
```

```
Execution failed for task ':developerRobot:compileJava'.
> Compilation failed; see the compiler output below.
  /Users/sam/code/wpilib/allwpilib/developerRobot/src/main/java/wpilib/robot/Robot.java:10: error: integer division in a floating-point context
    double kV = 12 / 6000;
                   ^
  1 error
```

Also adds the compiler plugin as a dependency to the developerRobot
project for dev testing

2026-06-04 21:56:22 -07:00

src

[javac] Add compiler check for integer division in floating-point contexts (#8885 )

2026-06-04 21:56:22 -07:00

BUILD.bazel

[build] Fixup maven publishing (#8753 )

2026-04-11 13:52:43 -07:00

build.gradle

[build] Migrate to Gradle version catalogs (#8524 )

2026-02-20 15:31:33 -08:00

README.md

Add README files for some subprojects and update various other docs (#8640 )

2026-04-26 16:39:26 -07:00

README.md

javacPlugin

A javac plugin for use in WPILib and WPILib robot projects. Combined with wpiannotations, this plugin analyzes source code to ensure the constraints laid out by the specified annotations are followed (to the extent static analysis allows) in order to reduce user mistakes.

Design guidelines

This plugin should only be used for static analysis, not to enhance the Java language with syntax features. Adding additional syntax features is outside the scope of this plugin and can be confusing to beginners.