Skip to main content
  • Log in
  • Manage Cookies
Eclipse Plugins, Bundles and Products - Eclipse Marketplace
  • My Marketplace
  • Add Content
  • More

      • Community

      • Marketplace
      • Events
      • Planet Eclipse
      • Newsletter
      • Videos
      • Blogs

      • Participate

      • Report a Bug
      • Forums
      • Mailing Lists
      • Wiki
      • IRC
      • Research

      • Eclipse IDE

      • Download
      • Learn More
      • Documentation
      • Getting Started / Support
      • How to Contribute
      • IDE and Tools
      • Newcomer Forum

    • Search

  1. Home
  2. Marketplace
  3. Tools
  4. C4J - Contracts for Java

Please be aware that some listings have been temporarily delisted from our marketplace in order to improve the security of the platform. We apologize for any inconvenience this may caused.

For more information on this matter, please visit #1.

If you are a listing owner and would like to have your listing(s) reinstated, please open a ticket at https://gitlab.eclipse.org/eclipsefdn/it/websites/marketplace.eclipse.org/-/issues.

Thank you for your understanding and cooperation.

C4J - Contracts for Java

C4J - Contracts for Java
3
0
Install

Drag to Install!

Drag to your running Eclipse* workspace.
*Requires Eclipse Marketplace Client

Add this URL to your Eclipse Installation to reach this solution's update site.

Mars (4.5)
Luna (4.4)
Kepler (4.3)
Juno (4.2, 3.8)
Previous to Juno (<=4.1)
Neon (4.6)
Oxygen (4.7)
Photon (4.8)
2018-09 (4.9)

https://github.com/C4J-Team/C4J-Eclipse-Plugin/raw/master/update-site/
Learn more...

Details Group Tabs

Details

