Add ability for preconditions to add generated examples.

lib/webspicy/configuration.rb

@@ -28,6 +28,7 @@ def initialize(folder = Configuration.default_folder || Path.pwd, parent = nil)
       @failfast = default_failfast
       @run_examples = default_run_examples
       @run_counterexamples = default_run_counterexamples
+      @run_generated_examples = default_run_generated_examples
       @run_generated_counterexamples = default_run_generated_counterexamples
       @file_filter = default_file_filter
       @service_filter = default_service_filter
@@ -199,6 +200,23 @@ def default_run_counterexamples
     end
     private :default_run_counterexamples
 
+    # Sets whether generated examples have to be ran or not.
+    def run_generated_examples=(run_generated_examples)
+      @run_generated_examples = run_generated_examples
+    end
+    attr_reader :run_generated_examples
+
+    # Whether generated examples must be ran or not.
+    def run_generated_examples?
+      @run_generated_examples
+    end
+
+    # Returns the defaut value for run_generated_examples
+    def default_run_generated_examples
+      ENV['ROBUST'].nil? || (ENV['ROBUST'] != 'only' && ENV['ROBUST'] != 'generated')
+    end
+    private :default_run_generated_examples
+
     # Sets whether generated counter examples have to be ran or not.
     def run_generated_counterexamples=(run_generated_counterexamples)
       @run_generated_counterexamples = run_generated_counterexamples

lib/webspicy/configuration/scope.rb

@@ -52,6 +52,15 @@ def each_example(service, &bl)
           .each(&bl) if config.run_examples?
       end
 
+      def each_generated_examples(service, &bl)
+        Webspicy.with_scope(self) do
+          service.generated_examples
+            .map{|e| expand_example(service, e) }
+            .select(&to_filter_proc(config.test_case_filter))
+            .each(&bl) if config.run_generated_examples?
+        end if config.run_generated_examples?
+      end
+
       def each_counterexamples(service, &bl)
         service.counterexamples
           .map{|e| expand_example(service, e) }
@@ -70,6 +79,7 @@ def each_generated_counterexamples(service, &bl)
 
       def each_testcase(service, &bl)
         each_example(service, &bl)
+        each_generated_examples(service, &bl)
         each_counterexamples(service, &bl)
         each_generated_counterexamples(service, &bl)
       end

lib/webspicy/specification/pre.rb

@@ -7,6 +7,11 @@ module Pre
       def instrument
       end
 
+      # Provide examples of this precondition for a given service.
+      def examples(service)
+        []
+      end
+
       # Provide counterexamples of this precondition for a given service.
       def counterexamples(service)
         []

lib/webspicy/specification/service.rb

@@ -69,6 +69,15 @@ def counterexamples
         @raw[:counterexamples] || []
       end
 
+      def generated_examples
+        preconditions.map{|pre|
+          pre.examples(self).map{|tc|
+            tc = config.factory.test_case(tc, Webspicy.current_scope)
+            tc.bind(self, false)
+          }
+        }.flatten
+      end
+
       def generated_counterexamples
         preconditions.map{|pre|
           pre.counterexamples(self).map{|tc|