parlour 5.0.0.beta.6 → 5.0.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 1715bb17e55bec8c3c5e9879e2304b3357f4c56fa4969a7100e309be02c252a1
-  data.tar.gz: aea13230a97e42b09eed1b120d311d21e9b1deddf6530869a254e34b55745678
+  metadata.gz: cb1e682fc74b2ccd30ac9055caf652889e898e2632347bf6cf0898f218bd5562
+  data.tar.gz: fcca5ca04676cbeed657add051e344fd9b5fa0a7efc757339847310300aa4d42
 SHA512:
-  metadata.gz: 2adc666069616d219bbdc22d817b6d26b3775f64be30c2fa889c50022979674f5c066b2eed71cb2427f6015dcab5bc4247d23e539ae8d91ec5196164524d7966
-  data.tar.gz: 5761fe954c1dd8bb2a6a17fa1b4a92b21d6d61ab2ad1478e0e5387f09e5918ce264acea38909c54dc89df77417301d26903a2697520a25101e1a154a4b3f0ddb
+  metadata.gz: cef41723b922734b49f8377dc3b5c60cf0071d2a9723326299872fea4789f8e6ea1cb280fcd21161d48bd5dbb074b416e60668138116e56caf1c8334cce8e535
+  data.tar.gz: b9ea0db060c8789e1324460cde4a69b1c20b829920e660024f53834e48cef536b5423736e6fce4859c2e2fea5339e3f26bdd7513947bafcc82bd239db57cc68a

data/.travis.yml

@@ -3,6 +3,7 @@ dist: trusty
 before_install:
   - gem install bundler
   - gem install yard
+  - chmod +x ci/check_rbi.sh
 rvm: 
   - 2.3
   - 2.4
@@ -13,6 +14,9 @@ rvm:
 
 jobs:
   include:
+    - stage: check RBI
+      script: ./ci/check_rbi.sh
+      rvm: 2.7
     - stage: deploy documentation
       script: yard
       deploy:

data/CHANGELOG.md

@@ -3,42 +3,13 @@ All notable changes to this project will be documented in this file.
 
 The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/).
 
-## [5.0.0.beta.6] - 2020-10-04
-### Fixed
-- Fixed collection types sometimes generating as `T::::Array`
-
-## [5.0.0.beta.5] - 2020-10-03
-### Added
-- Added `Types::Generic` for user-defined generic types
-
-## [5.0.0.beta.4] - 2020-09-22
-### Added
-- Added support for parsing type aliases from RBI
-- Added conversion from RBI to RBS type aliases
-
-## [5.0.0.beta.3] - 2020-09-15
-### Changed
-- Changed the RBS keyword warning to come from "RBS generation" rather than
-  "Type generalization"
-- Added many more of RBS' keywords which are detected and prefixed with an
-  underscore to avoid syntax errors
-
-## [5.0.0.beta.2] - 2020-09-14
-### Added
-- Added `Types::Type#describe` for simple text descriptions of types
-- Added `Types::Self` for RBI's `T.self_type` or RBS' `self`
-
-### Fixed
-- Fixed `RbiGenerator::Namespace#create_method`'s `returns:` kwarg only
-  accepting String types
-- Fixed lack of spacing between argument lists and blocks in RBS
-- Fixed RBS attributes not having comments
-
-## [5.0.0.beta.1] - 2020-09-13
+## [5.0.0] - 2020-12-26
 ### Added
 - Added RBS generation support! This includes:
   - The new `RbsGenerator` class
   - `RbsObject` and a set of subclasses representing different RBS components
+  - **Note:** RBS does not yet support Parlour plugins and some other features.
+    Refer to the README for a full breakdown!
 - Added the `Types` module, which is used to describe types agnostic of the
   underlying type system
   - Added `RbiGenerator::Namespace#generalize_from_rbi!` to convert RBI string
@@ -50,6 +21,66 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/).
   - `TypedObject`, which `RbiObject` and `RbsObject` both inherit from
   - `Generator`, which `RbiGenerator` and `RbsGenerator` both inherit from
 - Added RBI type aliases
