Char_ptr Class Reference

class Char_ptr Une chaine de caractere pour nommer les objets de TRUST More...

#include <Char_ptr.h>

Public Member Functions
	Char_ptr ()
	Constructeur par defaut.
	Char_ptr (const char *nom)
	Construction d'un nom a partir d'une chaine de caracteres La chaine est copiee.
	Char_ptr (const Char_ptr &)
	Constructeur par copie d'un nom.
virtual	~Char_ptr ()
	Destructeur.
void	allocate (int n)
	operator char * () const
	Retourne un pointeur sur la chaine de caractere du nom.
int	longueur () const
	Renvoie le nombre de caracteres de la chaine du Char_ptr y compris le caractere zero de fin de chaine.
Char_ptr &	operator= (const char *)
	Copie la chaine nom.
Char_ptr &	operator= (const Char_ptr &)
	Copie le Char_ptr nom.
char *	getChar ()
const char *	getChar () const

Protected Attributes
char *	nom_

Detailed Description

class Char_ptr Une chaine de caractere pour nommer les objets de TRUST

See also

Motcle, .CONTRAINTES, .INVARIANTS, .HTML, .EPS

Definition at line 27 of file Char_ptr.h.

Constructor & Destructor Documentation

Char_ptr() [1/3]

Char_ptr::Char_ptr

(

)

Constructeur par defaut.

Cree la chaine "??"

Definition at line 28 of file Char_ptr.cpp.

Char_ptr() [2/3]

Char_ptr::Char_ptr

(

const char *

nom

)

Construction d'un nom a partir d'une chaine de caracteres La chaine est copiee.

Parameters

(const

char* nom) la chaine de caracteres a utiliser

Definition at line 42 of file Char_ptr.cpp.

Char_ptr() [3/3]

Char_ptr::Char_ptr

(

const Char_ptr &

nom

)

Constructeur par copie d'un nom.

Parameters

(const

Char_ptr& nom) le nom a utiliser

Definition at line 52 of file Char_ptr.cpp.

~Char_ptr()

Char_ptr::~Char_ptr ( )

virtual

Destructeur.

Definition at line 61 of file Char_ptr.cpp.

Member Function Documentation

allocate()

void Char_ptr::allocate

(

int

n

)

Definition at line 119 of file Char_ptr.cpp.

getChar() [1/2]

char * Char_ptr::getChar ( )

inline

Definition at line 39 of file Char_ptr.h.

getChar() [2/2]

const char * Char_ptr::getChar ( ) const

inline

Definition at line 43 of file Char_ptr.h.

longueur()

int Char_ptr::longueur

(

)

const

Renvoie le nombre de caracteres de la chaine du Char_ptr y compris le caractere zero de fin de chaine.

Exemple : Char_ptr("hello").longueur() == 6

Definition at line 73 of file Char_ptr.cpp.

operator char *()

Char_ptr::operator char *

(

)

const

Retourne un pointeur sur la chaine de caractere du nom.

Returns

(char*) pointeur sur la chaine de caractere du nom

Definition at line 113 of file Char_ptr.cpp.

operator=() [1/2]

Char_ptr & Char_ptr::operator=

(

const char *

nom

)

Copie la chaine nom.

Modif BM pour que nom puisse pointer sur une sous-partie de nom_

Definition at line 83 of file Char_ptr.cpp.

operator=() [2/2]

Char_ptr & Char_ptr::operator=

(

const Char_ptr &

nom

)

Copie le Char_ptr nom.

Parameters

(const

Char_ptr& nom) le nom a copier

Returns

(Char_ptr&) reference sur this qui represente la chaine du Char_ptr nom

Definition at line 103 of file Char_ptr.cpp.

Member Data Documentation

nom_

char* Char_ptr::nom_

protected

Definition at line 49 of file Char_ptr.h.

---

The documentation for this class was generated from the following files:

• /home/docs/trust-code/src/Kernel/Utilitaires/Char_ptr.h
• /home/docs/trust-code/src/Kernel/Utilitaires/Char_ptr.cpp