moguro 0.0.1

checksums.yaml

@@ -0,0 +1,7 @@
+---
+SHA1:
+  metadata.gz: 20d8318dd46d4570fc9c5d140c68fa087145eb8c
+  data.tar.gz: 3a293294e954957648dce4d8114424f7a3e9a2bd
+SHA512:
+  metadata.gz: ac3bf6f2383a37457493cc566549f5f7c6fd5e98f0ede5f73fc9f40ee0a6c72f0b82369d7a222bd216be5578ded7b5813bc7796750d6337128e7a02a33408a15
+  data.tar.gz: 7a627bee4dba295c125602b206d6b5a6b75b543781f64a21221a774ebb8cf3b12141f39fff661cf7faefaa2fb8eeeec1c124c3334dca3442a7aeb5a071f413ca

data/.gitignore

@@ -0,0 +1,10 @@
+/.bundle/
+/.yardoc
+/_yardoc/
+/coverage/
+/doc/
+/pkg/
+/spec/reports/
+/tmp/
+/vendor/
+Gemfile.lock

data/.rspec

@@ -0,0 +1,3 @@
+--format documentation
+--color
+--require spec_helper

data/.rubocop.yml

@@ -0,0 +1,48 @@
+AllCops:
+  TargetRubyVersion: 2.3
+  Exclude:
+      - 'vendor/**/*'
+      - 'test/fixtures/**/*'
+      - 'tmp/**/*'
+
+Metrics/BlockLength:
+  Enabled: false
+
+Metrics/ModuleLength:
+  Enabled: false
+
+Metrics/ClassLength:
+  Enabled: false
+
+Metrics/MethodLength:
+  Max: 50
+
+Metrics/LineLength:
+  Max: 150
+
+Metrics/AbcSize:
+  Exclude:
+    - 'test/**/*'
+
+Style/CaseEquality:
+  Exclude:
+    - 'test/**/*'
+
+Style/AsciiComments:
+  Enabled: false
+
+Style/Lambda:
+  Enabled: false
+
+Naming/ConstantName:
+  Enabled: false
+
+Naming/UncommunicativeMethodParamName:
+  Exclude:
+    - 'test/**/*'
+
+Lint/Void:
+ Exclude:
+    - 'test/**/*'
+
+

data/.travis.yml

@@ -0,0 +1,9 @@
+sudo: false
+language: ruby
+rvm:
+  - 2.3.7
+  - 2.4.2
+  - 2.5
+before_install: gem install bundler -v 1.16.1
+env:
+  - CI=true

data/.yardopts

@@ -0,0 +1 @@
+--markup markdown --title "numeja Documentation" --protected

data/CODE_OF_CONDUCT.md

