This is the mail archive of the
ecos-discuss@sourceware.org
mailing list for the eCos project.
Re: CDL Constraints Question
- From: Andrew Lunn <andrew at lunn dot ch>
- To: Jay Foster <jay at systech dot com>
- Cc: "'ecos-discuss at ecos dot sourceware dot org'" <ecos-discuss at ecos dot sourceware dot org>
- Date: Wed, 29 Mar 2006 22:40:48 +0200
- Subject: Re: [ECOS] CDL Constraints Question
- References: <74C9525D67A5FF4791614FDB06593BB10285B3@mail.systech.com>
On Wed, Mar 29, 2006 at 12:03:05PM -0800, Jay Foster wrote:
> I have a CDL package that contains a cdl_interface (call it CYGINT_X) and a
> boolean cdl_option (call it CYGOPT_X). The cdl_option is only active when
> the cdl_interface is implemented (active_if CYGINT_X).
>
> It is valid to have 0, 1, 2, or more implementors of CYGINT_X.
>
> For another cdl_option, I would like to add some kind of constraint
> (requires statement?) that does the following:
>
> If the CGYINT_X is implemented by one or more implementors (CYGINT_X
> > 0), require CYGOPT_X to be 0 (false).
> if the CYGINT_X interface is not implemented, then don't care about
> CYGOPT_X (it is not active anyway).
Try
CYGINT_X implies CYGOPT_X == 0
http://ecos.sourceware.org/docs-latest/cdl-guide/language.values.html#LANGUAGE.EXPRESSION
Andrew
--
Before posting, please read the FAQ: http://ecos.sourceware.org/fom/ecos
and search the list archive: http://ecos.sourceware.org/ml/ecos-discuss