Appearance
fossil_list_id_object
FOSSIL, list of IDs class definition.
Source: src/lib/fossil_list_id_object.f90
Dependencies
Contents
Derived Types
list_id_object
FOSSIL, list of IDs class.
Components
| Name | Type | Attributes | Description |
|---|---|---|---|
ids_number | integer(kind=I4P) | Number of IDs. | |
id | integer(kind=I4P) | allocatable | IDs list. |
Type-Bound Procedures
| Name | Attributes | Description |
|---|---|---|
del | pass(self) | Delete ID from list. |
destroy | pass(self) | Destroy list. |
initialize | pass(self) | Initialize list. |
put | pass(self) | Put ID in list. |
assignment(=) | Overload =. | |
list_id_assign_list_id | pass(lhs) | Operator =. |
Subroutines
del
Delete ID from list.
Attributes: elemental
fortran
subroutine del(self, id)Arguments
| Name | Type | Intent | Attributes | Description |
|---|---|---|---|---|
self | class(list_id_object) | inout | List. | |
id | integer(kind=I4P) | in | Given ID. |
Call graph
destroy
Destroy list.
Attributes: elemental
fortran
subroutine destroy(self)Arguments
| Name | Type | Intent | Attributes | Description |
|---|---|---|---|---|
self | class(list_id_object) | inout | List. |
Call graph
initialize
Initialize list.
Attributes: pure
fortran
subroutine initialize(self, id)Arguments
| Name | Type | Intent | Attributes | Description |
|---|---|---|---|---|
self | class(list_id_object) | inout | List. | |
id | integer(kind=I4P) | in | optional | IDs list. |
Call graph
put
Put ID in list.
ID is put in list only if it is not already present.
Attributes: elemental
fortran
subroutine put(self, id)Arguments
| Name | Type | Intent | Attributes | Description |
|---|---|---|---|---|
self | class(list_id_object) | inout | List. | |
id | integer(kind=I4P) | in | Given ID. |
Call graph
list_id_assign_list_id
Operator =.
Attributes: pure
fortran
subroutine list_id_assign_list_id(lhs, rhs)Arguments
| Name | Type | Intent | Attributes | Description |
|---|---|---|---|---|
lhs | class(list_id_object) | inout | Left hand side. | |
rhs | type(list_id_object) | in | Right hand side. |