#include <ValueAnnot.h>

Inheritance diagram for HasValueDescriptor:

Collaboration diagram for HasValueDescriptor:

Public Types
typedef MapDescriptor < StringDescriptor, SymbolicValDescriptor, ';', '{', '}'>	BaseClass

Public Member Functions
bool	read (std::istream &in)

bool	merge (const HasValueDescriptor &that)

std::string	toString () const

void	replace_var (const std::string &name, const SymbolicVal &repl)

void	replace_val (MapObject< SymbolicVal, SymbolicVal > &repl)

bool	has_value (const std::string &name, SymbolicValDescriptor *r=0) const

Private Types
typedef HasValueDescriptor	_Self

Detailed Description

Definition at line 9 of file ValueAnnot.h.

Member Typedef Documentation

private

Definition at line 12 of file ValueAnnot.h.

typedef MapDescriptor<StringDescriptor, SymbolicValDescriptor, ';', '{', '}'> HasValueDescriptor::BaseClass

Definition at line 17 of file ValueAnnot.h.

bool HasValueDescriptor::read ( std::istream & in)

inline

Definition at line 18 of file ValueAnnot.h.

bool HasValueDescriptor::merge ( const HasValueDescriptor & that)

std::string HasValueDescriptor::toString ( ) const

void HasValueDescriptor::replace_var	(	const std::string &	name,
		const SymbolicVal &	repl
	)

void HasValueDescriptor::replace_val ( MapObject< SymbolicVal, SymbolicVal > & repl)

bool HasValueDescriptor::has_value	(	const std::string &	name,
		SymbolicValDescriptor *	r = `0`
	)		const

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