2020-03-25 08:24:52 +00:00
|
|
|
<?php
|
|
|
|
|
2021-02-18 10:14:36 +00:00
|
|
|
/** @generate-class-entries */
|
2020-04-25 17:08:53 +00:00
|
|
|
|
2020-03-25 08:24:52 +00:00
|
|
|
class SplDoublyLinkedList implements Iterator, Countable, ArrayAccess, Serializable
|
|
|
|
{
|
2023-10-07 12:14:57 +00:00
|
|
|
/** @cvalue SPL_DLLIST_IT_LIFO */
|
|
|
|
public const int IT_MODE_LIFO = UNKNOWN;
|
|
|
|
/** @cvalue SPL_DLLIST_IT_FIFO */
|
|
|
|
public const int IT_MODE_FIFO = UNKNOWN;
|
|
|
|
/** @cvalue SPL_DLLIST_IT_DELETE */
|
|
|
|
public const int IT_MODE_DELETE = UNKNOWN;
|
|
|
|
/** @cvalue SPL_DLLIST_IT_KEEP */
|
|
|
|
public const int IT_MODE_KEEP = UNKNOWN;
|
2022-08-02 14:37:12 +00:00
|
|
|
|
2021-07-13 14:04:34 +00:00
|
|
|
/** @tentative-return-type */
|
|
|
|
public function add(int $index, mixed $value): void {}
|
2020-03-25 08:24:52 +00:00
|
|
|
|
2021-07-13 14:04:34 +00:00
|
|
|
/** @tentative-return-type */
|
|
|
|
public function pop(): mixed {}
|
2020-03-25 08:24:52 +00:00
|
|
|
|
2021-07-13 14:04:34 +00:00
|
|
|
/** @tentative-return-type */
|
|
|
|
public function shift(): mixed {}
|
2020-03-25 08:24:52 +00:00
|
|
|
|
2021-07-13 14:04:34 +00:00
|
|
|
/** @tentative-return-type */
|
|
|
|
public function push(mixed $value): void {}
|
2020-03-25 08:24:52 +00:00
|
|
|
|
2021-07-13 14:04:34 +00:00
|
|
|
/** @tentative-return-type */
|
|
|
|
public function unshift(mixed $value): void {}
|
2020-03-25 08:24:52 +00:00
|
|
|
|
2021-07-13 14:04:34 +00:00
|
|
|
/** @tentative-return-type */
|
|
|
|
public function top(): mixed {}
|
2020-03-25 08:24:52 +00:00
|
|
|
|
2021-07-13 14:04:34 +00:00
|
|
|
/** @tentative-return-type */
|
|
|
|
public function bottom(): mixed {}
|
2020-03-25 08:24:52 +00:00
|
|
|
|
2021-07-13 14:04:34 +00:00
|
|
|
/** @tentative-return-type */
|
|
|
|
public function __debugInfo(): array {}
|
2020-04-06 10:03:01 +00:00
|
|
|
|
2021-07-13 14:04:34 +00:00
|
|
|
/** @tentative-return-type */
|
|
|
|
public function count(): int {}
|
2020-03-25 08:24:52 +00:00
|
|
|
|
2021-07-13 14:04:34 +00:00
|
|
|
/** @tentative-return-type */
|
|
|
|
public function isEmpty(): bool {}
|
2020-03-25 08:24:52 +00:00
|
|
|
|
2021-07-13 14:04:34 +00:00
|
|
|
/** @tentative-return-type */
|
|
|
|
public function setIteratorMode(int $mode): int {}
|
2020-03-25 08:24:52 +00:00
|
|
|
|
2021-07-13 14:04:34 +00:00
|
|
|
/** @tentative-return-type */
|
|
|
|
public function getIteratorMode(): int {}
|
2020-03-25 08:24:52 +00:00
|
|
|
|
|
|
|
/**
|
|
|
|
* @param int $index
|
2021-07-13 14:04:34 +00:00
|
|
|
* @tentative-return-type
|
2020-03-25 08:24:52 +00:00
|
|
|
*/
|
2021-07-13 14:04:34 +00:00
|
|
|
public function offsetExists($index): bool {}
|
2020-03-25 08:24:52 +00:00
|
|
|
|
|
|
|
/**
|
2020-08-14 15:36:20 +00:00
|
|
|
* @param int $index
|
2021-07-13 14:04:34 +00:00
|
|
|
* @tentative-return-type
|
2020-03-25 08:24:52 +00:00
|
|
|
*/
|
2021-07-13 14:04:34 +00:00
|
|
|
public function offsetGet($index): mixed {}
|
2020-03-25 08:24:52 +00:00
|
|
|
|
|
|
|
/**
|
2020-08-14 15:36:20 +00:00
|
|
|
* @param int|null $index
|
2021-07-13 14:04:34 +00:00
|
|
|
* @tentative-return-type
|
2020-03-25 08:24:52 +00:00
|
|
|
*/
|
2021-07-13 14:04:34 +00:00
|
|
|
public function offsetSet($index, mixed $value): void {}
|
2020-03-25 08:24:52 +00:00
|
|
|
|
|
|
|
/**
|
2020-08-14 15:36:20 +00:00
|
|
|
* @param int $index
|
2021-07-13 14:04:34 +00:00
|
|
|
* @tentative-return-type
|
2020-03-25 08:24:52 +00:00
|
|
|
*/
|
2021-07-13 14:04:34 +00:00
|
|
|
public function offsetUnset($index): void {}
|
2020-03-25 08:24:52 +00:00
|
|
|
|
2021-07-13 14:04:34 +00:00
|
|
|
/** @tentative-return-type */
|
|
|
|
public function rewind(): void {}
|
2020-03-25 08:24:52 +00:00
|
|
|
|
2021-07-13 14:04:34 +00:00
|
|
|
/** @tentative-return-type */
|
|
|
|
public function current(): mixed {}
|
2020-03-25 08:24:52 +00:00
|
|
|
|
2021-07-13 14:04:34 +00:00
|
|
|
/** @tentative-return-type */
|
|
|
|
public function key(): int {}
|
2020-03-25 08:24:52 +00:00
|
|
|
|
2021-07-13 14:04:34 +00:00
|
|
|
/** @tentative-return-type */
|
|
|
|
public function prev(): void {}
|
2020-03-25 08:24:52 +00:00
|
|
|
|
2021-07-13 14:04:34 +00:00
|
|
|
/** @tentative-return-type */
|
|
|
|
public function next(): void {}
|
2020-03-25 08:24:52 +00:00
|
|
|
|
2021-07-13 14:04:34 +00:00
|
|
|
/** @tentative-return-type */
|
|
|
|
public function valid(): bool {}
|
2020-03-25 08:24:52 +00:00
|
|
|
|
2021-07-13 14:04:34 +00:00
|
|
|
/** @tentative-return-type */
|
|
|
|
public function unserialize(string $data): void {}
|
2020-03-25 08:24:52 +00:00
|
|
|
|
2021-07-13 14:04:34 +00:00
|
|
|
/** @tentative-return-type */
|
|
|
|
public function serialize(): string {}
|
2020-03-25 08:24:52 +00:00
|
|
|
|
2021-07-13 14:04:34 +00:00
|
|
|
/** @tentative-return-type */
|
|
|
|
public function __serialize(): array {}
|
2020-03-25 08:24:52 +00:00
|
|
|
|
2021-07-13 14:04:34 +00:00
|
|
|
/** @tentative-return-type */
|
|
|
|
public function __unserialize(array $data): void {}
|
2020-03-25 08:24:52 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
class SplQueue extends SplDoublyLinkedList
|
|
|
|
{
|
|
|
|
/**
|
2021-07-13 14:04:34 +00:00
|
|
|
* @tentative-return-type
|
2020-09-19 18:13:08 +00:00
|
|
|
* @implementation-alias SplDoublyLinkedList::push
|
2020-03-25 08:24:52 +00:00
|
|
|
*/
|
2021-07-13 14:04:34 +00:00
|
|
|
public function enqueue(mixed $value): void {}
|
2020-03-25 08:24:52 +00:00
|
|
|
|
2020-04-25 17:08:53 +00:00
|
|
|
/**
|
2021-07-13 14:04:34 +00:00
|
|
|
* @tentative-return-type
|
2020-09-19 18:13:08 +00:00
|
|
|
* @implementation-alias SplDoublyLinkedList::shift
|
2020-04-25 17:08:53 +00:00
|
|
|
*/
|
2021-07-13 14:04:34 +00:00
|
|
|
public function dequeue(): mixed {}
|
2020-03-25 08:24:52 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
class SplStack extends SplDoublyLinkedList
|
|
|
|
{
|
|
|
|
}
|