Update docs on java_method_typet constructor

jeannielynnmoulton · jeannielynnmoulton · commit 972315affe1e · 2018-08-13T16:08:40.000+01:00
diff --git a/jbmc/src/java_bytecode/java_types.h b/jbmc/src/java_bytecode/java_types.h
@@ -248,8 +248,8 @@ class java_method_typet : public code_typet
   using code_typet::parameterst;
   using code_typet::parametert;
 
-  /// Constructs a new code type, i.e. function type
-  /// \param _parameters: the vector of function parameters
+  /// Constructs a new code type, i.e. method type
+  /// \param _parameters: the vector of method parameters
   /// \param _return_type: the return type
   java_method_typet(parameterst &&_parameters, typet &&_return_type)
   {
@@ -258,8 +258,8 @@ class java_method_typet : public code_typet
     return_type().swap(_return_type);
   }
 
-  /// Constructs a new code type, i.e. function type
-  /// \param _parameters: the vector of function parameters
+  /// Constructs a new code type, i.e. method type
+  /// \param _parameters: the vector of method parameters
   /// \param _return_type: the return type
   java_method_typet(parameterst &&_parameters, const typet &_return_type)
   {

Original file line number	Diff line number	Diff line change
`@@ -248,8 +248,8 @@ class java_method_typet : public code_typet`
`248`	`248`	`using code_typet::parameterst;`
`249`	`249`	`using code_typet::parametert;`
`250`	`250`
`251`		`- /// Constructs a new code type, i.e. function type`
`252`		`- /// \param _parameters: the vector of function parameters`
	`251`	`+ /// Constructs a new code type, i.e. method type`
	`252`	`+ /// \param _parameters: the vector of method parameters`
`253`	`253`	`/// \param _return_type: the return type`
`254`	`254`	`java_method_typet(parameterst &&_parameters, typet &&_return_type)`
`255`	`255`	`{`
`@@ -258,8 +258,8 @@ class java_method_typet : public code_typet`
`258`	`258`	`return_type().swap(_return_type);`
`259`	`259`	`}`
`260`	`260`
`261`		`- /// Constructs a new code type, i.e. function type`
`262`		`- /// \param _parameters: the vector of function parameters`
	`261`	`+ /// Constructs a new code type, i.e. method type`
	`262`	`+ /// \param _parameters: the vector of method parameters`
`263`	`263`	`/// \param _return_type: the return type`
`264`	`264`	`java_method_typet(parameterst &&_parameters, const typet &_return_type)`
`265`	`265`	`{`