Tags : Browse Projects

Select a tag to browse associated projects and drill deeper into the tag cloud.

Quality-Check

Compare

  Analyzed 2 days ago

The goal of Quality-Check is to provide a small Java library for basic runtime code quality checks. It provides similar features to org.springframework.util.Assert or com.google.common.base.Preconditions without the need to include big libraries or frameworks such as Spring or Guava. This package ... [More] tries to replace these classes and provide all the basic code quality checks you need. The checks provided here are typically used to validate method parameters and detect errors during runtime. To detect errors before runtime we use JSR-305 Annotations. With these annotations you are able to detect possible bugs earlier. For more informations look at FindBugs™ JSR-305 support. [Less]

19K lines of code

0 current contributors

over 1 year since last commit

1 users on Open Hub

Very Low Activity
5.0
 
I Use This

Java Modeling Language (JML)

Compare

  Analyzed about 1 year ago

The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, unit testing, etc.

9.05M lines of code

3 current contributors

about 1 year since last commit

1 users on Open Hub

Activity Not Available
5.0
 
I Use This
Licenses: No declared licenses

Modern Jass

Compare

  Analyzed 2 days ago

Modern Jass is a Design by Contract implementation for Java which uses Java 5 annotations, the Pluggable Annotation Processing API (JSR 269), the Compiler API (JSR 199), and the Bytecode Instrumentation API.

13.3K lines of code

0 current contributors

over 7 years since last commit

0 users on Open Hub

Inactive
0.0
 
I Use This
Licenses: No declared licenses

dclib

Compare

  No analysis available

This is a modern C++ library with a focus on portability and program correctness. It strives to be easy to use right and hard to use wrong. Thus, it comes with extensive documentation and thorough debugging modes. The library provides a platform abstraction layer for common tasks such as interfacing ... [More] with network services, handling threads, or creating graphical user interfaces. Additionally, the library implements many useful algorithms such as data compression routines, linked lists, binary search trees, linear algebra and matrix utilities, machine learning algorithms, xml and text parsing, and many other general utilities. [Less]

0 lines of code

0 current contributors

0 since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This
Mostly written in language not available
Licenses: BSD-4-Cla...

javadbc

Compare

  Analyzed over 1 year ago

The notion of contracts as interfaces annotated with preconditions,postconditions and invariants , is simple and practical. The interface defines everything the clients need to know, but no more than that. This Project focus is on developing a library of Desing by Contract for Java. JavaDbC uses ... [More] Java 5 annotations, to define assertions based on AOP(http://www.eclipse.org/aspectj/) and OGNL(http://www.ognl.org/). Quick start with Design by Contract in Java (Comming soon!) You can see the code and examples here: http://javadbc.googlecode.com/svn/trunk/ Example package org.dbc.examples.genericstack; import org.javadbc.attributes.DBC; import org.javadbc.attributes.Ensure; import org.javadbc.attributes.Invariant; import org.javadbc.attributes.Require; @DBC @Invariant("getCount() >= 0") public interface IStack { /** * Cantidad de items que contiene actualmente el Stack * * @return */ int getCount(); /** * Retorna el item que esta en el tope de la pila * * @return */ @Require("getCount() > 0") public E getItem(); /** * Determina si el Stack esta vacio * * @return */ @Ensure("{result}==(getCount()==0)") public boolean isEmpty(); /** * Cada nuevo Stack se inicializa en vacio o para re-inicializar una Stack * existente */ void initialize(); /** * Pone un item g sobre el tope del Stack * * @param g */ @Ensure("#arg0.equals(getItem()) && ( getCount() == {old getCount()} + 1)") void put(E g); /** * Saca el elemento que esta en el tope del Stack * * @return */ @Require("getCount() > 0 ") @Ensure("getCount() == {old getCount()} - 1 ") void remove(); } [Less]

1.21K lines of code

0 current contributors

over 6 years since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This

dbcunit

Compare

  Analyzed over 1 year ago

Design By Contract is a methodology that has various levels of support in various languages (Eiffel, for example) and methodologies. Unfortunately, C# and most other .NET languages do not have explicit support for Design By Contract. DBCUnit is an open source, NUnit style, unit testing framework ... [More] that aims to fill this need. This work is entirely based on various readings that I've done in the last few years, on the Design By Contract subject and was originally proposed in a blog post I made: http://www.derickbailey.com/2008/04/23/DesignByContractUnitTestsItsNotJustForTestingAnymore.aspx [Less]

449 lines of code

0 current contributors

over 9 years since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This

parameter-checker

Compare

  Analyzed over 1 year ago

OverviewParameterChecker is a small Java utility class, that provides methods that can be used to check the values of parameters passed into a method, and that throw IllegalArgumentExceptions with descriptive error messages if the parameters are not within the specified bounds. This allows fail ... [More] fast in case a caller is using a method with invalid values, with a clear error message, instead of an hard to track bug later when the invalid value causes some obscure error. Usage examplepublic void createCreature( String creatureId, Image picture, double hitpoints, double x, double y ) { // Note: we are passing both the variable value and name to the check methods, // this enables them to create a clearer error description, that immediately // shows the programmer what parameter was wrong // Check that the parameter is a java style identifier (no whitespace, starts with letter) ParameterChecker.checkIsIdentifier( creatureId, "creatureId" ); // Check that the parameter is not null ParameterChecker.checkNotNull( picture, "picture" ); // Check that the number is larger than zero, but not infinity or NaN ParameterChecker.checkPositiveNonZeroNormalNumber( hitpoints, "hitpoints" ); // Check that the number is not positive or negative infinity or NaN. ParameterChecker.checkNormalNumber( x, "x" ); ParameterChecker.checkNormalNumber( y, "y" ); // Rest of the code goes here... We now know that the parameters have valid values. }If we called that method with e.g. the hitpoints parameter as -10, an IllegalArgumentException with the following message would be thrown: "The parameter 'hitpoints' should be a normal positive non zero number, but it was '-10'." Future developmentAnnotations would be a natural language construct to use for specifying parameter constraints. Unfortunately, there doesn't currently seem to exist any official way to get the parameter names through reflection. Paranamer seems to allow access to the parameter names though. [Less]

283 lines of code

0 current contributors

about 9 years since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This

cool-code

Compare

  Analyzed over 1 year ago

Will hopefully add soon: org.cool.debug.ensure Runtime assertions. Useful for ensuring parameters are valid. org.cool.tool A command-line tool system. Useful for little things like unpacking a tileset.

146 lines of code

0 current contributors

almost 10 years since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This

invariantj

Compare

  Analyzed over 1 year ago

InvariantJ is a mechanism for implementing class invariant checking in Java. It uses a simple method naming convention and byte code decoration to allow developers to create as many invariants as they wish. If one or more invariants fail at runtime, an exception will be thrown with a message ... [More] containing the full list of violated invariants. [Less]

1.84K lines of code

0 current contributors

over 9 years since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This

codecontract

Compare

  Analyzed over 1 year ago

Lightwight system providing support for Design by Contract Methodology for Java.

0 lines of code

0 current contributors

over 10 years since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This
Mostly written in language not available
Licenses: Apache-2.0