Tags : Browse Projects

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

Java Modeling Language (JML)

Compare

  Analyzed 9 months 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

9 months since last commit

1 users on Open Hub

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

Quality-Check

Compare

  Analyzed 23 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

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...

dbcfourj

Compare

  Analyzed 12 months ago

A "Design by Contract" framework for Java using annotations and aspects.

1.62K lines of code

0 current contributors

about 7 years since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This

Modern Jass

Compare

  Analyzed 6 months 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

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

valy

Compare

  Analyzed over 2 years ago

This project has been temporarilly discontinuet in favor of FLUENTVALY which can be found here Our motto is that validation is not just about the front-end, and we mean it! We believe that validation deserves more attention than it usually enjoys. Valy is designed to follow the following ... [More] software design principles: DBC - design my contract DRY - don't repeat yourself IOC - inversion of control The DRY principle is upheld by defining your validation logic in an humanly readable XML format and generate the individual validators from there. An example validation setup for a person might look like this: ^([a-zA-Z0-9]{6,15})$ ^\w*(?=\w*\d)(?=\w*[a-z])(?=\w*[A-Z])\w*$ From this definition Valy will generate classes used to enforce the validation definitions. namespace Foo { public class Person { private string userName; private string password; private IPersonValidator validation; public Person(IValidator validation) { this.validation = validation.For; } public string UserName { get { return userName; } set { if(validation.validateUserName(value)) userName = value; } } public void SetPassword(string password) { if(validation.PreconditionFor(o => o.SetPassword, password)) password = password; } } }It is not the best example in the world but still the power of valy is shown. [Less]

18.3K lines of code

0 current contributors

over 7 years since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This

dbcunit

Compare

  Analyzed about 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

about 9 years since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This

jtoc

Compare

  Analyzed 12 months ago

Jtoc is a library for writing test assertions in Java, which provides an easy way to write contracts with java's inner class. Compared with other libraries, Jtoc focuses on completely test the contracts without changing the original design of the class. It supports Unit testing, where the written ... [More] JUnit tests could be used in the test-project Jtoc generated without any change. Jtoc is created by using two open source library -- javaparser created and maintained by J. V. Gesser as the Java grammar parser, apache-commons-logging as the logger. For more information about this project, please check the wiki Any help is welcome for this project:) [Less]

5.85K 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

agreejs

Compare

  Analyzed 23 days ago

Introspectable Contracts Programming for JavaScript/CoffeeScript

1.12K lines of code

1 current contributors

4 months since last commit

0 users on Open Hub

Very Low Activity
0.0
 
I Use This

parameter-checker

Compare

  Analyzed 12 months 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

almost 9 years since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This