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

Type of the set_ attribute of the Element class. More...

Inheritance diagram for SetSlot:

[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.
	SetSlot ()
	Trivial constructor. Calls the inherited constructor from SetSlotAttribute.
	SetSlot (const SetSlot &other)
	Trivial constructor. Calls the inherited constructor from SetSlotAttribute.
	SetSlot (const S &other)
	Trivial constructor. Calls the inherited constructor from SetSlotAttribute.
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>
struct vcsn::SetSlot< S >

Type of the set_ attribute of the Element class.

This class derives from SetSlotAttribute, a reference to a structural element to which an Element is related.

The actual implementation of SetSlot<S>, for a given structural element S, depends on the value of dynamic_traits<S>::ret, which chooses which version of SetSlotAttribute to inherit from.

See also:

• SetSlotAttribute
• dynamic_traits
• Element

---

Member Function Documentation

const S & get (   )  const [inherited]

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 [inherited]

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

---