+- Added `sealed!` for RBI namespaces
+- Added `abstract!` for RBI modules
+
+### Changed
+- `Parlour::RbiGenerator::Options` is now `Parlour::Options`. An alias exists
+  for now, but **`Parlour::RbiGenerator::Options` is deprecated** and could be
+  removed in future versions.
+- Updated README and gem metadata to refer to Parlour as a type information
+  generator, rather than just an RBI generator
+
+<details>
+  <summary>5.0.0 pre-releases</summary>
+  
+  ## [5.0.0.beta.6] - 2020-10-04
+  ### Fixed
+  - Fixed collection types sometimes generating as `T::::Array`
+
+  ## [5.0.0.beta.5] - 2020-10-03
+  ### Added
+  - Added `Types::Generic` for user-defined generic types
+
+  ## [5.0.0.beta.4] - 2020-09-22
+  ### Added
+  - Added support for parsing type aliases from RBI
+  - Added conversion from RBI to RBS type aliases
+
+  ## [5.0.0.beta.3] - 2020-09-15
+  ### Changed
+  - Changed the RBS keyword warning to come from "RBS generation" rather than
+    "Type generalization"
+  - Added many more of RBS' keywords which are detected and prefixed with an
+    underscore to avoid syntax errors
+
+  ## [5.0.0.beta.2] - 2020-09-14
+  ### Added
+  - Added `Types::Type#describe` for simple text descriptions of types
+  - Added `Types::Self` for RBI's `T.self_type` or RBS' `self`
+
+  ### Fixed
+  - Fixed `RbiGenerator::Namespace#create_method`'s `returns:` kwarg only
+    accepting String types
+  - Fixed lack of spacing between argument lists and blocks in RBS
+  - Fixed RBS attributes not having comments
+
+  ## [5.0.0.beta.1] - 2020-09-13
+  ### Added
+  - Added RBS generation support! This includes:
+    - The new `RbsGenerator` class
+    - `RbsObject` and a set of subclasses representing different RBS components
+  - Added the `Types` module, which is used to describe types agnostic of the
+    underlying type system
+    - Added `RbiGenerator::Namespace#generalize_from_rbi!` to convert RBI string
+      types into `Types` types
+    - **Specifying types as strings is still currently supported, but may be
+      phased out in future, and should be avoided in new projects**.
+  - Added conversion from RBI to RBS type trees
+  - Added a couple of classes to deduplicate functionality between type systems:
+    - `TypedObject`, which `RbiObject` and `RbsObject` both inherit from
+    - `Generator`, which `RbiGenerator` and `RbsGenerator` both inherit from
+  - Added RBI type aliases
 
 ### Changed
 - `Parlour::RbiGenerator::Options` is now `Parlour::Options`. An alias exists
@@ -57,6 +88,7 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/).
   removed in future versions.
 - Updated README and gem metadata to refer to Parlour as a type information
   generator, rather than just an RBI generator
+</details>
 
 ## [4.0.1] - 2020-08-05
 ### Fixed

data/README.md

