Code Coverage for /workspace/src/extensions/Wikispeech/includes/Segment/SegmentPageResponse.php

1	<?php
2
3	namespace MediaWiki\Wikispeech\Segment;
4
5	use Mediawiki\Title\Title;
6
7	/**
8	* @file
9	* @ingroup Extensions
10	* @license GPL-2.0-or-later
11	*/
12
13	/**
14	* The response from {@link SegmentPageFactory::segmentPage()}
15	*
16	* @since 0.1.13
17	*/
18	class SegmentPageResponse extends SegmentResponse {
19
20	/** @var Title\|null */
21	private $title = null;
22
23	/** @var int\|null */
24	private $revisionId = null;
25
26	/** @var int\|null */
27	private $pageId = null;
28
29	/**
30	* @since 0.1.10
31	* @return Title\|null
32	*/
33	public function getTitle(): ?Title {
34	return $this->title;
35	}
36
37	/**
38	* @since 0.1.10
39	* @param Title\|null $title
40	*/
41	public function setTitle( ?Title $title ): void {
42	$this->title = $title;
43	}
44
45	/**
46	* Revision id fetched by page provider
47	*
48	* @see PageProvider::loadData()
49	* @see PageProvider::getRevisionId()
50	* @since 0.1.10
51	* @return int\|null
52	*/
53	public function getRevisionId(): ?int {
54	return $this->revisionId;
55	}
56
57	/**
58	* @since 0.1.10
59	* @param int\|null $revisionId
60	*/
61	public function setRevisionId( ?int $revisionId ): void {
62	$this->revisionId = $revisionId;
63	}
64
65	/**
66	* @since 0.1.10
67	* @return int\|null
68	*/
69	public function getPageId(): ?int {
70	return $this->pageId;
71	}
72
73	/**
74	* @since 0.1.10
75	* @param int\|null $pageId
76	*/
77	public function setPageId( ?int $pageId ): void {
78	$this->pageId = $pageId;
79	}
80
81	}