petri-dsl 0.1.0

checksums.yaml

@@ -0,0 +1,7 @@
+---
+SHA256:
+  metadata.gz: f2e766fe17ad24973f882bf0abbc8ccc4fb1e194099da69c1b8eeba5127b923b
+  data.tar.gz: 86df851c947b96f4b262e62e7e9d8e911a68ad10e49585b5e578d7ae41a69718
+SHA512:
+  metadata.gz: 0c396c291a966d3d6c396c5d190e85f56870336d0f11240f9e8e4c74f316f652397013c52589f4a0d2e61686a71ae1275982980affb07f8018aa91750c29d58b
+  data.tar.gz: cc374b930af65407d31c2139049679fc359f7d7c721924375ef89b6489e14377553278d1b28992e3be86ce9a6deefd16997fc0723b20c3c457aa689250924d70

data/.gitignore

@@ -0,0 +1,8 @@
+/.bundle/
+/.yardoc
+/_yardoc/
+/coverage/
+/doc/
+/pkg/
+/spec/reports/
+/tmp/

data/.travis.yml

@@ -0,0 +1,6 @@
+---
+language: ruby
+cache: bundler
+rvm:
+  - 2.7.0
+before_install: gem install bundler -v 2.1.2

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 dsh0416@gmail.com. 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 [https://contributor-covenant.org/version/1/4][version]
+
+[homepage]: https://contributor-covenant.org
+[version]: https://contributor-covenant.org/version/1/4/

data/Gemfile

@@ -0,0 +1,7 @@
+source "https://rubygems.org"
+
+# Specify your gem's dependencies in petri-dsl.gemspec
+gemspec
+
+gem "rake", "~> 12.0"
+gem "minitest", "~> 5.0"

data/Gemfile.lock

@@ -0,0 +1,21 @@
+PATH
+  remote: .
+  specs:
+    petri-dsl (0.1.0)
+
+GEM
+  remote: https://rubygems.org/
+  specs:
+    minitest (5.14.0)
+    rake (12.3.3)
+
+PLATFORMS
+  ruby
+
+DEPENDENCIES
+  minitest (~> 5.0)
+  petri-dsl!
+  rake (~> 12.0)
+
+BUNDLED WITH
+   2.1.2

data/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2020 Delton Ding
+
+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,62 @@
+# Petri::Dsl
+
+## Installation
+
+Add this line to your application's Gemfile:
+
+```ruby
+gem 'petri-dsl'
+```
+
+And then execute:
+
+    $ bundle install
+
+Or install it yourself as:
+
+    $ gem install petri-dsl
+
+## Usage
+
+```ruby
+require 'petri'
+
+network = Petri::Net.new do |net|
+    net.start_place :start, name: 'Start'
+    net.end_place :end, name: 'End'
+
+    net.transition :leader_evaluate, name: 'Leader Evaluate', consume: :start do |t|
+    t.produce :leader_approved, name: 'Leader Approved', with_guard: :approved
+    t.produce :rejected, name: 'Rejected', with_guard: :rejected
+    end
+
+    net.transition :hr_evaluate, name: 'HR Evaluate', consume: :leader_approved do |t|
+    t.produce :hr_approved, name: 'HR Approved', with_guard: :approved
+    t.produce :rejected, with_guard: :rejected
+    end
+
+    net.transition :report_back, name: 'Report Back', consume: :hr_approved, produce: :end
+
+    net.transition :resend_request, name: 'Resend Request', consume: :rejected do |t|
+    t.produce :start, with_guard: :resend
+    t.produce :end, with_guard: :discard
+    end
+end
+
+puts network.compile
+
+# {:places=>[{:label=>:start, :name=>"Start"}, {:label=>:end, :name=>"End"}, {:label=>:leader_approved, :name=>"Leader Approved"}, {:label=>:rejected, :name=>"Rejected"}, {:label=>:hr_approved, :name=>"HR Approved"}], :transitions=>[{:label=>:leader_evaluate, :name=>"Leader Evaluate", :consume=>[:start], :produce=>[{:label=>:leader_approved, :guard=>:approved}, {:label=>:rejected, :guard=>:rejected}]}, {:label=>:hr_evaluate, :name=>"HR Evaluate", :consume=>[:leader_approved], :produce=>[{:label=>:hr_approved, :guard=>:approved}, {:label=>:rejected, :guard=>:rejected}]}, {:label=>:report_back, :name=>"Report Back", :consume=>[:hr_approved], :produce=>[{:label=>:end, :guard=>nil}]}, {:label=>:resend_request, :name=>"Resend Request", :consume=>[:rejected], :produce=>[{:label=>:start, :guard=>:resend}, {:label=>:end, :guard=>:discard}]}], :start_place=>:start, :end_place=>:end}
+```
+
+## Contributing
+
+Bug reports and pull requests are welcome on GitHub at https://github.com/[USERNAME]/petri-dsl. This project is intended to be a safe, welcoming space for collaboration, and contributors are expected to adhere to the [code of conduct](https://github.com/[USERNAME]/petri-dsl/blob/master/CODE_OF_CONDUCT.md).
+
+
+## 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 Petri::Dsl project's codebases, issue trackers, chat rooms and mailing lists is expected to follow the [code of conduct](https://github.com/[USERNAME]/petri-dsl/blob/master/CODE_OF_CONDUCT.md).

data/Rakefile

@@ -0,0 +1,10 @@
+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/lib/petri/net.rb

@@ -0,0 +1,42 @@
+class Petri::Net
+  def initialize(options={}, &block)
+    @places = []
+    @transitions = []
+    @start = nil
+    @end = nil
+    block.call(self)
+  end
+
+  def add_place(place, options={})
+    entity = place if place.is_a? Petri::Place
+    entity = Petri::Place.new(place, options)
+
+    @places << entity unless @places.include?(entity)
+    entity
+  end
+
+  def start_place(label, options={})
+    place = add_place(label, options)
+    @start = place.label
+  end
+
+  def end_place(label, options={})
+    place = add_place(label, options)
+    @end = place.label
+  end
+
+  def transition(label, options={}, &block)
+    raise TypeError unless label.is_a? Symbol
+    raise ArgumentError if @transitions.include? label
+    @transitions << Petri::Transition.new(self, label, options, &block)
+  end
+
+  def compile
+    {
+      places: @places.map { |place| place.compile },
+      transitions: @transitions.map { |transition| transition.compile },
+      start_place: @start,
+      end_place: @end,
+    }
+  end
+end

data/lib/petri/place.rb

@@ -0,0 +1,26 @@
+class Petri::Place
+  attr_reader :label, :name
+  def initialize(label, options={})
+    raise TypeError unless label.is_a? Symbol
+
+    name = options[:name] || label.to_s
+    raise TypeError unless name.is_a? String
+
+    @label = label
+    @name = name
+  end
+
+  def compile
+    {
+      label: @label,
+      name: @name,
+    }
+  end
+
+  def eql?(other)
+    return @label == other.label if other.is_a? Petri::Place
+    false
+  end
+
+  alias_method :==, :eql?
+end

data/lib/petri/transition.rb

@@ -0,0 +1,56 @@
+class Petri::Transition
+  attr_reader :label, :name, :consumption, :production
+
+  def initialize(net, label, options={}, &block)
+    raise TypeError unless net.is_a? ::Petri::Net
+    @net = net
+
+    raise TypeError unless label.is_a? Symbol
+    @label = label
+
+    @name = options[:name] || label.to_s
+    raise TypeError unless name.is_a? String
+
+    @consumption = []
+    @production = []
+
+    consume(options[:consume]) unless options[:consume].nil?
+    produce(options[:produce]) unless options[:produce].nil?
+
+    block.call(self) unless block.nil?
+  end
+
+  def consume(label, options={})
+    @net.add_place(label, options)
+    @consumption << label if label.is_a? Symbol
+    if label.is_a? Array
+      for place in label
+        raise TypeError unless place.is_a? Symbol
+        @consumption << place
+      end
+    end
+  end
+
+  def produce(label, options={})
+    @net.add_place(label, options)
+    raise TypeError unless (options[:with_guard].is_a? Symbol or options[:with_guard].nil?)
+    guard = options[:with_guard]
+
+    @production << {label: label, guard: guard} if label.is_a? Symbol
+    if label.is_a? Array
+      for place in label
+        raise TypeError unless place.is_a? Symbol
+        @production << {label: label, guard: guard}
+      end
+    end
+  end
+
+  def compile
+    {
+      label: @label,
+      name: @name,
+      consume: @consumption,
+      produce: @production,
+    }
+  end
+end

data/lib/petri/version.rb

@@ -0,0 +1,3 @@
+module Petri
+  VERSION = "0.1.0"
+end

data/lib/petri.rb

@@ -0,0 +1,8 @@
+require "petri/version"
+
+module Petri
+end
+
+require "petri/place"
+require "petri/transition"
+require "petri/net"

data/petri-dsl.gemspec

@@ -0,0 +1,26 @@
+require_relative 'lib/petri/version'
+
+Gem::Specification.new do |spec|
+  spec.name          = "petri-dsl"
+  spec.version       = Petri::VERSION
+  spec.authors       = ["Delton Ding"]
+  spec.email         = ["dsh0416@gmail.com"]
+
+  spec.summary       = ""
+  spec.description   = ""
+  spec.homepage      = "https://github.com/dsh0416/petri-dsl"
+  spec.license       = "MIT"
+  spec.required_ruby_version = Gem::Requirement.new(">= 2.3.0")
+
+  spec.metadata["homepage_uri"] = spec.homepage
+  spec.metadata["source_code_uri"] = "https://github.com/dsh0416/petri-dsl"
+
+  # Specify which files should be added to the gem when it is released.
+  # The `git ls-files -z` loads the files in the RubyGem that have been added into git.
+  spec.files         = Dir.chdir(File.expand_path('..', __FILE__)) do
+    `git ls-files -z`.split("\x0").reject { |f| f.match(%r{^(test|spec|features)/}) }
+  end
+  spec.bindir        = "exe"
+  spec.executables   = spec.files.grep(%r{^exe/}) { |f| File.basename(f) }
+  spec.require_paths = ["lib"]
+end

metadata

@@ -0,0 +1,59 @@
+--- !ruby/object:Gem::Specification
+name: petri-dsl
+version: !ruby/object:Gem::Version
+  version: 0.1.0
+platform: ruby
+authors:
+- Delton Ding
+autorequire: 
+bindir: exe
+cert_chain: []
+date: 2020-02-13 00:00:00.000000000 Z
+dependencies: []
+description: ''
+email:
+- dsh0416@gmail.com
+executables: []
+extensions: []
+extra_rdoc_files: []
+files:
+- ".gitignore"
+- ".travis.yml"
+- CODE_OF_CONDUCT.md
+- Gemfile
+- Gemfile.lock
+- LICENSE
+- README.md
+- Rakefile
+- lib/petri.rb
+- lib/petri/net.rb
+- lib/petri/place.rb
+- lib/petri/transition.rb
+- lib/petri/version.rb
+- petri-dsl.gemspec
+homepage: https://github.com/dsh0416/petri-dsl
+licenses:
+- MIT
+metadata:
+  homepage_uri: https://github.com/dsh0416/petri-dsl
+  source_code_uri: https://github.com/dsh0416/petri-dsl
+post_install_message: 
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: 2.3.0
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubygems_version: 3.1.2
+signing_key: 
+specification_version: 4
+summary: ''
+test_files: []