No, no precondition at this level...
Ok, done for all others concept methods...

Le 16/04/2013 21:15, David Coeurjolly a écrit :
>
> In src/DGtal/images/CImageCacheWritePolicy.h:
>
> > + - \e Value : type of the image value
> > +
> > +### Notation
> > + - \e X : A type that is a model of CImageCacheWritePolicy
> > + - \e x : object of type X
> > + - \e i : object of type ImageContainer
> > + - \e p : object of type Point
> > + - \e v : object of type Value
> > +
> > +### Definitions
> > +
> > +### Valid expressions and semantics
> > +
> > +| Name                | Expression              | Type requirements    | Return type       | Precondition | Semantics                                                   | Post condition | Complexity |
> > +|---------------------|-------------------------|----------------------|-------------------|--------------|-------------------------------------------------------------|----------------|------------|
> > +| Write in page       | x.writeInPage(i,p,v)    |                      |                   |              | set a value v on an image i at a given position p           |                |            |
>
> I think there are precondition here : p should be in the current 
> domain ? Can you please chck all concept methods to check preconditions ?
>
> —
> Reply to this email directly or view it on GitHub 
> <https://github.com/DGtal-team/DGtal/pull/581/files#r3818950>.
>