70   json::Object Obj;  in translateInit()  local
71   Obj["printable"] = I.getAsString();  in translateInit()
74     Obj["kind"] = "def";  in translateInit()
75     Obj["def"] = Def->getDef()->getName();  in translateInit()
76     return std::move(Obj);  in translateInit()
79     Obj["kind"] = "var";  in translateInit()
80     Obj["var"] = Var->getName();  in translateInit()
81     return std::move(Obj);  in translateInit()
85       Obj["kind"] = "varbit";  in translateInit()
86       Obj["var"] = Var->getName();  in translateInit()
87       Obj["index"] = VarBit->getBitNum();  in translateInit()
88       return std::move(Obj);  in translateInit()
92     Obj["kind"] = "dag";  in translateInit()
93     Obj["operator"] = translateInit(*Dag->getOperator());  in translateInit()
95       Obj["name"] = name->getAsUnquotedString();  in translateInit()
106     Obj["args"] = std::move(Args);  in translateInit()
107     return std::move(Obj);  in translateInit()
114   Obj["kind"] = "complex";  in translateInit()
115   return std::move(Obj);  in translateInit()
137     json::Object Obj;  in run()  local
145         Obj[Name] = translateInit(*RV.getValue());  in run()
149     Obj["!fields"] = std::move(Fields);  in run()
159     Obj["!superclasses"] = std::move(SuperClasses);  in run()
161     Obj["!name"] = Name;  in run()
162     Obj["!anonymous"] = Def->isAnonymous();  in run()
167     Obj["!locs"] = std::move(Locs);  in run()
169     Root[Name] = std::move(Obj);  in run()