Skip to content

Error Messages and Static Analysis #11

Closed

Description

@Zamua

Less-Java does not implement any kind of static analysis.

If a less-java program makes it through the front end of the compiler without error, then there is a chance that other semantic errors will be exposed when the generated java source is compiled. In this case, java displays error stack traces referencing objects and line numbers in the generated source. This makes debugging especially frustrating.

Solutions:

  • Implement sufficient static analysis
  • Parse the output and map the references back to the less-java source

Activity

  1. lam2mo commented on Apr 17, 2018

    @lam2mo
    Member

    Items from wiki:

    • duplicate symbols
    • return/break locations
    • expression types
    • function parameters
    • report line numbers
    • type unification failures
  2. added this to the v1.0 milestone on Apr 17, 2018
  3. lam2mo commented on May 29, 2019

    @lam2mo
    Member

    This (or at least a significant part of it) is now part of @hinescd's thesis.

  4. hinescd commented on Mar 2, 2020

    @hinescd
    Contributor

    Currently all that's left for resolving this issue is static analysis for method calls (making sure they exist and are visible, etc.)

  5. lam2mo commented on Apr 23, 2020

    @lam2mo
    Member

    @hinescd is this resolved now?

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

Metadata

Metadata

Assignees

Type

No type

Projects

No projects

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions