Chapter 30. Util.Hash_Table

Table of Contents
Overview
API Reference

Overview

Functional Description

This package implements an container which stores pairs of objects. derived from the Keys and the Container_Element package. Each object derived from the Keys package is called a key. This package allows to retrieve (address) the stored Container_Element by means of the key object.

The Keyed container has a maximum capacity for such pairs.

Upon storing the container creates a complete copy of the <key,object> pair in order to ensure that there are no references from outside into sub components of the stored objects.

Restrictions

R.1 - The handling of the tree nodes is currently not task save