New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Represent type intersections #215

Open

Gabriel-Darbord opened this issue Dec 22, 2023 · 0 comments

Member

Gabriel-Darbord commented Dec 22, 2023

In Java, it is possible to make an intersection between types within cast expressions:

MyInterface inst = (MyInterface & MyClass) obj;

The SmaCC parser can figure this out, but the representation in the model is missing.

Also note that since Java 16, this can also be done with Pattern Matching in instanceof Expressions.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment