26,447 research outputs found
A Non-Null Annotation Inferencer for Java Bytecode
We present a non-null annotations inferencer for the Java bytecode language.
We previously proposed an analysis to infer non-null annotations and proved it
soundness and completeness with respect to a state of the art type system. This
paper proposes extensions to our former analysis in order to deal with the Java
bytecode language. We have implemented both analyses and compared their
behaviour on several benchmarks. The results show a substantial improvement in
the precision and, despite being a whole-program analysis, production
applications can be analyzed within minutes
Custom Annotation for Execution of Data Manipulation Commands in a Generic Manner ? A Case Study
Java annotations are the tags employed for providing meta data for Java code. They can be attached to a class, method, or a field to provide some additional information to the compiler and JVM. This paper introduces the concept of Annotations in Java with an emphasis on various in-built annotations in Java and the annotations that are used by other annotations. The reader is introduced to J2EE standard annotations and those employed by Hibernate as a replacement for XML-based mapping document. Steps in designing and using custom annotations are highlighted. A custom annotation design is illustrated with the help of an example for execution of DML commands in a generic way in a database management system independent manner
Ann: a domain-specific language for the effective design and validation of Java annotations
This paper describes a new modelling language for the effective design and validation of
Java annotations. Since their inclusion in the 5th edition of Java, annotations have grown
from a useful tool for the addition of meta-data to play a central role in many popular
software projects. Usually they are not conceived in isolation, but in groups, with
dependency and integrity constraints between them. However, the native support provided by Java for expressing this design is very limited.
To over
come
its
deficiencies
and
make
explicit
the
rich
conceptual model which lies
behind a set of annotations,we propose a domain-specific modelling language.The proposal has been implemented as an Eclipse plug-in, including an editor and an integrated
code generator that synthesises annotation processors. The environmental so integrates a model finder,able to detectun satisfiable constraints between different annotations, and to provide examples of correct annotation usages for validation. The language has been tested
using a real set of annotations from the Java Persistence API(JPA).Within this subset we have found enough rich semantics expressible with Ann and omitted nowadays by the Java language, which shows the benefits of Ann in are levant field of application
A modelling language for the effective design of Java annotations
This paper describes a new modelling language for the ef-
fective design of Java annotations. Since their inclusion in
the 5th edition of Java, annotations have grown from a use-
ful tool for the addition of meta-data to play a central role
in many popular software projects. Usually they are con-
ceived as sets with dependency and integrity constraints
within them; however, the native support provided by Java
for expressing this design is very limited.
To overcome its deficiencies and make explicit the rich
conceptual model which lies behind a set of annotations, we
propose a domain-specific modelling language.
The proposal has been implemented as an Eclipse plug-
in, including an editor and an integrated code generator that
synthesises annotation processors. The language has been
tested using a real set of annotations from the Java Per-
sistence API (JPA). It has proven to cover a greater scope
with respect to other related work in diferent shared areas
of application
{JML}-based Verification of Liveness Properties on a Class in isolation
International audienceThis paper proposes a way to verify temporal properties of a Java class in an extension of JML (Java Modeling Language) called JTPL (Java Temporal Pattern Language). We particularly address the verification of liveness properties by automatically translating the temporal properties into JML annotations for this class. This automatic translation is implemented in a tool called JAG (JML Annotation Generator). Correctness of the generated annotations ensures that the temporal property is established for the executions of the class in isolation
- …