end
end
op.append("\}\n")
- return new GraphArticle(mentity, name, op)
+ return new GraphArticle(mentity, name, "Importation Graph", op)
end
end
end
end
op.append("\}\n")
- return new GraphArticle(mentity, name, op)
+ return new GraphArticle(mentity, name, "Inheritance Graph", op)
end
end
# Graph ID (used for outputing file with names).
var id: String
+ # Graph title to display.
+ var graph_title: String
+
# Dot script of the graph.
var dot: Text
+
+ redef var is_empty = false
end