Add validate options method

Author: NlightNFotis

src/goto-harness/function_call_harness_generator.cpp

@@ -124,3 +124,11 @@ void function_call_harness_generatort::generate(
     function_found->mode);
   body.add(goto_programt::make_end_function());
 }
+
+void function_call_harness_generatort::validate_options()
+{
+  if(p_impl->function == ID_empty)
+    throw invalid_command_line_argument_exceptiont{
+      "required parameter entry function not set",
+      "--" FUNCTION_HARNESS_GENERATOR_FUNCTION_OPT};
+}

src/goto-harness/function_call_harness_generator.h

@@ -31,6 +31,8 @@ class function_call_harness_generatort : public goto_harness_generatort
   void
   handle_option(const std::string &option, const std::string &value) override;
 
+  void validate_options() override;
+
 private:
   struct implt;
   std::unique_ptr<implt> p_impl;

src/goto-harness/goto_harness_generator.h

@@ -29,6 +29,9 @@ class goto_harness_generatort
   /// immediately performing work
   virtual void
   handle_option(const std::string &option, const std::string &value) = 0;
+
+  /// Check if options are in a sane state, throw otherwise
+  virtual void validate_options() = 0;
 };
 
 #endif // CPROVER_GOTO_HARNESS_GOTO_HARNESS_GENERATOR_H

src/goto-harness/goto_harness_generator_factory.cpp

@@ -42,6 +42,8 @@ goto_harness_generator_factoryt::factory(
     {
       generator->handle_option(option.first, option.second);
     }
+    generator->validate_options();
+
     return generator;
   }
   else