Lines Matching +full:continue +full:- +full:on +full:- +full:error
4 * manages the display layout of the project files on the wiki page
25 $this->ID = $ID;
26 $this->file_name = array_pop(explode(":", $ID));
27 $this->project = $project;
28 $this->file = $file;
32 if ($this->project == NULL) {
33 $renderer->doc .= "<div class=\"project_file_errors\">";
34 $this->add_error($renderer, htmlspecialchars('<' . PROJECTS_TAG . '>') .
38 $renderer->doc .= "</div>";
41 $errors = $this->project->error($this->file_name);
43 $renderer->doc .= "<div class=\"project_file_errors\">";
44 foreach ($errors as $error) {
45 if ($error == 'undefined') {
46 $this->add_error($renderer, "Do not know how to generate the file");
47 continue;
49 if (isset($error['failure'])) {
50 $this->failure = true;
51 $this->add_error($renderer,
53 continue;
55 if (isset($error['dependency'])) {
56 $deps = $this->file->dependency();
57 $dep = $error['dependency'];
58 if (in_array($dep, $deps)) continue;
59 $dep_id = $this->project->id($dep);
63 $this->add_error($renderer,
65 continue;
67 if (isset($error['loop'])) {
69 foreach ($error['loop'] as $loop)
71 $this->add_error($renderer, "Circular dependency:" . $msg);
72 continue;
75 $renderer->doc .= "</div>";
79 $id = $this->file_name;
81 $renderer->doc .= "<div class=\"project_file\" id=\"$id\">";
82 $renderer->doc .= "<a name=\"$id\"></a>";
84 $renderer->doc .= "<div class=\"project_file_header\">";
86 $renderer->doc .= "<div class=\"tag_header\">Type</div>";
87 $type = $this->file->type();
88 $renderer->doc .= "<div class=\"project_file_type\">$type</div>";
90 $renderer->doc .= "<div class=\"tag_header\">Name</div>";
91 $renderer->doc .= "<div class=\"project_file_name\">";
92 $this->render_name($renderer);
93 $renderer->doc .= "</div>";
95 if ($this->project != NULL)
96 $project_name = $this->project->name();
99 $renderer->doc .= "<div class=\"tag_header\">in project</div>";
100 $renderer->doc .=
103 $renderer->doc .= "</div>";
105 $renderer->doc .= "<div class=\"spacer\"></div>";
106 $renderer->doc .= "<div class=\"project_file_buttons\">";
107 $this->render_buttons($renderer);
108 $renderer->doc .= "</div>";
110 $renderer->doc .= "</div>";
111 $this->set_errors($renderer);
112 $renderer->doc .= "<div class=\"project_file_content\">";
113 $renderer->doc .= $this->render_content($renderer);
115 $renderer->doc .= "</div>";
116 $renderer->doc .= "</div>";
120 $renderer->doc .= $this->file_name;
127 $renderer->doc .= button_add("Add dependency", USE_TAG);
128 $renderer->doc .= button_delete($this->project->id($this->file_name));
129 if ($this->project == NULL) return;
130 $renderer->doc .= action_button("Manage files", 'manage_files');
133 public function add_error(&$renderer, $error) { argument
134 $renderer->doc .= "<div class=\"error\">$error</div>";
144 if ($project != NULL) $this->link = ml($ID);
145 $this->display = $file->attribute('display');
149 if ($this->display == 'link')
150 $renderer->internalmedia($this->file_name, NULL, NULL, NULL, NULL, NULL, 'linkonly');
155 if ($this->display_link) return;
156 $name = $this->file_name;
157 $link = $this->link;
158 if ($this->failure) {
159 $renderer->preformatted(file_get_contents(
160 $this->project->path() . $name . '.make.log'));
163 $this->render_file_content($renderer);
167 $name = $this->file_name;
168 $renderer->internalmedia($this->project->id($name));
171 $mime = file_mimetype($this->ID, $this->project);
174 $this->project->path() . $name), 'unspecified');
181 $renderer->doc .= button_remake($this->project->id($this->file_name));
191 $this->crosslink = $file->crosslink();
192 $path = explode(':', $this->crosslink);
193 $this->media = ($path[0] == '[media]');
194 if ($this->media) array_shift($path);
196 if (!getNS($id)) $id = $project->id($id);
197 $this->crosslink = $id;
201 $renderer->doc .= "<div class=\"crosslink\">";
202 $path = explode(':', $this->crosslink);
204 if ($this->media)
205 $renderer->doc .= '<a href="' . ml($this->crosslink) . '">' . $this->crosslink . '</a>';
207 $renderer->doc .= html_wikilink($this->crosslink);
209 $renderer->doc .= "</div>";