first meta- – ISA\\Elements\Containment

Parent

Elements

Data
Containment
Information This is where all the primitive elements implementing a Container – Contained relationship are defined. This containment being either spacial (aka in memory) or temporal (like for stream).

It supports all basic usual structure like array, associative table or linked list.

It the only place in where generics are supported. So as only few Elements are generics they can be highly optimized. However generic  cannot be defined by developers, and this is by no means a problem but a willingness.
For more details about this policy, refer to the post To be or not to be Generic.
data
Edition
Version 1
Country None.
Language None.
Number 1
Dependencies None.
Inhibit all invariants False.
Ideas.
Diagram
Containment Assembly
Classes
Container
Information A Container is an abstract generic Element which contains Contained.
Property
The Abstract data type of the contained payload.
Container
Sbytes
Information An array of . This mean a contiguous list of in the space, typically in the memory.

This Type can be used in several ways and typically as a buffer. It provided the basic support for fields of Elements having a maximum multiplicity greater that 1. It is therefore widely used in .

The first position of the contiguous list is reserved to support the sizes: the 32 first bits are used for capacity and the 32 endian ones are for length.

The capacity count the number of rooms the buffer has. And the length count the number of used rooms at the beginning of the buffer.
Formulas:
  • Capacity property = capacity 
  • Length attribute = length 
Field
$ The internal buffer. The minimum size is 2, because the first room is for the sizes and a that a buffer with a capacity less that 1 room do not make sense.
Property
Capacity The maximum number of available rooms. This property cannot be changed.
Attribute
Length The count of used rooms. The buffer user must update this attribute accuratly.
Item(Index: Natural*)
 Access to an individual item.
Constructor
Sbytes (Initial capacity, Initializer)
 Build a Sbytes with an Initial capacity. If provided the Initializer is copied to the newly created Sbytes, therefore the Initial capacity must be superior or equals of these of the Initializer.
Query
Read(Start index: Natural*, End index: Natural*)
 Read a part of the Sbytes as a new Sbytes.
Command
Insert(: , Index: Natural*)
 Insert one SByte
Insert(Sbytes: Sbytes, Index: Natural*)
 Insert one SBytes
Replace(Sbyte: Sbyte, Index: Natural*)
 Replace by a SByte
Replace(Sbytes: Sbytes, Start index: Natural*)
 Replace by a SBytes
Remove(Start index: Natural*, End index: Natural*)
 Remove a part of the SBytes
Clear()
 Remove all SBytes and trim the length to 0.
Pack() Pack the SBytes in order for the length to be equals to the capacity.
Sbytes
Assemblies

Spacials

Temporals

Version and status

Version Date Description Status
V1R1 04-Mar-19 Initial. Candidate

 

Related posts:

  1. Relationships Assembly
  2. Identity Assembly
  3. Elements Assembly
  4. Textuals Assembly
  5. Metamodel Assembly
Tags: 64 bits, Addressing, Assembly, Axiom, Class, Classifier, Functional, Identity, Instance, Interface, LL, Model, Object, OID, OO, Paradigm, sbyte, Scope, State, Uniform, Universe, Use Case, Versioning

Leave a Reply

Your email address will not be published. Required fields are marked *

This site uses Akismet to reduce spam. Learn how your comment data is processed.