Extending the JastAdd extensible Java compiler to Java 7

Öqvist, Jesper; Hedin, Görel

doi:10.1145/2500828.2500843

Cited by 11 publications

(4 citation statements)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We implemented multiplicities for Java as described above as an extension to JastAddJ [13], an extensible Java compiler implemented using reference attribute grammars [12,20], and which currently supports Java 7 [30]. The extension comprises 44 source lines of JastAdd code for the syntax, 672 lines for the static semantics, and 1,180 lines for code generation.…”

Section: Methodsmentioning

confidence: 99%

Multitudes of Objects: First Implementation and Case Study for Java.

Steimann¹,

Öqvist²,

Hedin³

2014

JOT

Self Cite

View full text Add to dashboard Cite

In object-oriented programs, the relationship of an object to many objects is usually implemented using indirection through a collection. This is in contrast to a relationship to one object, which is usually implemented directly. However, using collections for relationships to many objects does not only mean that accessing the related objects always requires accessing the collection first, it also presents a lurking maintenance problem that manifests itself when a relationship needs to be changed from to-one to to-many or vice versa. Continuing our prior work on fixing this problem, we show how we have extended the Java 7 programming language with multiplicities, that is, with expressions that evaluate to a number of objects not wrapped in a container, and report on the experience we have gathered using these multiplicities in a case study.

show abstract

Section: Methodsmentioning

confidence: 99%

Multitudes of Objects: First Implementation and Case Study for Java.

Steimann¹,

Öqvist²,

Hedin³

2014

JOT

Self Cite

View full text Add to dashboard Cite

show abstract

“…Attribute Grammars [Knuth 1968] are another declarative programming paradigm for program analysis. Tools such as AbleC [Kaminski et al 2017] for C and ExtendJ (formerly JastaddJ) for Java [Ekman and Hedin 2007;Öqvist and Hedin 2013], which underlies JavaDL, provide declarative features for computing attributes of AST nodes by synthesizing information from other AST nodes (including other attributes). Computations can be functional (in AbleC, based on Silver [Van Wyk et al 2010]) or imperative (in ExtendJ, based on JastAdd [Hedin and Magnusson 2003]).…”

Section: Related Workmentioning

confidence: 99%

JavaDL: automatically incrementalizing Java bug pattern detection

Dura

Reichenbach

Söderberg

2021

Proc. ACM Program. Lang.

View full text Add to dashboard Cite

Static checker frameworks support software developers by automatically discovering bugs that fit general-purpose bug patterns. These frameworks ship with hundreds of detectors for such patterns and allow developers to add custom detectors for their own projects. However, existing frameworks generally encode detectors in imperative specifications, with extensive details of not only what to detect but also how . These details complicate detector maintenance and evolution, and also interfere with the framework’s ability to change how detection is done, for instance, to make the detectors incremental. In this paper, we present JavaDL, a Datalog-based declarative specification language for bug pattern detection in Java code. JavaDL seamlessly supports both exhaustive and incremental evaluation from the same detector specification. This specification allows developers to describe local detector components via syntactic pattern matching , and nonlocal (e.g., interprocedural) reasoning via Datalog-style logical rules . We compare our approach against the well-established SpotBugs and Error Prone tools by re-implementing several of their detectors in JavaDL. We find that our implementations are substantially smaller and similarly effective at detecting bugs on the Defects4J benchmark suite, and run with competitive runtime performance. In our experiments, neither incremental nor exhaustive analysis can consistently outperform the other, which highlights the value of our ability to transparently switch execution modes. We argue that our approach showcases the potential of clear-box static checker frameworks that constrain the bug detector specification language to enable the framework to adapt and enhance the detectors.

show abstract

“…We obtain information about the meaning of Java files by parsing both of the revisions we are comparing. We use JastAddJ [20] to parse the information into an AST. Once we have the AST we need to discover which AST nodes match which changes to the text in the source code.…”

Section: Overviewmentioning

confidence: 99%

Maintaining private views in Java

Haslett¹

View full text Add to dashboard Cite

<p>When developers collaborate on a project there are times when the code diverges. When this happens the code may need to be refactored to best suit the changes before they are applied. In these situations it would be valuable to have a private view. This view would be functionally equivalent to other views and be able to present the code in a different form. It enables a developer to refactor or change the code to their tastes, with minimal impact on other developers. Changes in the order of methods and the addition of comments currently impact other developers even if there is no change in how the code works. The Refactor Categories Tool has been written to detect where Java source code has been moved within a file or comments have been added, removed or edited. This indicates that it would be useful for version control systems to differentiate between changes to a program that also change the behaviour and those that do not.</p>

show abstract

Extending the JastAdd extensible Java compiler to Java 7

Cited by 11 publications

References 17 publications

Multitudes of Objects: First Implementation and Case Study for Java.

Multitudes of Objects: First Implementation and Case Study for Java.

JavaDL: automatically incrementalizing Java bug pattern detection

Maintaining private views in Java

Contact Info

Product

Resources

About