1 |
7876
|
aaronmk
|
<?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 |
7955
|
aaronmk
|
function ensure_prefix($prefix, $str)
|
24 |
|
|
{
|
25 |
|
|
return starts_with($str, $prefix) ? $str : $prefix.$str;
|
26 |
|
|
}
|
27 |
|
|
|
28 |
|
|
function ensure_suffix($suffix, $str)
|
29 |
|
|
{
|
30 |
|
|
return ends_with($str, $suffix) ? $str : $str.$suffix;
|
31 |
|
|
}
|
32 |
|
|
|
33 |
7876
|
aaronmk
|
class Path
|
34 |
|
|
{
|
35 |
|
|
public $head;
|
36 |
|
|
public $tail;
|
37 |
|
|
|
38 |
7901
|
aaronmk
|
function Path($head, $tail="")
|
39 |
7876
|
aaronmk
|
{
|
40 |
|
|
$this->head = $head;
|
41 |
|
|
$this->tail = $tail;
|
42 |
|
|
}
|
43 |
|
|
}
|
44 |
|
|
|
45 |
|
|
function partition($str, $delim)
|
46 |
|
|
{
|
47 |
7898
|
aaronmk
|
$delim_idx = strpos($str, $delim);
|
48 |
7897
|
aaronmk
|
return $delim_idx !== false ? new Path(substr($str, 0, $delim_idx),
|
49 |
7901
|
aaronmk
|
substr($str, $delim_idx+strlen($delim))) : new Path($str);
|
50 |
7876
|
aaronmk
|
}
|
51 |
|
|
|
52 |
7908
|
aaronmk
|
function array_non_empty($array)
|
53 |
|
|
{
|
54 |
|
|
foreach ($array as $key => $value)
|
55 |
|
|
if (!isset($value) || $value === "") unset($array[$key]);
|
56 |
|
|
return $array;
|
57 |
|
|
}
|
58 |
|
|
|
59 |
|
|
function join_non_empty($delim, $array)
|
60 |
|
|
{
|
61 |
|
|
return implode($delim, array_non_empty($array));
|
62 |
|
|
}
|
63 |
|
|
|
64 |
7876
|
aaronmk
|
function parse_dot_path($path) { return partition($path, "."); }
|
65 |
|
|
|
66 |
|
|
function parse_mixed_path($path)
|
67 |
|
|
{
|
68 |
|
|
preg_match('/^([\w-]*)(.*)$/', $path, $path);
|
69 |
|
|
return new Path($path[1], rm_prefix(".", $path[2]));
|
70 |
|
|
}
|
71 |
|
|
|
72 |
|
|
function strip_url($url) { return rm_suffix("#", $url); }
|
73 |
|
|
?>
|