Public Types | Public Member Functions | Protected Attributes

mln::safe_image< I > Class Template Reference
[Identity morphers]

Makes an image accessible at undefined location. More...

#include <safe.hh>

Inheritance diagram for mln::safe_image< I >:
Inheritance graph

List of all members.

Public Types

typedef I::domain_t::bkd_piter bkd_piter
 Backward Site_Iterator associated type.
typedef Image< void > category
typedef I delegatee
 Delegatee associated type.
typedef I::domain_t domain_t
 Site_Set associated type.
typedef safe_image< I > exact_t
typedef I::domain_t::fwd_piter fwd_piter
 Forward Site_Iterator associated type.
typedef
internal::morpher_lvalue_< I >
::ret 
lvalue
 Return type of read-write access.
typedef fwd_piter piter
 Site_Iterator associated type; default definition is fwd_piter.
typedef I::domain_t::psite psite
 Point_Site associated type.
typedef I::rvalue rvalue
 Return type of read-only access.
typedef I::domain_t::site site
 Site associated type.
typedef safe_image
< tag::image_< I > > 
skeleton
 Skeleton.
typedef mln::value::set< I::value > t_eligible_values_set
 Eligible-value-set associated type.
typedef mln::value::set
< typename
mln::value::super_value
< I::value >::ret
t_values_space
 Value space associated type.
typedef I unmorph
 Unmorph image associated type.
typedef I::value value
 Value associated type.

Public Member Functions

mln::metal::const_< I >::retdelegatee_ () const
 Return the delegatee_ pointer; default code.
I * delegatee_ ()
 Return the delegatee_ pointer (non-const version); default code.
void destroy ()
 Detach data from an image (free it if nobody else hold it).
const I::domain_t & domain () const
bool has (const typename I::psite &p) const
bool has (const psite &p) const
 Test if p belongs to the image domain.
const util::tracked_ptr
< internal::data< safe_image
< I > > > & 
hook_data_ () const
 Hook to the image data.
const void * id_ () const
 Give an identifier of this image.
unsigned index_of_point (const P &p) const
 Give the offset of the site p.
void init_ (I &ima, const typename I::value &default_value)
bool is_valid () const
 Test if this image has been initialized; default impl.
std::size_t nsites () const
 Give the number of sites of the image domain.
 operator safe_image< const I > () const
 Const promotion via conversion.
rvalue operator() (const typename I::domain_t::psite &p) const
 Read-only access of pixel value at point site p.
lvalue operator() (const typename I::domain_t::psite &p)
 Read-write access of pixel value at point site p.
I::rvalue operator() (const typename I::psite &p) const
internal::morpher_lvalue_< I >::ret operator() (const typename I::psite &p)
safe_image< I > & rw ()
 State that the morpher is writable.
 safe_image ()
 safe_image (I &ima)
 safe_image (I &ima, const typename I::value &default_value)
mln::metal::const_< I >::retunmorph_ () const
 Give the morphed image (const version).
I & unmorph_ ()
 Give the morphed image (mutable version).
const t_eligible_values_setvalues_eligible () const
const t_values_spacevalues_space () const
 Return the value space of the image.

Protected Attributes

util::tracked_ptr
< internal::data< safe_image
< I > > > 
data_

Detailed Description

template<typename I>
class mln::safe_image< I >

Makes an image accessible at undefined location.

Definition at line 83 of file safe.hh.


Member Typedef Documentation

typedef I::domain_t ::bkd_piter mln::internal::image_base< I::value , I::domain_t , safe_image< I > >::bkd_piter [inherited]

Backward Site_Iterator associated type.

Definition at line 118 of file core/internal/image_base.hh.

typedef Image<void> mln::Image< safe_image< I > >::category [inherited]

Reimplemented from mln::Object< safe_image< I > >.

Definition at line 75 of file core/concept/image.hh.

typedef I mln::internal::image_morpher< I, I::value , I::domain_t , safe_image< I > >::delegatee [inherited]

