diff --git a/webapp/ruby/app.rb b/webapp/ruby/app.rb index 77f5512..4355587 100644 --- a/webapp/ruby/app.rb +++ b/webapp/ruby/app.rb @@ -57,9 +57,6 @@ def db_conn #:: Mysql2::Client[Mysql2::ResultAsHash] Thread.current[:db_conn] ||= connect_db end - # @rbs! - # def self.db_conn: () -> Mysql2::Client[Mysql2::ResultAsHash] - def connect_db #:: Mysql2::Client[Mysql2::ResultAsHash] Mysql2::Client.new( host: ENV.fetch('ISUCON13_MYSQL_DIALCONFIG_ADDRESS', '127.0.0.1'), @@ -73,9 +70,6 @@ def connect_db #:: Mysql2::Client[Mysql2::ResultAsHash] ) end - # @rbs! - # def self.connect_db: () -> Mysql2::Client[Mysql2::ResultAsHash] - #:: [T] () { (Mysql2::Client[Mysql2::ResultAsHash]) -> T } -> T def db_transaction(&block) db_conn.query('BEGIN') @@ -92,9 +86,6 @@ def db_transaction(&block) end end - # @rbs! - # def self.db_transaction: [T] () { (Mysql2::Client[Mysql2::ResultAsHash]) -> T } -> T - # singleton(T) が動いてほしいなあ #:: (singleton(ReserveLivestreamRequest) | singleton(PostLivecommentRequest) | singleton(ModerateRequest) | singleton(PostReactionRequest) | singleton(PostIconRequest) | singleton(PostUserRequest) | singleton(LoginRequest) data_class) -> (ReserveLivestreamRequest | PostLivecommentRequest | ModerateRequest | PostReactionRequest | PostIconRequest | PostUserRequest | LoginRequest) def decode_request_body(data_class) @@ -102,9 +93,6 @@ def decode_request_body(data_class) data_class.new(**data_class.members.map { |key| [key, body[key]] }.to_h) end - # @rbs! - # def self.decode_request_body: (singleton(ReserveLivestreamRequest) | singleton(PostLivecommentRequest) | singleton(ModerateRequest) | singleton(PostReactionRequest) | singleton(PostIconRequest) | singleton(PostUserRequest) | singleton(LoginRequest) data_class) -> (ReserveLivestreamRequest | PostLivecommentRequest | ModerateRequest | PostReactionRequest | PostIconRequest | PostUserRequest | LoginRequest) - # @rbs str: String # @rbs returns Integer def cast_as_integer(str) @@ -113,9 +101,6 @@ def cast_as_integer(str) raise HttpError.new(400) end - # @rbs! - # def self.cast_as_integer: (String str) -> Integer - def verify_user_session! #:: nil sess = session[DEFAULT_SESSION_ID_KEY] unless sess @@ -135,9 +120,6 @@ def verify_user_session! #:: nil nil end - # @rbs! - # def self.verify_user_session!: () -> nil - # @rbs tx: Mysql2::Client[Mysql2::ResultAsHash] # @rbs livestream_model: Hash[Symbol, Mysql2::row_value_type] # @rbs returns Hash[Symbol, untyped] @@ -159,9 +141,6 @@ def fill_livestream_response(tx, livestream_model) ) end - # @rbs! - # def self.fill_livestream_response: (Mysql2::Client[Mysql2::ResultAsHash] tx, Hash[Symbol, Mysql2::row_value_type] livestream_model) -> Hash[Symbol, untyped] - # @rbs tx: Mysql2::Client[Mysql2::ResultAsHash] # @rbs livecomment_model: Hash[Symbol, untyped] # @rbs returns Hash[Symbol, untyped] @@ -178,9 +157,6 @@ def fill_livecomment_response(tx, livecomment_model) ) end - # @rbs! - # def self.fill_livecomment_response: (Mysql2::Client[Mysql2::ResultAsHash] tx, Hash[Symbol, untyped] livecomment_model) -> Hash[Symbol, untyped] - # @rbs tx: Mysql2::Client[Mysql2::ResultAsHash] # @rbs report_model: Hash[Symbol, untyped] # @rbs returns Hash[Symbol, untyped] @@ -197,9 +173,6 @@ def fill_livecomment_report_response(tx, report_model) ) end - # @rbs! - # def self.fill_livecomment_report_response: (Mysql2::Client[Mysql2::ResultAsHash] tx, Hash[Symbol, untyped] report_model) -> Hash[Symbol, untyped] - # @rbs tx: Mysql2::Client[Mysql2::ResultAsHash] # @rbs reaction_model: Hash[Symbol, Mysql2::row_value_type] # @rbs returns Hash[Symbol, untyped] @@ -216,9 +189,6 @@ def fill_reaction_response(tx, reaction_model) ) end - # @rbs! - # def self.fill_reaction_response: (Mysql2::Client[Mysql2::ResultAsHash] tx, Hash[Symbol, Mysql2::row_value_type] reaction_model) -> Hash[Symbol, untyped] - # @rbs tx: Mysql2::Client[Mysql2::ResultAsHash] # @rbs user_model: Hash[Symbol, Mysql2::row_value_type] # @rbs returns Hash[Symbol, untyped] @@ -247,9 +217,6 @@ def fill_user_response(tx, user_model) icon_hash:, } end - - # @rbs! - # def self.fill_user_response: (Mysql2::Client[Mysql2::ResultAsHash] tx, Hash[Symbol, Mysql2::row_value_type] user_model) -> Hash[Symbol, untyped] end # 初期化 diff --git a/webapp/ruby/rbs_collection.lock.yaml b/webapp/ruby/rbs_collection.lock.yaml index 8bcc79d..a2b6114 100644 --- a/webapp/ruby/rbs_collection.lock.yaml +++ b/webapp/ruby/rbs_collection.lock.yaml @@ -10,7 +10,7 @@ gems: source: type: git name: ruby/gem_rbs_collection - revision: 1cbe291950e00d97d5a9a1929388523eb2d5b939 + revision: 40bc6f347bd515583de8d04422ffdffd3e7766f0 remote: https://github.com/ruby/gem_rbs_collection.git repo_dir: gems - name: cgi @@ -22,7 +22,7 @@ gems: source: type: git name: ruby/gem_rbs_collection - revision: 1cbe291950e00d97d5a9a1929388523eb2d5b939 + revision: 40bc6f347bd515583de8d04422ffdffd3e7766f0 remote: https://github.com/ruby/gem_rbs_collection.git repo_dir: gems - name: mysql2-cs-bind @@ -30,7 +30,7 @@ gems: source: type: git name: ruby/gem_rbs_collection - revision: 1cbe291950e00d97d5a9a1929388523eb2d5b939 + revision: 40bc6f347bd515583de8d04422ffdffd3e7766f0 remote: https://github.com/ruby/gem_rbs_collection.git repo_dir: gems - name: openssl @@ -42,7 +42,7 @@ gems: source: type: git name: ruby/gem_rbs_collection - revision: 1cbe291950e00d97d5a9a1929388523eb2d5b939 + revision: 40bc6f347bd515583de8d04422ffdffd3e7766f0 remote: https://github.com/ruby/gem_rbs_collection.git repo_dir: gems - name: sinatra @@ -50,7 +50,7 @@ gems: source: type: git name: ruby/gem_rbs_collection - revision: 1cbe291950e00d97d5a9a1929388523eb2d5b939 + revision: 40bc6f347bd515583de8d04422ffdffd3e7766f0 remote: https://github.com/ruby/gem_rbs_collection.git repo_dir: gems - name: sinatra-contrib @@ -58,7 +58,7 @@ gems: source: type: git name: ruby/gem_rbs_collection - revision: 1cbe291950e00d97d5a9a1929388523eb2d5b939 + revision: 40bc6f347bd515583de8d04422ffdffd3e7766f0 remote: https://github.com/ruby/gem_rbs_collection.git repo_dir: gems - name: socket diff --git a/webapp/ruby/sig/generated/app.rbs b/webapp/ruby/sig/generated/app.rbs index b2e5fe9..e9bcc81 100644 --- a/webapp/ruby/sig/generated/app.rbs +++ b/webapp/ruby/sig/generated/app.rbs @@ -27,68 +27,46 @@ module Isupipe def db_conn: () -> Mysql2::Client[Mysql2::ResultAsHash] - def self.db_conn: () -> Mysql2::Client[Mysql2::ResultAsHash] - def connect_db: () -> Mysql2::Client[Mysql2::ResultAsHash] - def self.connect_db: () -> Mysql2::Client[Mysql2::ResultAsHash] - # :: [T] () { (Mysql2::Client[Mysql2::ResultAsHash]) -> T } -> T def db_transaction: [T] () { (Mysql2::Client[Mysql2::ResultAsHash]) -> T } -> T - def self.db_transaction: [T] () { (Mysql2::Client[Mysql2::ResultAsHash]) -> T } -> T - # singleton(T) が動いてほしいなあ # :: (singleton(ReserveLivestreamRequest) | singleton(PostLivecommentRequest) | singleton(ModerateRequest) | singleton(PostReactionRequest) | singleton(PostIconRequest) | singleton(PostUserRequest) | singleton(LoginRequest) data_class) -> (ReserveLivestreamRequest | PostLivecommentRequest | ModerateRequest | PostReactionRequest | PostIconRequest | PostUserRequest | LoginRequest) def decode_request_body: (singleton(ReserveLivestreamRequest) | singleton(PostLivecommentRequest) | singleton(ModerateRequest) | singleton(PostReactionRequest) | singleton(PostIconRequest) | singleton(PostUserRequest) | singleton(LoginRequest) data_class) -> (ReserveLivestreamRequest | PostLivecommentRequest | ModerateRequest | PostReactionRequest | PostIconRequest | PostUserRequest | LoginRequest) - def self.decode_request_body: (singleton(ReserveLivestreamRequest) | singleton(PostLivecommentRequest) | singleton(ModerateRequest) | singleton(PostReactionRequest) | singleton(PostIconRequest) | singleton(PostUserRequest) | singleton(LoginRequest) data_class) -> (ReserveLivestreamRequest | PostLivecommentRequest | ModerateRequest | PostReactionRequest | PostIconRequest | PostUserRequest | LoginRequest) - # @rbs str: String # @rbs returns Integer def cast_as_integer: (String str) -> Integer - def self.cast_as_integer: (String str) -> Integer - def verify_user_session!: () -> nil - def self.verify_user_session!: () -> nil - # @rbs tx: Mysql2::Client[Mysql2::ResultAsHash] # @rbs livestream_model: Hash[Symbol, Mysql2::row_value_type] # @rbs returns Hash[Symbol, untyped] def fill_livestream_response: (Mysql2::Client[Mysql2::ResultAsHash] tx, Hash[Symbol, Mysql2::row_value_type] livestream_model) -> Hash[Symbol, untyped] - def self.fill_livestream_response: (Mysql2::Client[Mysql2::ResultAsHash] tx, Hash[Symbol, Mysql2::row_value_type] livestream_model) -> Hash[Symbol, untyped] - # @rbs tx: Mysql2::Client[Mysql2::ResultAsHash] # @rbs livecomment_model: Hash[Symbol, untyped] # @rbs returns Hash[Symbol, untyped] def fill_livecomment_response: (Mysql2::Client[Mysql2::ResultAsHash] tx, Hash[Symbol, untyped] livecomment_model) -> Hash[Symbol, untyped] - def self.fill_livecomment_response: (Mysql2::Client[Mysql2::ResultAsHash] tx, Hash[Symbol, untyped] livecomment_model) -> Hash[Symbol, untyped] - # @rbs tx: Mysql2::Client[Mysql2::ResultAsHash] # @rbs report_model: Hash[Symbol, untyped] # @rbs returns Hash[Symbol, untyped] def fill_livecomment_report_response: (Mysql2::Client[Mysql2::ResultAsHash] tx, Hash[Symbol, untyped] report_model) -> Hash[Symbol, untyped] - def self.fill_livecomment_report_response: (Mysql2::Client[Mysql2::ResultAsHash] tx, Hash[Symbol, untyped] report_model) -> Hash[Symbol, untyped] - # @rbs tx: Mysql2::Client[Mysql2::ResultAsHash] # @rbs reaction_model: Hash[Symbol, Mysql2::row_value_type] # @rbs returns Hash[Symbol, untyped] def fill_reaction_response: (Mysql2::Client[Mysql2::ResultAsHash] tx, Hash[Symbol, Mysql2::row_value_type] reaction_model) -> Hash[Symbol, untyped] - def self.fill_reaction_response: (Mysql2::Client[Mysql2::ResultAsHash] tx, Hash[Symbol, Mysql2::row_value_type] reaction_model) -> Hash[Symbol, untyped] - # @rbs tx: Mysql2::Client[Mysql2::ResultAsHash] # @rbs user_model: Hash[Symbol, Mysql2::row_value_type] # @rbs returns Hash[Symbol, untyped] def fill_user_response: (Mysql2::Client[Mysql2::ResultAsHash] tx, Hash[Symbol, Mysql2::row_value_type] user_model) -> Hash[Symbol, untyped] - def self.fill_user_response: (Mysql2::Client[Mysql2::ResultAsHash] tx, Hash[Symbol, Mysql2::row_value_type] user_model) -> Hash[Symbol, untyped] - class ReserveLivestreamRequest extend Data::_DataClass attr_reader tags: Array[Integer]