Eclipse Community Forums: Technology Project and PMC

Home » Eclipse Projects » Technology Project and PMC » Design by contract

Mon, 11 November 2002 09:15

Eclipse User

Hello,

I'd like to integrate DbC tool (maybe iContract) into eclipse.
The problem is that it requires some paramters to be passed to javac,
for the source to be generated (to the /instr folder).
Is there a way to do this in Eclipse?

Thank you,
Boris.

Previous Topic:	Deleting methods by a plugin
Next Topic:	Design by contract

Goto Forum:

-=] Back to Top [=-

Current Time: Sat Jul 12 14:52:09 EDT 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter