# encoding: utf-8

# Workspace instance methods related to Petri net itsef (places, transitions,
# net instances).
# 
module YPetri::World::PetriNetRelated
  # Instance initialization.
  # 
  def initialize
    set_up_Top_net # Sets up :Top net encompassing all places and transitions.
    super
  end

  # Returns a place instance identified by the argument.
  # 
  def place( id )
    Place().instance( id )
  end

  # Returns a transition instance identified by the argument.
  # 
  def transition( id )
    Transition().instance( id )
  end

  # Returns a net instance identified by the argument.
  # 
  def net( id )
    Net().instance( id )
  end

  # Place instances.
  # 
  def places
    Place().instances
  end

  # Transition instances.
  # 
  def transitions
    Transition().instances
  end

  # Net instances.
  # 
  def nets
    Net().instances
  end

  private

  # Creates all-encompassing Net instance named :Top.
  # 
  def set_up_Top_net
    Net().send :new, name: :Top # all-encompassing :Top net
    # Hook new places to add themselves magically to the :Top net.
    Place().new_instance_closure { |new_inst| net( :Top ) << new_inst }
    # Hook new transitions to add themselves magically to the :Top net.
    Transition().new_instance_closure { |new_inst| net( :Top ) << new_inst }
  end
end # module YPetri::World::PetriNetRelated