Delegatee associated type.

Definition at line 57 of file image_morpher.hh.

typedef I::domain_t mln::internal::image_base< I::value , I::domain_t , safe_image< I > >::domain_t [inherited]

Site_Set associated type.

Definition at line 105 of file core/internal/image_base.hh.

typedef safe_image< I > mln::Object< safe_image< I > >::exact_t [inherited]

Definition at line 173 of file object.hh.

typedef I::domain_t ::fwd_piter mln::internal::image_base< I::value , I::domain_t , safe_image< I > >::fwd_piter [inherited]

Forward Site_Iterator associated type.

Definition at line 115 of file core/internal/image_base.hh.

typedef internal::morpher_lvalue_< I >::ret mln::internal::image_identity< I, I::domain_t , safe_image< I > >::lvalue [inherited]

Return type of read-write access.

Definition at line 140 of file image_identity.hh.

typedef fwd_piter mln::internal::image_base< I::value , I::domain_t , safe_image< I > >::piter [inherited]

Site_Iterator associated type; default definition is fwd_piter.

Definition at line 123 of file core/internal/image_base.hh.

typedef I::domain_t ::psite mln::internal::image_base< I::value , I::domain_t , safe_image< I > >::psite [inherited]

Point_Site associated type.

Definition at line 108 of file core/internal/image_base.hh.

typedef I ::rvalue mln::internal::image_identity< I, I::domain_t , safe_image< I > >::rvalue [inherited]

Return type of read-only access.

Definition at line 137 of file image_identity.hh.

typedef I::domain_t ::site mln::internal::image_base< I::value , I::domain_t , safe_image< I > >::site [inherited]

Site associated type.

Definition at line 111 of file core/internal/image_base.hh.

template<typename I>
typedef safe_image< tag::image_<I> > mln::safe_image< I >::skeleton

Skeleton.

Definition at line 88 of file safe.hh.

typedef mln::value::set<I::value > mln::internal::image_base< I::value , I::domain_t , safe_image< I > >::t_eligible_values_set [inherited]

Eligible-value-set associated type.

Definition at line 91 of file core/internal/image_base.hh.

typedef mln::value::set< typename mln::value::super_value<I::value >::ret > mln::internal::image_base< I::value , I::domain_t , safe_image< I > >::t_values_space [inherited]

Value space associated type.

Definition at line 98 of file core/internal/image_base.hh.

typedef I mln::internal::image_morpher< I, I::value , I::domain_t , safe_image< I > >::unmorph [inherited]

Unmorph image associated type.

Definition at line 68 of file image_morpher.hh.

typedef I ::value mln::internal::image_identity< I, I::domain_t , safe_image< I > >::value [inherited]

Value associated type.

Reimplemented from mln::internal::image_base< I::value, I::domain_t, safe_image< I > >.

Definition at line 134 of file image_identity.hh.


Constructor & Destructor Documentation

template<typename I >
mln::safe_image< I >::safe_image (  )  [inline]

Definition at line 138 of file safe.hh.

template<typename I >
mln::safe_image< I >::safe_image ( I &  ima  )  [inline]

Definition at line 152 of file safe.hh.

References mln::safe_image< I >::init_().

template<typename I >
mln::safe_image< I >::safe_image ( I &  ima,
const typename I::value &  default_value 
) [inline]

Definition at line 144 of file safe.hh.

References mln::safe_image< I >::init_().


Member Function Documentation

mln::metal::const_< I >::ret* mln::internal::image_morpher< I, I::value , I::domain_t , safe_image< I > >::delegatee_ (  )  const [inherited]

Return the delegatee_ pointer; default code.

I* mln::internal::image_morpher< I, I::value , I::domain_t , safe_image< I > >::delegatee_ (  )  [inherited]

Return the delegatee_ pointer (non-const version); default code.

void mln::internal::image_base< I::value , I::domain_t , safe_image< I > >::destroy (  )  [inherited]

Detach data from an image (free it if nobody else hold it).