@@ -407,6 +407,8 @@ srb rbi gems
 srb rbi sorbet-typed
 ```
 
+You should also regenerate the parlour.rbi file by running `bundle exec parlour`. Don't edit this file manually, as your changes will be overwritten!
+
 ## License
 
 The gem is available as open source under the terms of the [MIT License](https://opensource.org/licenses/MIT).

data/ci/check_rbi.sh

@@ -0,0 +1,9 @@
+#!/bin/bash
+# Checks that the RBI in rbi/parlour.rbi is up-to-date with committed changes.
+# This is done by generating a new RBI and comparing it with the committed RBI.
+set -ev
+
+bundle install
+mv rbi/parlour.rbi rbi/parlour-committed.rbi
+bundle exec parlour
+cmp -s rbi/parlour.rbi rbi/parlour-committed.rbi

data/lib/parlour/rbi_generator/class_namespace.rb

@@ -10,6 +10,7 @@ module Parlour
           generator: Generator,
           name: String,
           final: T::Boolean,
+          sealed: T::Boolean,
           superclass: T.nilable(String),
           abstract: T::Boolean,
           block: T.nilable(T.proc.params(x: ClassNamespace).void)
@@ -21,13 +22,14 @@ module Parlour
       # @param generator [RbiGenerator] The current RbiGenerator.
       # @param name [String] The name of this class.
       # @param final [Boolean] Whether this namespace is final.
+      # @param sealed [Boolean] Whether this namespace is sealed.
       # @param superclass [String, nil] The superclass of this class, or nil if it doesn't
       #   have one.
       # @param abstract [Boolean] A boolean indicating whether this class is abstract.
       # @param block A block which the new instance yields itself to.
       # @return [void]
-      def initialize(generator, name, final, superclass, abstract, &block)
-        super(generator, name, final, &block)
+      def initialize(generator, name, final, sealed, superclass, abstract, &block)
+        super(generator, name, final, sealed, &block)
         @superclass = superclass
         @abstract = abstract
       end

data/lib/parlour/rbi_generator/enum_class_namespace.rb

@@ -10,6 +10,7 @@ module Parlour
           generator: Generator,
           name: String,
           final: T::Boolean,
+          sealed: T::Boolean,
           enums: T::Array[T.any([String, String], String)],
           abstract: T::Boolean,
           block: T.nilable(T.proc.params(x: EnumClassNamespace).void)
@@ -21,12 +22,13 @@ module Parlour
       # @param generator [RbiGenerator] The current RbiGenerator.
       # @param name [String] The name of this class.
       # @param final [Boolean] Whether this namespace is final.
+      # @param sealed [Boolean] Whether this namespace is sealed.
       # @param enums [Array<(String, String), String>] The values of the enumeration.
       # @param abstract [Boolean] A boolean indicating whether this class is abstract.
       # @param block A block which the new instance yields itself to.
       # @return [void]
-      def initialize(generator, name, final, enums, abstract, &block)
-        super(generator, name, final, 'T::Enum', abstract, &block)
+      def initialize(generator, name, final, sealed, enums, abstract, &block)
+        super(generator, name, final, sealed, 'T::Enum', abstract, &block)
         @enums = enums
       end
 

data/lib/parlour/rbi_generator/module_namespace.rb

@@ -10,24 +10,29 @@ module Parlour
           generator: Generator,
           name: String,
           final: T::Boolean,
+          sealed: T::Boolean,
           interface: T::Boolean,
+          abstract: T::Boolean,
           block: T.nilable(T.proc.params(x: ClassNamespace).void)
         ).void
       end
       # Creates a new module definition.
       # @note You should use {Namespace#create_module} rather than this directly.
-      # 
+      #
       # @param generator [RbiGenerator] The current RbiGenerator.
       # @param name [String] The name of this module.
       # @param final [Boolean] Whether this namespace is final.
+      # @param sealed [Boolean] Whether this namespace is sealed.
       # @param interface [Boolean] A boolean indicating whether this module is an
       #   interface.
+      # @param abstract [Boolean] A boolean indicating whether this module is abstract.
       # @param block A block which the new instance yields itself to.
       # @return [void]
-      def initialize(generator, name, final, interface, &block)
-        super(generator, name, final, &block)
+      def initialize(generator, name, final, sealed, interface, abstract, &block)
+        super(generator, name, final, sealed, &block)
         @name = name
         @interface = interface
+        @abstract = abstract
       end
 
       sig do
@@ -41,10 +46,11 @@ module Parlour
       # @param indent_level [Integer] The indentation level to generate the lines at.
       # @param options [Options] The formatting options to use.
       # @return [Array<String>] The RBI lines, formatted as specified.
-      def generate_rbi(indent_level, options)        
+      def generate_rbi(indent_level, options)
         lines = generate_comments(indent_level, options)
         lines << options.indented(indent_level, "module #{name}")
         lines += [options.indented(indent_level + 1, "interface!"), ""] if interface
+        lines += [options.indented(indent_level + 1, "abstract!"), ""] if abstract
         lines += generate_body(indent_level + 1, options)
         lines << options.indented(indent_level, "end")
       end
@@ -54,6 +60,11 @@ module Parlour
       # @return [Boolean]
       attr_reader :interface
 
+      sig { returns(T::Boolean) }
+      # A boolean indicating whether this module is abstract or not.
+      # @return [Boolean]
+      attr_reader :abstract
+
       sig do
         override.params(
           others: T::Array[RbiGenerator::RbiObject]
@@ -61,7 +72,7 @@ module Parlour
       end
       # Given an array of {Namespace} instances, returns true if they may
       # be merged into this instance using {merge_into_self}. For instances to
-      # be mergeable, they must either all be interfaces or all not be 
+      # be mergeable, they must either all be interfaces or all not be
       # interfaces.
       #
       # @param others [Array<RbiGenerator::RbiObject>] An array of other {Namespace} instances.
@@ -75,7 +86,7 @@ module Parlour
         all_modules.map(&:interface).uniq.length == 1
       end
 
-      sig do 
+      sig do
         override.params(
           others: T::Array[RbiGenerator::RbiObject]
         ).void
@@ -93,7 +104,8 @@ module Parlour
       # Returns a human-readable brief string description of this module.
       # @return [String]
       def describe
-        "Module #{name} - #{"interface, " if interface}#{children.length} " +
+        "Module #{name} - #{"interface, " if interface}" +
+          "#{"abstract, " if abstract}#{children.length} " +
           "children, #{includes.length} includes, #{extends.length} extends"
       end
 

data/lib/parlour/rbi_generator/namespace.rb

@@ -27,6 +27,7 @@ module Parlour
           generator: Generator,
           name: T.nilable(String),
           final: T::Boolean,
+          sealed: T::Boolean,
           block: T.nilable(T.proc.params(x: Namespace).void)
         ).void
       end
@@ -37,13 +38,15 @@ module Parlour
       # @param generator [RbiGenerator] The current RbiGenerator.
       # @param name [String, nil] The name of this module.
       # @param final [Boolean] Whether this namespace is final.
+      # @param final [Boolean] Whether this namespace is sealed.
       # @param block A block which the new instance yields itself to.
       # @return [void]
-      def initialize(generator, name = nil, final = false, &block)
+      def initialize(generator, name = nil, final = false, sealed = false, &block)
         super(generator, name || '<anonymous namespace>')
         @children = []
         @next_comments = []
         @final = final
+        @sealed = sealed
         yield_self(&block) if block
       end
 
@@ -52,6 +55,11 @@ module Parlour
       # @return [Boolean]
       attr_reader :final
 
+      sig { returns(T::Boolean) }
+      # Whether this namespace is sealed.
+      # @return [Boolean]
+      attr_reader :sealed
+
       sig { returns(T::Array[RbiObject]) }
       # The child {RbiObject} instances inside this namespace.
       # @return [Array<RbiObject>]
@@ -151,6 +159,7 @@ module Parlour
         params(
           name: String,
           final: T::Boolean,
+          sealed: T::Boolean,
           superclass: T.nilable(String),
           abstract: T::Boolean,
           block: T.nilable(T.proc.params(x: ClassNamespace).void)
@@ -168,13 +177,14 @@ module Parlour
       #
       # @param name [String] The name of this class.
       # @param final [Boolean] Whether this namespace is final.
+      # @param sealed [Boolean] Whether this namespace is sealed.
       # @param superclass [String, nil] The superclass of this class, or nil if it doesn't
       #   have one.
       # @param abstract [Boolean] A boolean indicating whether this class is abstract.
       # @param block A block which the new instance yields itself to.
       # @return [ClassNamespace]
-      def create_class(name, final: false, superclass: nil, abstract: false, &block)
-        new_class = ClassNamespace.new(generator, name, final, superclass, abstract, &block)
+      def create_class(name, final: false, sealed: false, superclass: nil, abstract: false, &block)
+        new_class = ClassNamespace.new(generator, name, final, sealed, superclass, abstract, &block)
         move_next_comments(new_class)
         children << new_class
         new_class
@@ -184,6 +194,7 @@ module Parlour
         params(
           name: String,
           final: T::Boolean,
+          sealed: T::Boolean,
           enums: T.nilable(T::Array[T.any([String, String], String)]),
           abstract: T::Boolean,
           block: T.nilable(T.proc.params(x: EnumClassNamespace).void)
@@ -196,12 +207,13 @@ module Parlour
       #
       # @param name [String] The name of this class.
       # @param final [Boolean] Whether this namespace is final.
+      # @param sealed [Boolean] Whether this namespace is sealed.
       # @param enums [Array<(String, String), String>] The values of the enumeration.
       # @param abstract [Boolean] A boolean indicating whether this class is abstract.
       # @param block A block which the new instance yields itself to.
       # @return [EnumClassNamespace]
-      def create_enum_class(name, final: false, enums: nil, abstract: false, &block)
-        new_enum_class = EnumClassNamespace.new(generator, name, final, enums || [], abstract, &block)
+      def create_enum_class(name, final: false, sealed: false, enums: nil, abstract: false, &block)
+        new_enum_class = EnumClassNamespace.new(generator, name, final, sealed, enums || [], abstract, &block)
         move_next_comments(new_enum_class)
         children << new_enum_class
         new_enum_class
@@ -211,6 +223,7 @@ module Parlour
         params(
           name: String,
           final: T::Boolean,
+          sealed: T::Boolean,
           props: T.nilable(T::Array[StructProp]),
           abstract: T::Boolean,
           block: T.nilable(T.proc.params(x: StructClassNamespace).void)
@@ -225,12 +238,13 @@ module Parlour
       #
       # @param name [String] The name of this class.
       # @param final [Boolean] Whether this namespace is final.
+      # @param sealed [Boolean] Whether this namespace is sealed.
       # @param props [Array<StructProp>] The props of the struct.
       # @param abstract [Boolean] A boolean indicating whether this class is abstract.
       # @param block A block which the new instance yields itself to.
       # @return [EnumClassNamespace]
-      def create_struct_class(name, final: false, props: nil, abstract: false, &block)
-        new_struct_class = StructClassNamespace.new(generator, name, final, props || [], abstract, &block)
+      def create_struct_class(name, final: false, sealed: false, props: nil, abstract: false, &block)
+        new_struct_class = StructClassNamespace.new(generator, name, final, sealed, props || [], abstract, &block)
         move_next_comments(new_struct_class)
         children << new_struct_class
         new_struct_class
@@ -240,7 +254,9 @@ module Parlour
         params(
           name: String,
           final: T::Boolean,
+          sealed: T::Boolean,
           interface: T::Boolean,
+          abstract: T::Boolean,
           block: T.nilable(T.proc.params(x: ClassNamespace).void)
         ).returns(ModuleNamespace)
       end
@@ -256,12 +272,15 @@ module Parlour
       #
       # @param name [String] The name of this module.
       # @param final [Boolean] Whether this namespace is final.
+      # @param sealed [Boolean] Whether this namespace is sealed.
       # @param interface [Boolean] A boolean indicating whether this module is an
       #   interface.
+      # @param abstract [Boolean] A boolean indicating whether this module is
+      #   abstract.
       # @param block A block which the new instance yields itself to.
       # @return [ModuleNamespace]
-      def create_module(name, final: false, interface: false, &block)
-        new_module = ModuleNamespace.new(generator, name, final, interface, &block)
+      def create_module(name, final: false, sealed: false, interface: false, abstract: false, &block)
+        new_module = ModuleNamespace.new(generator, name, final, sealed, interface, abstract, &block)
         move_next_comments(new_module)
         children << new_module
         new_module
@@ -657,6 +676,7 @@ module Parlour
         result = []
 
         result += [options.indented(indent_level, 'final!'), ''] if final
+        result += [options.indented(indent_level, 'sealed!'), ''] if sealed
 
         # Split away the eigen constants; these need to be put in a
         # "class << self" block later

data/lib/parlour/rbi_generator/parameter.rb

@@ -39,7 +39,7 @@ module Parlour
         @name = name
 
         prefix = /^(\*\*|\*|\&)?/.match(name)&.captures&.first || ''
-        @kind = PREFIXES.rassoc(prefix).first
+        @kind = T.must(PREFIXES.rassoc(prefix)).first
 
         @kind = :keyword if kind == :normal && name.end_with?(':')
 
@@ -123,12 +123,12 @@ module Parlour
       end
 
       # A mapping of {kind} values to the characteristic prefixes each kind has.
-      PREFIXES = {
+      PREFIXES = T.let({
         normal: '',
         splat: '*',
         double_splat: '**',
         block: '&'
-      }.freeze
+      }.freeze, T::Hash[Symbol, String])
 
       sig { void }
       def generalize_from_rbi!

data/lib/parlour/rbi_generator/struct_class_namespace.rb

@@ -11,6 +11,7 @@ module Parlour
           generator: Generator,
           name: String,
           final: T::Boolean,
+          sealed: T::Boolean,
           props: T::Array[StructProp],
           abstract: T::Boolean,
           block: T.nilable(T.proc.params(x: StructClassNamespace).void)
@@ -22,12 +23,13 @@ module Parlour
       # @param generator [RbiGenerator] The current RbiGenerator.
       # @param name [String] The name of this class.
       # @param final [Boolean] Whether this namespace is final.
+      # @param sealed [Boolean] Whether this namespace is sealed.
       # @param props [Array<StructProp>] The props of the struct.
       # @param abstract [Boolean] A boolean indicating whether this class is abstract.
       # @param block A block which the new instance yields itself to.
       # @return [void]
-      def initialize(generator, name, final, props, abstract, &block)
-        super(generator, name, final, 'T::Struct', abstract, &block)
+      def initialize(generator, name, final, sealed, props, abstract, &block)
+        super(generator, name, final, sealed, 'T::Struct', abstract, &block)
         @props = props
       end
 

data/lib/parlour/rbi_generator/struct_prop.rb

@@ -112,9 +112,9 @@ module Parlour
       attr_reader :redaction
 
       # The optional properties available on instances of this class.
-      EXTRA_PROPERTIES = %i{
+      EXTRA_PROPERTIES = T.let(%i{
         optional enum dont_store foreign default factory immutable array override redaction
-      }
+      }, T::Array[Symbol])
 
       sig { returns(String) }
       # Returns the +prop+ call required to create this property.

data/lib/parlour/rbs_generator/method.rb

@@ -89,7 +89,7 @@ module Parlour
 
           # Merge the first signature line, and indent & concat the rest
           first_line, *rest_lines = *partial_sig_lines
-          this_sig_lines[0] += first_line
+          this_sig_lines[0] = T.unsafe(this_sig_lines[0]) + first_line
           rest_lines&.each do |line|
             this_sig_lines << ' ' * definition.length + options.indented(indent_level, line)
           end

data/lib/parlour/type_parser.rb

@@ -158,6 +158,7 @@ module Parlour
 
         name, superclass, body = *node
         final = body_has_modifier?(body, :final!)
+        sealed = body_has_modifier?(body, :sealed!)
         abstract = body_has_modifier?(body, :abstract!)
         includes, extends = body ? body_includes_and_extends(body) : [[], []]
 
@@ -170,6 +171,7 @@ module Parlour
             generator,
             n.to_s,
             false,
+            false,
           )
           target.children << new_obj if target
           target = new_obj
@@ -233,6 +235,7 @@ module Parlour
             generator,
             this_name.to_s,
             final,
+            sealed,
             props,
             abstract,
           )
@@ -256,6 +259,7 @@ module Parlour
             generator,
             this_name.to_s,
             final,
+            sealed,
             enums,
             abstract,
           )
@@ -264,6 +268,7 @@ module Parlour
             generator,
             this_name.to_s,
             final,
+            sealed,
             node_to_s(superclass),
             abstract,
           )
@@ -275,7 +280,7 @@ module Parlour
 
         if target
           target.children << final_obj
-          [top_level]
+          [T.must(top_level)]
         else
           [final_obj]
         end
@@ -283,7 +288,9 @@ module Parlour
         parse_err 'cannot declare modules in an eigenclass', node if is_within_eigenclass
 
         name, body = *node
+        abstract = body_has_modifier?(body, :abstract!)
         final = body_has_modifier?(body, :final!)
+        sealed = body_has_modifier?(body, :sealed!)
         interface = body_has_modifier?(body, :interface!)
         includes, extends = body ? body_includes_and_extends(body) : [[], []]
 
@@ -296,6 +303,7 @@ module Parlour
             generator,
             n.to_s,
             false,
+            false,
           )
           target.children << new_obj if target
           target = new_obj
@@ -306,7 +314,9 @@ module Parlour
           generator,
           this_name.to_s,
           final,
+          sealed,
           interface,
+          abstract,
         ) do |m|
           m.children.concat(parse_path_to_object(path.child(1))) if body
           m.create_includes(includes)
@@ -315,7 +325,7 @@ module Parlour
 
         if target
           target.children << final_obj
-          [top_level]
+          [T.must(top_level)]
         else
           [final_obj]
         end

data/lib/parlour/version.rb

@@ -1,5 +1,5 @@
 # typed: strong
 module Parlour
   # The library version.
-  VERSION = '5.0.0.beta.6'
+  VERSION = '5.0.0'
 end

data/rbi/parlour.rbi

@@ -3,7 +3,7 @@ module Kernel
 end
 
 module Parlour
-  VERSION = '5.0.0.beta.6'
+  VERSION = '5.0.0'
 
   class ConflictResolver
     extend T::Sig
@@ -772,12 +772,13 @@ module Parlour
           generator: Generator,
           name: String,
           final: T::Boolean,
+          sealed: T::Boolean,
           superclass: T.nilable(String),
           abstract: T::Boolean,
           block: T.nilable(T.proc.params(x: ClassNamespace).void)
         ).void
       end
-      def initialize(generator, name, final, superclass, abstract, &block); end
+      def initialize(generator, name, final, sealed, superclass, abstract, &block); end
 
       sig { override.params(indent_level: Integer, options: Options).returns(T::Array[String]) }
       def generate_rbi(indent_level, options); end
@@ -846,12 +847,13 @@ module Parlour
           generator: Generator,
           name: String,
           final: T::Boolean,
+          sealed: T::Boolean,
           enums: T::Array[T.any([String, String], String)],
           abstract: T::Boolean,
           block: T.nilable(T.proc.params(x: EnumClassNamespace).void)
         ).void
       end
-      def initialize(generator, name, final, enums, abstract, &block); end
+      def initialize(generator, name, final, sealed, enums, abstract, &block); end
 
       sig { returns(T::Array[T.any([String, String], String)]) }
       attr_reader :enums
@@ -996,11 +998,13 @@ module Parlour
           generator: Generator,
           name: String,
           final: T::Boolean,
+          sealed: T::Boolean,
           interface: T::Boolean,
+          abstract: T::Boolean,
           block: T.nilable(T.proc.params(x: ClassNamespace).void)
         ).void
       end
-      def initialize(generator, name, final, interface, &block); end
+      def initialize(generator, name, final, sealed, interface, abstract, &block); end
 
       sig { override.params(indent_level: Integer, options: Options).returns(T::Array[String]) }
       def generate_rbi(indent_level, options); end
@@ -1008,6 +1012,9 @@ module Parlour
       sig { returns(T::Boolean) }
       attr_reader :interface
 
+      sig { returns(T::Boolean) }
+      attr_reader :abstract
+
       sig { override.params(others: T::Array[RbiGenerator::RbiObject]).returns(T::Boolean) }
       def mergeable?(others); end
 
@@ -1032,14 +1039,18 @@ module Parlour
           generator: Generator,
           name: T.nilable(String),
           final: T::Boolean,
+          sealed: T::Boolean,
           block: T.nilable(T.proc.params(x: Namespace).void)
         ).void
       end
-      def initialize(generator, name = nil, final = false, &block); end
+      def initialize(generator, name = nil, final = false, sealed = false, &block); end
 
       sig { returns(T::Boolean) }
       attr_reader :final
 
+      sig { returns(T::Boolean) }
+      attr_reader :sealed
+
       sig { returns(T::Array[RbiObject]) }
       attr_reader :children
 
@@ -1065,44 +1076,49 @@ module Parlour
         params(
           name: String,
           final: T::Boolean,
+          sealed: T::Boolean,
           superclass: T.nilable(String),
           abstract: T::Boolean,
           block: T.nilable(T.proc.params(x: ClassNamespace).void)
         ).returns(ClassNamespace)
       end
-      def create_class(name, final: false, superclass: nil, abstract: false, &block); end
+      def create_class(name, final: false, sealed: false, superclass: nil, abstract: false, &block); end
 
       sig do
         params(
           name: String,
           final: T::Boolean,
+          sealed: T::Boolean,
           enums: T.nilable(T::Array[T.any([String, String], String)]),
           abstract: T::Boolean,
           block: T.nilable(T.proc.params(x: EnumClassNamespace).void)
         ).returns(EnumClassNamespace)
       end
-      def create_enum_class(name, final: false, enums: nil, abstract: false, &block); end
+      def create_enum_class(name, final: false, sealed: false, enums: nil, abstract: false, &block); end
 
       sig do
         params(
           name: String,
           final: T::Boolean,
+          sealed: T::Boolean,
           props: T.nilable(T::Array[StructProp]),
           abstract: T::Boolean,
           block: T.nilable(T.proc.params(x: StructClassNamespace).void)
         ).returns(StructClassNamespace)
       end
-      def create_struct_class(name, final: false, props: nil, abstract: false, &block); end
+      def create_struct_class(name, final: false, sealed: false, props: nil, abstract: false, &block); end
 
       sig do
         params(
           name: String,
           final: T::Boolean,
+          sealed: T::Boolean,
           interface: T::Boolean,
+          abstract: T::Boolean,
           block: T.nilable(T.proc.params(x: ClassNamespace).void)
         ).returns(ModuleNamespace)
       end
-      def create_module(name, final: false, interface: false, &block); end
+      def create_module(name, final: false, sealed: false, interface: false, abstract: false, &block); end
 
       sig do
         params(
@@ -1212,12 +1228,12 @@ module Parlour
 
     class Parameter
       extend T::Sig
-      PREFIXES = {
+      PREFIXES = T.let({
         normal: '',
         splat: '*',
         double_splat: '**',
         block: '&'
-      }.freeze
+      }.freeze, T::Hash[Symbol, String])
 
       sig { params(name: String, type: T.nilable(Types::TypeLike), default: T.nilable(String)).void }
       def initialize(name, type: nil, default: nil); end
@@ -1283,12 +1299,13 @@ module Parlour
           generator: Generator,
           name: String,
           final: T::Boolean,
+          sealed: T::Boolean,
           props: T::Array[StructProp],
           abstract: T::Boolean,
           block: T.nilable(T.proc.params(x: StructClassNamespace).void)
         ).void
       end
-      def initialize(generator, name, final, props, abstract, &block); end
+      def initialize(generator, name, final, sealed, props, abstract, &block); end
 
       sig { returns(T::Array[StructProp]) }
       attr_reader :props
@@ -1308,9 +1325,9 @@ module Parlour
 
     class StructProp
       extend T::Sig
-      EXTRA_PROPERTIES = %i{
+      EXTRA_PROPERTIES = T.let(%i{
         optional enum dont_store foreign default factory immutable array override redaction
-      }
+      }, T::Array[Symbol])
 
       sig do
         params(

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: parlour
 version: !ruby/object:Gem::Version
-  version: 5.0.0.beta.6
+  version: 5.0.0
 platform: ruby
 authors:
 - Aaron Christiansen
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2020-10-04 00:00:00.000000000 Z
+date: 2020-12-26 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: sorbet-runtime
@@ -156,6 +156,7 @@ files:
 - LICENSE.txt
 - README.md
 - Rakefile
+- ci/check_rbi.sh
 - exe/parlour
 - lib/parlour.rb
 - lib/parlour/conflict_resolver.rb
@@ -224,9 +225,9 @@ required_ruby_version: !ruby/object:Gem::Requirement
       version: '0'
 required_rubygems_version: !ruby/object:Gem::Requirement
   requirements:
-  - - ">"
+  - - ">="
     - !ruby/object:Gem::Version
-      version: 1.3.1
+      version: '0'
 requirements: []
 rubygems_version: 3.0.3
 signing_key: