1	<?php
2
3	// AUTOMATICALLY GENERATED.  DO NOT EDIT.
4	// Use `composer build` to regenerate.
5
6	namespace Wikimedia\IDLeDOM;
7
8	/**
9	* Location
10	*
11	* @see https://dom.spec.whatwg.org/#interface-location
12	*
13	* @property string $href
14	* @property string $origin
15	* @property string $protocol
16	* @property string $host
17	* @property string $hostname
18	* @property string $port
19	* @property string $pathname
20	* @property string $search
21	* @property string $hash
22	* @phan-forbid-undeclared-magic-properties
23	*/
24	interface Location {
25	/**
26	* @return string
27	*/
28	public function getHref(): string;
29
30	/**
31	* @param string $val
32	*/
33	public function setHref( string $val ): void;
34
35	/**
36	* @return string
37	*/
38	public function getOrigin(): string;
39
40	/**
41	* @return string
42	*/
43	public function getProtocol(): string;
44
45	/**
46	* @param string $val
47	*/
48	public function setProtocol( string $val ): void;
49
50	/**
51	* @return string
52	*/
53	public function getHost(): string;
54
55	/**
56	* @param string $val
57	*/
58	public function setHost( string $val ): void;
59
60	/**
61	* @return string
62	*/
63	public function getHostname(): string;
64
65	/**
66	* @param string $val
67	*/
68	public function setHostname( string $val ): void;
69
70	/**
71	* @return string
72	*/
73	public function getPort(): string;
74
75	/**
76	* @param string $val
77	*/
78	public function setPort( string $val ): void;
79
80	/**
81	* @return string
82	*/
83	public function getPathname(): string;
84
85	/**
86	* @param string $val
87	*/
88	public function setPathname( string $val ): void;
89
90	/**
91	* @return string
92	*/
93	public function getSearch(): string;
94
95	/**
96	* @param string $val
97	*/
98	public function setSearch( string $val ): void;
99
100	/**
101	* @return string
102	*/
103	public function getHash(): string;
104
105	/**
106	* @param string $val
107	*/
108	public function setHash( string $val ): void;
109
110	/**
111	* @param string $url
112	* @return void
113	*/
114	public function assign( string $url ): void;
115
116	/**
117	* @param string $url
118	* @return void
119	*/
120	public function replace( string $url ): void;
121
122	/**
123	* @return void
124	*/
125	public function reload(): void;
126
127	}