Add more doxygen to languaget

Author: peterschrammel

src/langapi/language.h

@@ -115,27 +115,60 @@ class languaget:public messaget
 
   // conversion of expressions
 
+  /// Formats the given expression in a language-specific way
+  /// \param expr: the expression to format
+  /// \param code: the formatted expression
+  /// \param ns: a namespace
+  /// \return false if conversion succeeds
   virtual bool from_expr(
     const exprt &expr,
     std::string &code,
     const namespacet &ns);
 
+  /// Formats the given type in a language-specific way
+  /// \param type: the type to format
+  /// \param code: the formatted type
+  /// \param ns: a namespace
+  /// \return false if conversion succeeds
   virtual bool from_type(
     const typet &type,
     std::string &code,
     const namespacet &ns);
 
+  /// Formats the given expression as a JSON object in a language-specific way
+  /// \param expr: the expression to format
+  /// \param ns: a namespace
+  /// \return the JSON object
   virtual json_objectt json(const exprt &, const namespacet &);
 
+  /// Formats the given type as a JSON object in a language-specific way
+  /// \param type: the type to format
+  /// \param ns: a namespace
+  /// \return the JSON object
   virtual json_objectt json(const typet &, const namespacet &);
 
+  /// Formats the given source location as a JSON object
+  ///   in a language-specific way
+  /// \param source_location: the source location to format
+  /// \return the JSON object
   virtual json_objectt json(const source_locationt &);
 
+  /// Encodes the given type in a language-specific way
+  /// \param type: the type to encode
+  /// \param name: the encoded type
+  /// \param ns: a namespace
+  /// \return false if the conversion succeeds
   virtual bool type_to_name(
     const typet &type,
     std::string &name,
     const namespacet &ns);
 
+  /// Parses the given string into an expression
+  /// \param code: the string to parse
+  /// \param module: prefix to be used for identifiers
+  /// \param expr: the parsed expression
+  /// \param ns: a namespace
+  /// \return false if the conversion succeeds
   virtual bool to_expr(
     const std::string &code,
     const std::string &module,