Remove element from List
| Parameter | Type | Mode | |
| Section | StrongEdMode.List | in out | |
| Item_ID | Natural | in | |
| Get_Element | Return Element_Pointer | ||
Return element from List
| Parameter | Type | Mode | |
| Section | StrongEdMode.List | in | |
| Item_ID | Natural | in | |
| Report\Parse\Error | |||
Report parse error.
| Parameter | Type | Mode | |
| Token | String | in | |
| Info | String | in | |
| Is_FileLock | Return Boolean | ||
Is the FileLock list non-empty ?
| Parameter | Type | Mode | |
| FL | FileLock_Type | in | |
| Is_SmartIndent | Return Boolean | ||
Is SmartIndent used ?
| Parameter | Type | Mode | |
| Mode | Mode_Pointer | in | |
| Is_ModeWhen | Return Boolean | ||
Is the ModeWhen list non-empty ?
| Parameter | Type | Mode | |
| Mode | Mode_Pointer | in | |
| Delete\List | |||
Delete all elements in list
| Parameter | Type | Mode | |
| L | List | in out | |
| AddToRear | |||
Pre: L and X are defined
Post: a node containing X is inserted
at the front or rear of L, respectively
| Parameter | Type | Mode | |
| L | List | in out | |
| X | StrongEdMode.Element_Pointer | in | |
| First | Return Position | ||
| Parameter | Type | Mode | |
| L | List | in | |
| Retrieve | Return StrongEdMode.Element_Pointer | ||
Pre: L and P are defined; P designates a node in L
Post: returns the value of the element at position P
Raises: EmptyList if L is empty
PastBegin if P points before the beginning of L
PastEnd if P points beyond the end of L
| Parameter | Type | Mode | |
| L | List | in | |
| P | Position | in | |
| Delete | |||
Pre: L and P are defined; P designates a node in L
Post: the node at position P of L is deleted
Raises: EmptyList if L is empty
PastBegin if P is NULL
| Parameter | Type | Mode | |
| L | List | in out | |
| P | Position | in | |
| GoAhead | |||
Pre: L and P are defined; P designates a node in L
Post: P is advanced to designate the next node of L
Raises: EmptyList if L is empty
PastEnd if P points beyond the end of L
| Parameter | Type | Mode | |
| L | List | in | |
| P | Position | in out | |
| GoBack | |||
Pre: L and P are defined; P designates a node in L
Post: P is moved to designate the previous node of L
Raises: EmptyList if L is empty
PastBegin if P points beyond the end of L
| Parameter | Type | Mode | |
| L | List | in | |
| P | Position | in out | |
| IsEmpty | Return Boolean | ||
| Parameter | Type | Mode | |
| L | List | in | |
| IsFirst | Return Boolean | ||
| Parameter | Type | Mode | |
| L | List | in | |
| P | Position | in | |
| IsLast | Return Boolean | ||
| Parameter | Type | Mode | |
| L | List | in | |
| P | Position | in | |
| IsPastEnd | Return Boolean | ||
| Parameter | Type | Mode | |
| L | List | in | |
| P | Position | in | |
| IsPastBegin | Return Boolean | ||
Pre: L and P are defined
Post: return True if the condition is met; False otherwise
| Parameter | Type | Mode | |
| L | List | in | |
| P | Position | in | |
[ Manual root ]