Document _type of class_method_descriptor_exprt

thomasspriggs · thomasspriggs · commit 89d2d7348685 · 2019-10-03T12:18:33.000+01:00
To complete the complete the documentation of the constructor.
diff --git a/src/util/std_expr.h b/src/util/std_expr.h
@@ -4594,6 +4594,7 @@ inline void validate_expr(const class class_method_descriptor_exprt &value);
 class class_method_descriptor_exprt : public nullary_exprt
 {
 public:
+  /// \param _type: The type of the method which this expression refers to.
   /// \param class_id: Unique identifier in the symbol table, of the compile
   ///   time type of the class which this expression is applied to. For example
   ///   this could be - `java::java.lang.Object`.

Original file line number	Diff line number	Diff line change
`@@ -4594,6 +4594,7 @@ inline void validate_expr(const class class_method_descriptor_exprt &value);`
`4594`	`4594`	`class class_method_descriptor_exprt : public nullary_exprt`
`4595`	`4595`	`{`
`4596`	`4596`	`public:`
	`4597`	`+ /// \param _type: The type of the method which this expression refers to.`
`4597`	`4598`	`/// \param class_id: Unique identifier in the symbol table, of the compile`
`4598`	`4599`	`/// time type of the class which this expression is applied to. For example`
`4599`	`4600`	/// this could be - `java::java.lang.Object`.