Project

General

Profile

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 >= 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
?>
(6-6/6)