Contracts for Java (C4J
Contracts for Java (C4J) is a Contracts framework for Java 1.6 and later. The primary goal for C4J is ease of use. Contracts are about design and quality, aspects of programming that a lot programmers don't spend enough time and energy on.
Therefore a Contracts framework must be simple and painless to use. At the same time the framework must be powerful.
C4J is simple and powerful.

C4J-Eclipse-Plugin Feature List:
https://github.com/C4J-Team/C4J-Eclipse-Plugin

C4J-Website for general information:
http://c4j-team.github.io/C4J/

Your feedback is highly appreciated!

We are not going to try to convince any readers that Contracts are indeed a very powerful design and quality assurance technique, so if you are not already convinced of that, please follow the links above and you may be convinced to try this tool out! These are our favorites though:

  • Contracts consist of preconditions and postconditions, which are systematically defined method by method.
  • The class invariant ensures the DRY principle (Don't Repeat Yourself) for contracts by defining all those assertions, which must be fulfilled at any visible state of an object, only once.
  • Contracts can be linked to classes and interfaces.
  • Contracts are inherited by extending a class or by implementing an interface which is guarded by a contract.
  • To be able to define meaningful contracts you are forced to split lengthy methods into small, well defined, methods with a single responsibility.
  • As your contracts are checked at runtime, your classes are validated against the real usage of your application, not against some test cases that may not even be real use cases.
  • If you are dealing with legacy code that you are afraid of refactoring, external contracts are perfect to add to existing code with no risk involved.

C4J-Eclipse-Plugin Feature List:
https://github.com/C4J-Team/C4J-Eclipse-Plugin

C4J-Website for general information:
http://c4j-team.github.io/C4J/

Categories:
  • General Purpose Tools,
  • Testing,
  • Tools
Tags:
  • contract,
  • contracts,
  • quality,
  • Correctness,
  • specification,
  • runtime,
  • legacy,
  • Assertion,
  • Precondition,
  • Postcondition,
  • Invariant,
  • Design by Contract,
  • java,
  • vksi
Additional Details
Eclipse Versions: 
Mars (4.5), Luna (4.4), Kepler (4.3), Juno (4.2, 3.8), Previous to Juno (<=4.1), Neon (4.6), Oxygen (4.7), Photon (4.8), 2018-09 (4.9)
Platform Support: 
Windows, Mac
Organization Name: 
VKSI
Development Status: 
Production/Stable
Date Created: 
Fri, 2013-06-28 05:46
License: 
EPL
Date Updated: 
Mon, 2019-02-04 13:50
Submitted by: 
C4J VKSI
Metrics
DateRankingInstallsClickthroughs
March 2023NA0 (0%)4
February 2023659/6681 (0%)20
January 2023557/6774 (0%)8
December 2022669/8053 (0%)10
November 2022720/8082 (0%)6
October 2022797/8111 (0%)20
September 2022NA0 (0%)7
August 2022774/8081 (0%)7
July 2022767/8161 (0%)5
June 2022717/8102 (0%)6
May 2022547/81010 (0%)8
April 2022NA0 (0%)8
March 2022NA10
View Data for all Listings
Errors

Unsuccessful Installs in the last 7 Days: 0

Download last 500 errors (CSV)
External Install Button

Marketplace Drag to Install button

By adding the following code below to your website you will be able to add an install button for C4J - Contracts for Java.

HTML Code:


Markdown Syntax:



Output: Drag to your running Eclipse* workspace. *Requires Eclipse Marketplace Client
Tuesday, March 21, 2023 - 08:30
  • Sign in to post reviews.

Markets

  • Eclipse Project (4)
  • Tools (1342)
    • Application Development Frameworks (171)
    • Application Management (32)
    • Application Server (31)
    • BIRT (10)
    • Build and Deploy (104)
    • Business Intelligence, Reporting and Charting (14)
    • Code Management (117)
    • Collaboration (37)
    • Database (44)
    • Database Development (34)
    • Database Persistence (17)
    • Documentation (60)
    • Eclipse Kura (122)
    • Eclipse SmartHome (46)
    • EclipseRT Target Platform Components (10)
    • Editor (339)
    • Entertainment (14)
    • General Purpose Tools (124)
    • Graphics (34)
    • IDE (344)
    • Internet of Things (IoT) (35)
    • J2EE Development Platform (44)
    • J2ME (5)
    • Languages (155)
    • Linux Tools (19)
    • Logging (22)
    • Mobile and Device Development (49)
    • Modeling (90)
    • Modeling Tools (146)
    • Mylyn Connectors (20)
    • Network (14)
    • Other (74)
    • Process (18)
    • Profiling (22)
    • Programming Languages (100)
    • Reporting (32)
    • Rich Client Applications (39)
    • Science (4)
    • SCM (20)
    • Search (42)
    • SOA Development (15)
    • Source Code Analyzer (99)
    • Systems Development (59)
    • Team Development (54)
    • Testing (90)
    • Tools (568)
    • UI (97)
    • UML (40)
    • Web (90)
    • Web Services (31)
    • Web, XML, Java EE and OSGi Enterprise Development (32)
    • XML (29)
  • IoT (172)
    • Eclipse Kura (122)
    • Eclipse SmartHome (46)
  • RCP Applications (79)
  • Training & Consulting (53)
  • Long Term Support (11)

Search

Advanced Search

More like this

  • MegaMart2 IDE
  • IBM Monitoring and Diagnostic Tools- Health Center
  • Veracode Greenlight
  • Sonatype Nexus IQ
  • Appium Studio for Eclipse

Favorited by

Eclipse Foundation

  • About Us
  • Contact Us
  • Sponsor
  • Members
  • Governance
  • Code of Conduct
  • Logo and Artwork
  • Board of Directors
  • Careers

Legal

  • Publishing Guidelines
  • Privacy Policy
  • Terms of Use
  • Copyright Agent
  • Eclipse Public License
  • Legal Resources

Useful Links

  • Welcome to Marketplace
  • Report a Bug
  • Documentation
  • How to Contribute
  • Mailing Lists
  • Forums
  • Marketplace

Other

  • IDE and Tools
  • Projects
  • Working Groups
  • Research@Eclipse
  • Report a Vulnerability
  • Service Status

Copyright © Eclipse Foundation. All Rights Reserved.

Back to the top