@@ -0,0 +1,74 @@
+# Contributor Covenant Code of Conduct
+
+## Our Pledge
+
+In the interest of fostering an open and welcoming environment, we as
+contributors and maintainers pledge to making participation in our project and
+our community a harassment-free experience for everyone, regardless of age, body
+size, disability, ethnicity, gender identity and expression, level of experience,
+nationality, personal appearance, race, religion, or sexual identity and
+orientation.
+
+## Our Standards
+
+Examples of behavior that contributes to creating a positive environment
+include:
+
+* Using welcoming and inclusive language
+* Being respectful of differing viewpoints and experiences
+* Gracefully accepting constructive criticism
+* Focusing on what is best for the community
+* Showing empathy towards other community members
+
+Examples of unacceptable behavior by participants include:
+
+* The use of sexualized language or imagery and unwelcome sexual attention or
+advances
+* Trolling, insulting/derogatory comments, and personal or political attacks
+* Public or private harassment
+* Publishing others' private information, such as a physical or electronic
+  address, without explicit permission
+* Other conduct which could reasonably be considered inappropriate in a
+  professional setting
+
+## Our Responsibilities
+
+Project maintainers are responsible for clarifying the standards of acceptable
+behavior and are expected to take appropriate and fair corrective action in
+response to any instances of unacceptable behavior.
+
+Project maintainers have the right and responsibility to remove, edit, or
+reject comments, commits, code, wiki edits, issues, and other contributions
+that are not aligned to this Code of Conduct, or to ban temporarily or
+permanently any contributor for other behaviors that they deem inappropriate,
+threatening, offensive, or harmful.
+
+## Scope
+
+This Code of Conduct applies both within project spaces and in public spaces
+when an individual is representing the project or its community. Examples of
+representing a project or community include using an official project e-mail
+address, posting via an official social media account, or acting as an appointed
+representative at an online or offline event. Representation of a project may be
+further defined and clarified by project maintainers.
+
+## Enforcement
+
+Instances of abusive, harassing, or otherwise unacceptable behavior may be
+reported by contacting the project team at TODO: Write your email address. All
+complaints will be reviewed and investigated and will result in a response that
+is deemed necessary and appropriate to the circumstances. The project team is
+obligated to maintain confidentiality with regard to the reporter of an incident.
+Further details of specific enforcement policies may be posted separately.
+
+Project maintainers who do not follow or enforce the Code of Conduct in good
+faith may face temporary or permanent repercussions as determined by other
+members of the project's leadership.
+
+## Attribution
+
+This Code of Conduct is adapted from the [Contributor Covenant][homepage], version 1.4,
+available at [http://contributor-covenant.org/version/1/4][version]
+
+[homepage]: http://contributor-covenant.org
+[version]: http://contributor-covenant.org/version/1/4/

data/Gemfile

@@ -0,0 +1,8 @@
+# frozen_string_literal: true
+
+source 'https://rubygems.org'
+
+git_source(:github) { |repo_name| "https://github.com/#{repo_name}" }
+
+# Specify your gem's dependencies in moguro.gemspec
+gemspec

data/LICENSE.txt

@@ -0,0 +1,21 @@
+The MIT License (MIT)
+
+Copyright (c) 2018 TODO: Write your name
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in
+all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+THE SOFTWARE.

data/README.md

@@ -0,0 +1,91 @@
+# Moguro  [![Gem Version](https://badge.fury.io/rb/moguro.svg)](https://badge.fury.io/rb/moguro) [![Build Status](https://travis-ci.org/rike422/moguro.svg?branch=master)](https://travis-ci.org/rike422/moguro)  [![Code Climate](https://codeclimate.com/github/rike422/moguro/badges/gpa.svg)](https://codeclimate.com/github/rike422/moguro) [![Coverage Status](https://coveralls.io/repos/github/rike422/moguro/badge.svg?branch=master)](https://coveralls.io/github/rike422/moguro?branch=master)
+                   
+
+Decorator style assertions and type check library for Contract programming
+
+This gem is still in development and it isnt available to production.
+
+## Installation
+
+Add this line to your application's Gemfile:
+
+```ruby
+gem 'moguro'
+```
+
+And then execute:
+
+    $ bundle
+
+Or install it yourself as:
+
+    $ gem install moguro
+
+## Usage
+
+```ruby
+require 'moguro'
+
+class MockClass
+  include Moguro::Decorator
+  
+  # Must match argument names of decorate method
+  pre_c ->(a: Integer, b: String) {
+    assert_equal(a, 1)
+    assert_equal(b, 'b')
+  }
+ 
+  def puts_method(a, b)
+    puts b
+    a + 1
+  end
+  
+  # Return values are auto assigned in order
+  post_c -> (first: String) {
+    p first
+  }
+  def post_contract_violation_method
+    1
+  end
+  
+end
+
+c = MockClass.new
+c.puts_method(1, 'b')
+# 1
+# => 2
+
+begin 
+  c.puts_method('a', 1)
+rescue => e
+  p e
+end
+# =>
+# Type MissMatch: a is expected (Integer) actual a(String) (Moguro::Errors::ArgumentsTypeMismatchError)
+# Expected: [a: (Integer), b: (String)]
+# Actual: [a: a(String), b: 1(Integer)]
+# Value guarded in: MockClass::puts_method
+# At: #{source_location}
+
+begin
+  c.post_contract_violation_method
+rescue => e
+  p e
+end
+
+# =>
+# Type MissMatch: first is expected (String) actual 1(Integer)
+#  Expected: [first: (String)]
+#  Actual: [first: 1(Integer)]
+#  Value guarded in: MockClass::post_contract_violation_method
+#  At: #{source_location}
+
+```
+
+## License
+
+The gem is available as open source under the terms of the [MIT License](https://opensource.org/licenses/MIT).
+
+## Code of Conduct
+
+Everyone interacting in the Moguro project’s codebases, issue trackers, chat rooms and mailing lists is expected to follow the [code of conduct](https://github.com/[USERNAME]/moguro/blob/master/CODE_OF_CONDUCT.md).

data/Rakefile

@@ -0,0 +1,12 @@
+# frozen_string_literal: true
+
+require 'bundler/gem_tasks'
+require 'rake/testtask'
+
+Rake::TestTask.new(:test) do |t|
+  t.libs << 'test'
+  t.libs << 'lib'
+  t.test_files = FileList['test/**/*_test.rb']
+end
+
+task default: :test

data/example.rb

@@ -0,0 +1,64 @@
+require 'moguro'
+
+class MockClass
+  include Moguro::Decorator
+  pre_c ->(a: Integer, b: String) {
+    assert_equal(b, 'b')
+  }
+
+  # auto assign return value
+  post_c -> (first: Integer) {
+    p first
+    assert_equal(first, 2)
+  }
+
+  def puts_method(a, b)
+    puts b
+    a + 1
+  end
+
+  post_c -> (first: String) {
+    p first
+  }
+  def post_contract_violation_method
+    1
+  end
+end
+
+c = MockClass.new
+
+c.puts_method(1, 'b')
+# => 1
+# => b
+
+begin
+  c.puts_method('a', 1)
+rescue => e
+  p e
+end
+
+# =>
+# ArgumentsTypeError => Type MissMatch: a is expected (Integer) actual a(String) (Moguro::Errors::ArgumentsTypeMismatchError)
+# Expected: [a: (Integer), b: (String)]
+# Actual: [a: a(String), b: 1(Integer)]
+# Value guarded in: MockClass::puts_method
+# At: #{source_location}
+
+begin
+  c.puts_method(1, 'b')
+rescue => e
+  p e
+end
+
+
+begin
+  c.post_contract_violation_method
+rescue => e
+  p e
+end
+
+begin
+  c.puts_method(2, 'b')
+rescue => e
+  p e
+end

data/lib/moguro.rb

@@ -0,0 +1,33 @@
+# frozen_string_literal: true
+
+require 'moguro/version'
+require 'parser/current'
+require 'method_source'
+require 'delegate'
+
+# 'Easy' contract programming library for ruby
+# @since 0.0.1
+module Moguro
+  class << self
+    attr_writer :enabled
+
+    def enabled=(bool)
+      @enabled = bool
+    end
+
+    def enabled?
+      @enabled ||= true
+    end
+  end
+end
+
+require 'moguro/values'
+require 'moguro/errors'
+require 'moguro/types'
+require 'moguro/extractor'
+require 'moguro/method_reference'
+require 'moguro/caluse'
+require 'moguro/contract'
+require 'moguro/handler'
+require 'moguro/decorator'
+require 'moguro/processros'

data/lib/moguro/caluse.rb

@@ -0,0 +1,90 @@
+# frozen_string_literal: true
+
+module Moguro
+  class DataTypeClause
+    attr_reader :key
+
+    def initialize(key)
+      @types = []
+      @key = key
+    end
+
+    def add_type(type)
+      @types << type
+    end
+
+    def pop_type
+      @types.pop
+    end
+
+    def types
+      if @types.empty?
+        [Moguro::Types::Any.new]
+      else
+        @types
+      end
+    end
+
+    def type_inspect
+      klasses = types.map(&:type)
+      "(#{klasses.join('|')})"
+    end
+
+    def inspect
+      "#{key}: #{type_inspect}"
+    end
+
+    def verify!(val)
+      return if types.empty?
+      raise Moguro::Errors::TypeMismatchError.new(self, val) if types.none? { |c| c.valid?(val) }
+    end
+  end
+
+  class Clauses < DelegateClass(Array)
+    ###
+    # @private
+    ###
+    def initialize
+      super([])
+    end
+
+    def add_verified_argument(argument_key)
+      self << DataTypeClause.new(argument_key)
+    end
+
+    ###
+    # Validation arguments
+    # @param args Moguro::ArgumentsExtractor::Values
+    ###
+    def verify!(args)
+      verify_arguments!(args)
+    end
+
+    def inspect
+      map(&:inspect)
+    end
+
+    private
+
+    def verify_arguments!(args)
+      verify_arguments_length!(args)
+      verify_arguments_types!(args)
+    end
+
+    def verify_arguments_length!(args)
+      missing_keys = args.select(&:missing?).map(&:key)
+      raise Moguro::Errors::ArgumentError, "Missing required parameters at ##{@name}: #{missing_keys.join(', ')}" if missing_keys.any?
+    end
+
+    def verify_arguments_types!(args)
+      each do |clause|
+        args_i = args.index { |a| a.key == clause.key }
+        clause.verify!(args[args_i])
+      end
+    rescue Moguro::Errors::TypeMismatchError => e
+      e.actual = args
+      e.expected = self
+      raise e
+    end
+  end
+end