|
1
|
<?php
|
|
2
|
function starts_with($str, $prefix)
|
|
3
|
{
|
|
4
|
return substr($str, 0, strlen($prefix)) === $prefix;
|
|
5
|
}
|
|
6
|
|
|
7
|
function ends_with($str, $suffix)
|
|
8
|
{
|
|
9
|
return substr($str, -strlen($suffix)) === $suffix;
|
|
10
|
}
|
|
11
|
|
|
12
|
function rm_prefix($prefix, $str)
|
|
13
|
{
|
|
14
|
return starts_with($str, $prefix) ? substr($str, strlen($prefix)) : $str;
|
|
15
|
}
|
|
16
|
|
|
17
|
function rm_suffix($suffix, $str)
|
|
18
|
{
|
|
19
|
return ends_with($str, $suffix) ?
|
|
20
|
substr($str, 0, strlen($str) - strlen($suffix)) : $str;
|
|
21
|
}
|
|
22
|
|
|
23
|
class Path
|
|
24
|
{
|
|
25
|
public $head;
|
|
26
|
public $tail;
|
|
27
|
|
|
28
|
function Path($head, $tail)
|
|
29
|
{
|
|
30
|
$this->head = $head;
|
|
31
|
$this->tail = $tail;
|
|
32
|
}
|
|
33
|
}
|
|
34
|
|
|
35
|
function partition($str, $delim)
|
|
36
|
{
|
|
37
|
$delim_idx = strpos($str, $delim);
|
|
38
|
return $delim_idx !== false ? new Path(substr($str, 0, $delim_idx),
|
|
39
|
substr($str, $delim_idx+strlen($delim))) : new Path($str, "");
|
|
40
|
}
|
|
41
|
|
|
42
|
function parse_dot_path($path) { return partition($path, "."); }
|
|
43
|
|
|
44
|
function parse_mixed_path($path)
|
|
45
|
{
|
|
46
|
preg_match('/^([\w-]*)(.*)$/', $path, $path);
|
|
47
|
return new Path($path[1], rm_prefix(".", $path[2]));
|
|
48
|
}
|
|
49
|
|
|
50
|
function strip_url($url) { return rm_suffix("#", $url); }
|
|
51
|
?>
|
