Project

General

Profile

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