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
	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 >= 0 ? 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
?>