1 | <?php |
||
7 | class Server |
||
8 | { |
||
9 | /** |
||
10 | * @Id @Column(type="integer") @GeneratedValue |
||
11 | **/ |
||
12 | private $id; |
||
13 | /** |
||
14 | * @Column(type="string") |
||
15 | **/ |
||
16 | private $name; |
||
17 | /** |
||
18 | * @Column(type="string") |
||
19 | **/ |
||
20 | private $url_path; |
||
21 | /** |
||
22 | * @Column(type="string") |
||
23 | **/ |
||
24 | private $ping_hostname; |
||
25 | |||
26 | public function getId() |
||
30 | |||
31 | public function getName() |
||
35 | |||
36 | public function getUrlPath() |
||
40 | |||
41 | public function getPingHostname() |
||
45 | |||
46 | public function setName($name) |
||
50 | |||
51 | public function setUrlPath($urlPath) |
||
55 | |||
56 | public function setPingHostname($pingHostname) |
||
60 | } |
||
61 |