const I ::domain_t& mln::internal::image_identity< I, I::domain_t , safe_image< I > >::domain (  )  const [inherited]
bool mln::internal::image_base< I::value , I::domain_t , safe_image< I > >::has ( const psite p  )  const [inherited]

Test if p belongs to the image domain.

bool mln::internal::image_identity< I, I::domain_t , safe_image< I > >::has ( const typename I::psite &  p  )  const [inherited]
const util::tracked_ptr< internal::data<safe_image< I > > >& mln::internal::image_base< I::value , I::domain_t , safe_image< I > >::hook_data_ (  )  const [inherited]

Hook to the image data.

const void* mln::internal::image_base< I::value , I::domain_t , safe_image< I > >::id_ (  )  const [inherited]

Give an identifier of this image.

When several image variables designate the same image, they share the same identifier.

unsigned mln::internal::check::image_fastest_< safe_image< I > , mln::metal::equal< mln_trait_image_speed(safe_image< I >), trait::image::speed::fastest >::eval >::index_of_point ( const P &  p  )  const [inherited]

Give the offset of the site p.

Parameters:
[in] p A site.
Warning:
This method is final.
Precondition:
The image has to be initialized and to own the point p.
Postcondition:
p == point_at_index(result)
template<typename I >
void mln::safe_image< I >::init_ ( I &  ima,
const typename I::value &  default_value 
) [inline]
bool mln::internal::image_morpher< I, I::value , I::domain_t , safe_image< I > >::is_valid (  )  const [inherited]

Test if this image has been initialized; default impl.

Reimplemented from mln::internal::image_base< I::value, I::domain_t, safe_image< I > >.

Referenced by mln::safe_image< I >::init_().

std::size_t mln::internal::image_base< I::value , I::domain_t , safe_image< I > >::nsites (  )  const [inherited]

Give the number of sites of the image domain.

template<typename I >
mln::safe_image< I >::operator safe_image< const I > (  )  const [inline]

Const promotion via conversion.

Definition at line 195 of file safe.hh.

References mln::internal::image_base< I::value, I::domain_t, safe_image< I > >::data_.

template<typename I >
I::rvalue mln::safe_image< I >::operator() ( const typename I::psite &  p  )  const [inline]

Definition at line 171 of file safe.hh.

rvalue mln::internal::image_identity< I, I::domain_t , safe_image< I > >::operator() ( const typename I::domain_t ::psite p  )  const [inherited]

Read-only access of pixel value at point site p.

lvalue mln::internal::image_identity< I, I::domain_t , safe_image< I > >::operator() ( const typename I::domain_t ::psite p  )  [inherited]

Read-write access of pixel value at point site p.

template<typename I >
internal::morpher_lvalue_< I >::ret mln::safe_image< I >::operator() ( const typename I::psite &  p  )  [inline]

Definition at line 182 of file safe.hh.

safe_image< I > & mln::internal::image_morpher< I, I::value , I::domain_t , safe_image< I > >::rw (  )  [inherited]

State that the morpher is writable.

This allows for C++ to use it as a mutable object even if it is a temporary object.

I& mln::internal::image_morpher< I, I::value , I::domain_t , safe_image< I > >::unmorph_ (  )  [inherited]

Give the morphed image (mutable version).

mln::metal::const_< I >::ret& mln::internal::image_morpher< I, I::value , I::domain_t , safe_image< I > >::unmorph_ (  )  const [inherited]

Give the morphed image (const version).

const t_eligible_values_set& mln::internal::image_base< I::value , I::domain_t , safe_image< I > >::values_eligible (  )  const [inherited]
const t_values_space& mln::internal::image_base< I::value , I::domain_t , safe_image< I > >::values_space (  )  const [inherited]

Return the value space of the image.


Member Data Documentation

util::tracked_ptr< internal::data<safe_image< I > > > mln::internal::image_base< I::value , I::domain_t , safe_image< I > >::data_ [protected, inherited]