if obj isa JsonObject then
if obj.keys.has("message") then
var title = "GithubAPIError"
- var msg = obj["message"].to_s
+ var msg = obj["message"].as(not null).to_s
var err = new GithubError(msg, title)
err.json["requested_uri"] = uri
err.json["status_code"] = response.status_code
redef fun rendering do
add "<a{render_css_classes} href=\"{href}\""
+ var title = self.title
if title != null then add " title=\"{title.write_to_string}\""
add ">{text}</a>"
end
redef fun rendering do
add "<h{level}{render_css_classes}>{text.write_to_string}"
+ var subtext = self.subtext
if subtext != null then add "<small>{subtext.write_to_string}</small>"
add "</h{level}>"
end
redef fun rendering do
addn "<div{render_css_classes}>"
+ var heading = self.heading
if heading != null then
addn "<div class=\"panel-heading\">"
addn heading.write_to_string
addn "<div class=\"panel-body\">"
addn body.write_to_string
addn "</div>"
+ var footer = self.footer
if footer != null then
addn "<div class=\"panel-footer\">"
addn footer.write_to_string
# Use the IDs specfied by `graph.nodes`.
redef fun append_json_for(graph, buffer) do
buffer.append "\{\"type\":"
- rel_type.append_json(buffer)
+ rel_type.as(not null).append_json(buffer)
buffer.append ",\"properties\":"
properties.append_json(buffer)
buffer.append ",\"from\":"