The div-by-zero-checker from kelloggm

div-by-zero-checker's People

Contributors

Stargazers

Watchers

div-by-zero-checker's Issues

Test infrastructure does not work correctly on native Windows

Once the Visitor is implemented, the tests do not work properly on Windows. Errors are issued at location -1:other rather than the proper lines, like this:

java.lang.AssertionError: 0 out of 12 expected diagnostics were found.
14 unexpected diagnostics were found
Foo.java:-1: other: :16: error: (divide.by.zero)
        int x    = one / zero;
                       ^
Foo.java:-1: other: :19: error: (divide.by.zero)
        int z    = x / y;
                     ^
Foo.java:-1: other: :26: error: (divide.by.zero)
            int x = 1 / y;
                      ^
Foo.java:-1: other: :35: error: (divide.by.zero)
            int x = 1 / y;
                      ^
Foo.java:-1: other: :42: error: (divide.by.zero)
            int x = 1 / y;
                      ^
Foo.java:-1: other: :47: error: (divide.by.zero)
            int x = 1 / y;
                      ^
Foo.java:-1: other: :53: error: (divide.by.zero)
            int x = 1 / y;
                      ^
Foo.java:-1: other: :58: error: (divide.by.zero)
            int x = 1 / y;
                      ^
Foo.java:-1: other: :62: error: (divide.by.zero)
            int x = 1 / y;
                      ^
Foo.java:-1: other: :67: error: (divide.by.zero)
            int x = 1 / y;
                      ^
Foo.java:-1: other: :74: error: (divide.by.zero)
        int x = 1 / zero_the_hard_way;
                  ^
Foo.java:-1: other: :82: error: (divide.by.zero)
        int a = 1 / (1 - 1);
                  ^
Foo.java:-1: other: :85: error: (divide.by.zero)
        int x = 1 / (y - y);
                  ^
Foo.java:-1: other: :88: error: (divide.by.zero)
        int k = 1/z;
                 ^
12 expected diagnostics were not found:
Foo.java:16: error: divide.by.zero
Foo.java:19: error: divide.by.zero
Foo.java:26: error: divide.by.zero
Foo.java:35: error: divide.by.zero
Foo.java:42: error: divide.by.zero
Foo.java:47: error: divide.by.zero
Foo.java:58: error: divide.by.zero
Foo.java:67: error: divide.by.zero
Foo.java:74: error: divide.by.zero
Foo.java:82: error: divide.by.zero
Foo.java:85: error: divide.by.zero
Foo.java:88: error: divide.by.zero

Under WSL (i.e., the Windows Subsystem for Linux) the tests work fine.

Recommend Projects