private Gee.HashMap<string,Symbol> __index = null;
+
+ public Json.Object toJson()
+ {
+ var ret = new Json.Object();
+ foreach(var k in this._index.keys) {
+ ret.set_object_member(k, this._index.get(k).toJson());
+ }
+ return ret;
+ }
+
+
public Gee.HashMap<string,Symbol> _index {
get {
if (this.__index == null) {