SetSlotAttribute Struct Template Reference
[Fundamental C++: the Element design pattern.]

Base class for SetSlot. More...

Inheritance diagram for SetSlotAttribute:

[legend]List of all members.

Public Member Functions
const S &	get () const
	Access to the instance of the structural element.
bool	bound () const
	Tell whether the current set slot is linked to a structural element or not.
	SetSlotAttribute ()
	Trivial constructor.
	SetSlotAttribute (const SetSlotAttribute &other)
	Trivial constructor.
	SetSlotAttribute (const S &other)
	Trivial constructor.
Methods to link the Slot
Because this version of the class pertains to static S.E.'s, those methods actually do nothing and calls to it should be optimized away.
void	assign (const SetSlotAttribute &other)
	Link a SetSlot to another.
void	attach (const S &other)
	Link a SetSlot to a structural element.

---

Detailed Description

template<typename S, bool dynamic>
struct vcsn::SetSlotAttribute< S, dynamic >

Base class for SetSlot.

This class is responsible for holding a reference to the structural element in each Element instance, by means of its set_ attribute.

This version (parameter dynamic is false) is used when the structural element is static, i.e. does not require a S.E. instance reference in all related Element instance objects : all its properties are carried by its type.

Because this version has actually no attribute, it should take no memory space in each SetSlot (then Element) instance to which it is linked.

See also:

• SetSlotAttribute<S,true>
• SetSlot
• Element

---

Member Function Documentation

const S & get (   )  const

Access to the instance of the structural element. Because this version of the class pertains to static S.E.'s, this accessor returns a NULL reference, most likely inappropriate for any other form of dereference other than accessing methods of the S.E. (which do not use the reference anyway).

bool bound (   )  const

Tell whether the current set slot is linked to a structural element or not. In this version this method always returns true.

---