Add type checking configuration to dsl

lib/steep/drivers/check.rb

@@ -53,7 +53,18 @@ def run
               status.type_check_sources.each do |source_file|
                 case source_file.status
                 when Project::SourceFile::TypeCheckStatus
-                  source_file.errors.each do |error|
+                  source_file.errors.reject do |error|
+                    case
+                    when error.is_a?(Errors::FallbackAny)
+                      target.options.allow_fallback_any
+                    when error.is_a?(Errors::MethodDefinitionMissing)
+                      target.options.allow_missing_definitions
+                    when error.is_a?(Errors::NoMethod)
+                      target.options.allow_unknown_method_calls
+                    when error.is_a?(Errors::UnknownConstantAssigned)
+                      target.options.allow_unknown_constant_assignment
+                    end
+                  end.each do |error|
                     error.print_to stdout
                   end
                 when Project::SourceFile::TypeCheckErrorStatus

lib/steep/project/dsl.rb

@@ -9,6 +9,7 @@ class TargetDSL
         attr_reader :ignored_sources
         attr_reader :no_builtin
         attr_reader :vendor_dir
+        attr_reader :strictness_level
 
         def initialize(name, sources: [], libraries: [], signatures: [], ignored_sources: [])
           @name = name
@@ -17,6 +18,7 @@ def initialize(name, sources: [], libraries: [], signatures: [], ignored_sources
           @signatures = signatures
           @ignored_sources = ignored_sources
           @vendor_dir = nil
+          @strictness_level = :default
         end
 
         def initialize_copy(other)
@@ -26,6 +28,7 @@ def initialize_copy(other)
           @signatures = other.signatures.dup
           @ignored_sources = other.ignored_sources.dup
           @vendor_dir = other.vendor_dir
+          @strictness_level = other.strictness_level
         end
 
         def check(*args)
@@ -40,6 +43,10 @@ def library(*args)
           libraries.push(*args)
         end
 
+        def typing_options(level)
+          @strictness_level = level
+        end
+
         def signature(*args)
           signatures.push(*args)
         end
@@ -114,6 +121,13 @@ def target(name, template: nil, &block)
           options: Options.new.tap do |options|
             options.libraries.push(*target.libraries)
 
+            case target.strictness_level
+            when :strict
+              options.apply_strict_typing_options!
+            when :lenient
+              options.apply_lenient_typing_options!
+            end
+
             case target.vendor_dir
             when Array
               options.vendored_stdlib_path = target.vendor_dir[0]

lib/steep/project/file.rb

@@ -31,14 +31,6 @@ def errors
         case status
         when TypeCheckStatus
           status.typing.errors
-          # errors.reject do |error|
-          #   case
-          #   when error.is_a?(Errors::FallbackAny)
-          #     !options.fallback_any_is_error
-          #   when error.is_a?(Errors::MethodDefinitionMissing)
-          #     options.allow_missing_definitions
-          #   end
-          # end
         else
           []
         end

lib/steep/project/options.rb

@@ -1,20 +1,42 @@
 module Steep
   class Project
     class Options
-      attr_accessor :fallback_any_is_error
+      attr_accessor :allow_fallback_any
       attr_accessor :allow_missing_definitions
+      attr_accessor :allow_unknown_constant_assignment
+      attr_accessor :allow_unknown_method_calls
       attr_accessor :vendored_stdlib_path
       attr_accessor :vendored_gems_path
       attr_reader :libraries
 
       def initialize
-        self.fallback_any_is_error = false
-        self.allow_missing_definitions = true
+        apply_default_typing_options!
         self.vendored_gems_path = nil
         self.vendored_stdlib_path = nil
 
         @libraries = []
       end
+
+      def apply_default_typing_options!
+        self.allow_fallback_any = true
+        self.allow_missing_definitions = true
+        self.allow_unknown_constant_assignment = false
+        self.allow_unknown_method_calls = false
+      end
+
+      def apply_strict_typing_options!
+        self.allow_fallback_any = false
+        self.allow_missing_definitions = false
+        self.allow_unknown_constant_assignment = false
+        self.allow_unknown_method_calls = false
+      end
+
+      def apply_lenient_typing_options!
+        self.allow_fallback_any = true
+        self.allow_missing_definitions = true
+        self.allow_unknown_constant_assignment = true
+        self.allow_unknown_method_calls = true
+      end
     end
   end
 end

smoke/alias/Steepfile

@@ -1,4 +1,5 @@
 target :test do
+  typing_options :strict
   check "*.rb"
   signature "*.rbs"
 end

smoke/and/Steepfile

@@ -1,4 +1,5 @@
 target :test do
+  typing_options :strict
   check "*.rb"
   signature "*.rbs"
 end

smoke/array/Steepfile

@@ -1,4 +1,5 @@
 target :test do
+  typing_options :strict
   check "*.rb"
   signature "*.rbs"
 end

smoke/block/Steepfile

@@ -1,4 +1,5 @@
 target :test do
+  typing_options :strict
   check "*.rb"
   signature "*.rbs"
 end

smoke/case/Steepfile

@@ -1,4 +1,5 @@
 target :test do
+  typing_options :strict
   check "*.rb"
   signature "*.rbs"
 end

smoke/class/Steepfile

@@ -1,4 +1,5 @@
 target :test do
+  typing_options :strict
   check "*.rb"
   signature "*.rbs"
 end

smoke/const/Steepfile

@@ -1,4 +1,5 @@
 target :test do
+  typing_options :strict
   check "*.rb"
   signature "*.rbs"
 end

smoke/dstr/Steepfile

@@ -1,4 +1,5 @@
 target :test do
+  typing_options :strict
   check "*.rb"
   signature "*.rbs"
 end

smoke/ensure/Steepfile

@@ -1,4 +1,5 @@
 target :test do
+  typing_options :strict
   check "*.rb"
   signature "*.rbs"
 end

smoke/enumerator/Steepfile

@@ -1,4 +1,5 @@
 target :test do
+  typing_options :strict
   check "*.rb"
   signature "*.rbs"
 end

smoke/extension/Steepfile

@@ -1,4 +1,5 @@
 target :test do
+  typing_options :strict
   check "*.rb"
   signature "*.rbs"
 end

smoke/hash/Steepfile

@@ -1,4 +1,5 @@
 target :test do
+  typing_options :strict
   check "*.rb"
   signature "*.rbs"
 end

smoke/hello/Steepfile

@@ -1,4 +1,5 @@
 target :test do
+  typing_options :strict
   check "*.rb"
   signature "*.rbs"
 end

smoke/if/Steepfile

@@ -1,4 +1,5 @@
 target :test do
+  typing_options :strict
   check "*.rb"
   signature "*.rbs"
 end

smoke/implements/Steepfile

@@ -1,4 +1,5 @@
 target :test do
+  typing_options :strict
   check "*.rb"
   signature "*.rbs"
 end

smoke/initialize/Steepfile

@@ -1,4 +1,5 @@
 target :test do
+  typing_options :strict
   check "*.rb"
   signature "*.rbs"
 end

smoke/integer/Steepfile

@@ -1,4 +1,5 @@
 target :test do
+  typing_options :strict
   check "*.rb"
   signature "*.rbs"
 end

smoke/interface/Steepfile

@@ -1,4 +1,5 @@
 target :test do
+  typing_options :strict
   check "*.rb"
   signature "*.rbs"
 end

smoke/kwbegin/Steepfile

@@ -1,4 +1,5 @@
 target :test do
+  typing_options :strict
   check "*.rb"
   signature "*.rbs"
 end

smoke/lambda/Steepfile

@@ -1,4 +1,5 @@
 target :test do
+  typing_options :strict
   check "*.rb"
   signature "*.rbs"
 end

smoke/literal/Steepfile

@@ -1,4 +1,5 @@
 target :test do
+  typing_options :strict
   check "*.rb"
   signature "*.rbs"
 end

smoke/map/Steepfile

@@ -1,4 +1,5 @@
 target :test do
+  typing_options :strict
   check "*.rb"
   signature "*.rbs"
 end

smoke/method/Steepfile

@@ -1,4 +1,5 @@
 target :test do
+  typing_options :strict
   check "*.rb"
   signature "*.rbs"
 end

smoke/module/Steepfile

@@ -1,4 +1,5 @@
 target :test do
+  typing_options :strict
   check "*.rb"
   signature "*.rbs"
 end

smoke/regexp/Steepfile

@@ -1,4 +1,5 @@
 target :test do
+  typing_options :strict
   check "*.rb"
   signature "*.rbs"
 end

smoke/regression/Steepfile

@@ -1,4 +1,5 @@
 target :test do
+  typing_options :strict
   check "*.rb"
   signature "*.rbs"
   library "set"

smoke/rescue/Steepfile

@@ -1,4 +1,5 @@
 target :test do
+  typing_options :strict
   check "*.rb"
   signature "*.rbs"
 end

smoke/self/Steepfile

@@ -1,4 +1,5 @@
 target :test do
+  typing_options :strict
   check "*.rb"
   signature "*.rbs"
 end

smoke/skip/Steepfile

@@ -1,4 +1,5 @@
 target :test do
+  typing_options :strict
   check "*.rb"
   signature "*.rbs"
 end

smoke/stdout/Steepfile

@@ -1,4 +1,5 @@
 target :test do
+  typing_options :strict
   check "*.rb"
   signature "*.rbs"
 end

smoke/super/Steepfile

@@ -1,4 +1,5 @@
 target :test do
+  typing_options :strict
   check "*.rb"
   signature "*.rbs"
 end

smoke/type_case/Steepfile

@@ -1,4 +1,5 @@
 target :test do
+  typing_options :strict
   check "*.rb"
   signature "*.rbs"
 end

smoke/yield/Steepfile

@@ -1,4 +1,5 @@
 target :test do
+  typing_options :strict
   check "*.rb"
   signature "*.rbs"
 end

test/steepfile_test.rb

@@ -15,6 +15,7 @@ def test_config
 
       Project::DSL.parse(project, <<EOF)
 target :app do
+  typing_options :strict
   check "app"
   ignore "app/views"
   vendor
@@ -40,6 +41,7 @@ def test_config
         assert_equal ["set", "strong_json"], target.options.libraries
         assert_equal Pathname("vendor/sigs/stdlib"), target.options.vendored_stdlib_path
         assert_equal Pathname("vendor/sigs/gems"), target.options.vendored_gems_path
+        assert_equal false, target.options.allow_missing_definitions
       end
 
       project.targets.find {|target| target.name == :Gemfile }.tap do |target|
@@ -50,6 +52,7 @@ def test_config
         assert_equal ["gemfile"], target.options.libraries
         assert_nil target.options.vendored_stdlib_path
         assert_equal Pathname("vendor/signatures/gems"), target.options.vendored_gems_path
+        assert_equal true, target.options.allow_missing_definitions
       end
     end
   end