blob: de8bde0f1eca272fe4704236dbf961380f7cc206 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
|
<?php
namespace phorkie;
class File
{
/**
* Full path to the file
*
* @var string
*/
public $path;
/**
* Repository this file belongs to
*
* @var string
*/
public $repo;
public function __construct($path, Repository $repo = null)
{
$this->path = $path;
$this->repo = $repo;
}
/**
* Get filename relative to the repository path
*
* @return string
*/
public function getFilename()
{
return basename($this->path);
}
/**
* Return the full path to the file
*
* @return string
*/
public function getPath()
{
return $this->path;
}
/**
* Get file extension without dot
*
* @return string
*/
public function getExt()
{
return substr($this->path, strrpos($this->path, '.') + 1);
}
public function getContent()
{
return file_get_contents($this->path);
}
public function getHighlightedContent(Tool_Result $res = null)
{
$ext = $this->getExt();
if (isset($GLOBALS['phorkie']['languages'][$ext]['renderer'])) {
$class = $GLOBALS['phorkie']['languages'][$ext]['renderer'];
} else {
$class = '\\phorkie\\Renderer_Geshi';
}
$rend = new $class();
return $rend->toHtml($this, $res);
}
/**
* Get a link to the file
*
* @param string $type Link type. Supported are:
* - "raw"
* - "tool"
* @param string $option
*
* @return string
*/
public function getLink($type, $option = null)
{
if ($type == 'raw') {
return '/' . $this->repo->id . '/raw/' . $this->getFilename();
} else if ($type == 'tool') {
return '/' . $this->repo->id . '/tool/' . $option . '/' . $this->getFilename();
}
throw new Exception('Unknown type');
}
public function getMimeType()
{
$ext = $this->getExt();
if (!isset($GLOBALS['phorkie']['languages'][$ext])) {
return null;
}
return $GLOBALS['phorkie']['languages'][$ext]['mime'];
}
/**
* @return array Array of Tool_Info objects
*/
public function getToolInfos()
{
$tm = new Tool_Manager();
return $tm->getSuitable($this);
}
}
?>
|
