Search Results for "essential-static" - Page 5

This lightweight dynamic component framework, implemented in Java in a first time uses no code generation at all but uses only contracts. Contracts are expressed using simple software mechanism as interfaces and/or reflection (from middleware to application). A single small jar hosts the code dedicated to data, event and services management over the network, using contracts, reflection and generics. The main goal of the Java Dynamic Component Framework (jdcf) is to simplify the writing...

AWK~plus is the next generation script practice environment. The AWK Language specifications and a main extension of GNU GAWK. Combination of Dynamic and Static typing. Parallel computing that a lock is free, and is thread safe at a language level.

Small and simple Java Date handler library, based on public static methods for basic java.util.Date manipulation. The main features: - add minutes, hours, seconds to a given date; - get the hour 00:00:00 and 23:59:59 from a given date; - get the diference in hours, minutes, seconds between 2 given dates; - check if 2 or more dates are in the same week, month; - check if 2 or more dates are the same day; - get the start and end of the month;

Nataly, which can translate name-based pointcuts into analysis-based pointcuts automatically. Analysis-based pointcuts, can specify join points through static program analysis. But another problem is that there are few approaches can generate analysis-based pointcuts. We implement Nataly to tackle these two problems with a novel pattern, which is generated by static analysis.

The AccessModifer Plug-in for Eclipse allows the user to change the visibility (public, protected, default, private) and other modifiers (final, static, synchronized) of Java classes, interfaces, methods and fields in several of the workbench's views.

Eclipse Plug-In that determines the Minimal Access Modifier of Java types and methods project and computes the software metrics Inappropriate Generosity with Accessibility of Types (IGAT) and Inappropriate Generosity with Accessibility of Methods (IGAM). The Minimal Access Modifier of a Java type or type member is the most restrictive access modifier that is able to allow all actual usages of the particular type or member from inside a given code base (normally the entire source code of...

This project attemps to integrate the Eclipse CDT C/C++ IDE and the Splint static checker.

XJML 1.0 actually can reads one Java class and its contract (written in XML) and then executes the next verification techniques: 1. Runtime Assertion Checking (RAC). Using JML4c and JML4rt tools. 2. Extended Static Checking (ESC). Using ESC/Java2. 3. Full Static Program Verification (FSPV). Using the Why platform (tested with Why 2.30 and Why3 0.71)

A static checker that model checks the implementation of equality for an Eclipse Java Project.

The java library based on Mockito wich extends it with the ability to mock private/static/final methods, getting and setting the values for private fields and to substitute the date and time for testing purposes.

This tool allows users to centralize the default Swing Look and Feel selection for those Java applications that implement the specification. In order to use this service, programmers only have to reference a JAR library and call a static method.

essential is a lightweight REST framework for Java with focus on processing XML and JSON out of the box.

A spring utility that makes developing with spring a little easier by enabling, with minimal code, runtime wiring, static ApplicationContext access, easy spring application creation and FitNesse-Spring integration

Support for Java 3D in NetBeans IDE. Currently only a wrapper for Java3D libraries. The goal is to at least provide Matisse with every component a user can add to its form, and later a static Universe Editor.

StaticLinq is a plain and simple java solution to LINQ. We follow the KISS principle and use interfaces to achieve LINQ-like syntax. This project prepares us for Java 7's addition of Closure while still support Java 5 and 6 P.S. NO REFLECTIONS, EVER

A web-based courseware system for programming courses. Provides support for on-line submission testing, static analysis, code coverage, peer and instructional code reviews and grading. Works with projects in any programming language.

GWTApp provides several features like: HTML templating and messaging at runtime without application recompiling, MetaField to auto bind and simulate annotation of RPC data fields, Strong typing in MVC, Modular structure in Maven.

Tsunami is an open-source high performance computing language. With it you can write streaming data-parallel algorithms that utilize GPGPUs for orders-of-magnitude speed-up with the ease of writing sequential algorithms.

RES is a pure Java based Open Source Cobol to Java translator. It creates maintainable Java code for a subset of VS Cobol syntax. It has been developed with JDK, JTB and Javacc.

An umbrella project for static data repositories, such as ISO country codes, currency codes, and more to come. For each subject, there will be three stages: data gathering, java repository implementation, generation of files for other technologies.

JUCA stands for "JUnit Coverage Analyzer". It is a tool which performs a static analysis of your java class files and determines which methods of your classes are (potentially) called from JUnit testcases. The results are summarized in a HTML repor

Sugar4j generates code without the use of external text files, templates, JSP and the like. The static and the dynamic parts are both contained in the same Sugar4j java file. Everything is java. publicc().classs("Sugar4j").empty();

Abstracts developers from SQL syntax, with methods that return Strings to pass on to JDBC, thus allowing compile-time checking for, many, otherwise run-time bugs. e.g. stmt.executeQuery(SqlWrapper.selectId(ordersTable, customerColumn, "John Smith")

The GroovyStAr ("Groovy Static Analyzer") project describes a new extensible SCA tool for Java and Groovy. The extensibility is reached through a customizable set of Groovy-scripts, each representing a static source code query against the created AST.

A language-validation testing harness for Java (and Java-like) compilers & other language tools. Provides a framework for verifying whether static/runtime errors occur when running collections of test programs (benchmarks) described by "jlbench" files.