Module: HDLRuby::High::Htype
- Includes:
- Tprocess
- Included in:
- Type, TypeDef, TypeStruct, TypeTuple, TypeVector
- Defined in:
- lib/HDLRuby/hruby_high.rb,
lib/HDLRuby/std/sequencer_sync.rb
Overview
Enhance the Htype module for creating a shared signal.
Constant Summary collapse
Class Method Summary collapse
-
.included(base) ⇒ Object
Ensures initialize registers the type name.
Instance Method Summary collapse
-
#[](rng) ⇒ Object
Creates a new vector type of range +rng+ and with current type as base.
-
#binary(operator, expr0, expr1) ⇒ Object
Performs binary operation +operator+ on expressions +expr0+ and +expr1+.
-
#comp_operator(op) ⇒ Object
Gets the computation method for +operator+.
-
#constant(hsh) ⇒ Object
Declares high-level untyped constant signals by name and value given by +hsh+ of the current type.
-
#define_operator(operator, &ruby_block) ⇒ Object
Redefinition of +operator+.
-
#define_operator_with_context(operator, &ruby_block) ⇒ Object
Redefinition of +operator+ when requiring the context to be passed as argument (normally only used internally).
-
#each_overload(&ruby_block) ⇒ Object
Interates over the overloaded operators.
-
#htype? ⇒ Boolean
Tells htype has been included.
-
#inner(*names) ⇒ Object
Declares high-level untyped inner signals named +names+ of the current type.
-
#inout(*names) ⇒ Object
Declares high-level untyped inout signals named +names+ of the current type.
-
#input(*names) ⇒ Object
Declares high-level input signals named +names+ of the current type.
-
#left ⇒ Object
Gets the type as left value.
-
#name=(name) ⇒ Object
Sets the +name+.
-
#output(*names) ⇒ Object
Declares high-level untyped output signals named +names+ of the current type.
-
#register(name) ⇒ Object
Register the +name+ of the type.
-
#right ⇒ Object
Gets the type as right value.
-
#shared(*args) ⇒ Object
Create new shared signals from +args+.
-
#to_type ⇒ Object
Converts to a type.
-
#typedef(name) ⇒ Object
Declares a new type definition with +name+ equivalent to current one.
-
#unary(operator, expr) ⇒ Object
Performs unary operation +operator+ on expression +expr+.
Methods included from Tprocess
#&, #*, #+, #+@, #-@, #/, #<<, #==, #abs, #lr, #make, #resolve, #slice, #~
Class Method Details
.included(base) ⇒ Object
Ensures initialize registers the type name
1565 1566 1567 1568 1569 1570 1571 1572 1573 1574 |
# File 'lib/HDLRuby/hruby_high.rb', line 1565 def self.included(base) # built-in Ruby hook for modules base.class_eval do original_method = instance_method(:initialize) define_method(:initialize) do |*args, &block| original_method.bind(self).call(*args, &block) # Registers the name (if not empty). self.register(name) unless name.empty? end end end |
Instance Method Details
#[](rng) ⇒ Object
Creates a new vector type of range +rng+ and with current type as base.
1646 1647 1648 |
# File 'lib/HDLRuby/hruby_high.rb', line 1646 def [](rng) return TypeVector.new(:"",self,rng) end |
#binary(operator, expr0, expr1) ⇒ Object
Performs binary operation +operator+ on expressions +expr0+ and +expr1+.
1705 1706 1707 1708 1709 1710 1711 1712 1713 1714 1715 1716 |
# File 'lib/HDLRuby/hruby_high.rb', line 1705 def binary(operator, expr0, expr1) # Look for a specific computation method. comp = comp_operator(operator) if self.respond_to?(comp) then # Found, use it. self.send(comp,expr0,expr1) else # Not found, back to default generation of binary expression. return Binary.new(self.send(operator,expr1.type),operator, expr0,expr1) end end |
#comp_operator(op) ⇒ Object
Gets the computation method for +operator+.
1686 1687 1688 |
# File 'lib/HDLRuby/hruby_high.rb', line 1686 def comp_operator(op) return (op.to_s + ":C").to_sym end |
#constant(hsh) ⇒ Object
Declares high-level untyped constant signals by name and value given by +hsh+ of the current type.
1679 1680 1681 |
# File 'lib/HDLRuby/hruby_high.rb', line 1679 def constant(hsh) High.top_user.make_constants(self,hsh) end |
#define_operator(operator, &ruby_block) ⇒ Object
Redefinition of +operator+.
1719 1720 1721 1722 1723 1724 1725 1726 1727 1728 1729 1730 1731 1732 |
# File 'lib/HDLRuby/hruby_high.rb', line 1719 def define_operator(operator,&ruby_block) # Ensure there is a block. ruby_block = proc {} unless block_given? # Register the operator as overloaded. @overloads ||= {} @overloads[operator] = ruby_block # Set the new method for the operator. self.define_singleton_method(comp_operator(operator)) do |*args| # puts "Top user=#{HDLRuby::High.top_user}" HDLRuby::High.top_user.sub(HDLRuby.uniq_name) do ruby_block.call(*args) end end end |
#define_operator_with_context(operator, &ruby_block) ⇒ Object
Redefinition of +operator+ when requiring the context to be passed as argument (normally only used internally).
1736 1737 1738 1739 1740 1741 1742 1743 1744 1745 1746 1747 1748 1749 1750 1751 |
# File 'lib/HDLRuby/hruby_high.rb', line 1736 def define_operator_with_context(operator,&ruby_block) # Ensure there is a block. ruby_block = proc {} unless block_given? # Register the operator as overloaded. @overloads ||= {} @overloads[operator] = ruby_block # Set the new method for the operator. self.define_singleton_method(comp_operator(operator)) do |*args| # puts "Top user=#{HDLRuby::High.top_user}" HDLRuby::High.top_user.sub(HDLRuby.uniq_name) do # It is assumed that the first argument of the ruby_block # is the context in which it must be executed. ruby_block.call(self,*args) end end end |
#each_overload(&ruby_block) ⇒ Object
Interates over the overloaded operators.
1754 1755 1756 1757 1758 1759 |
# File 'lib/HDLRuby/hruby_high.rb', line 1754 def each_overload(&ruby_block) # No ruby block? Return an enumerator. return to_enum(:each_overload) unless ruby_block # A block? Apply it on each overload if any. @overloads.each(&ruby_block) if @overloads end |
#htype? ⇒ Boolean
Tells htype has been included.
1577 1578 1579 |
# File 'lib/HDLRuby/hruby_high.rb', line 1577 def htype? return true end |
#inner(*names) ⇒ Object
Declares high-level untyped inner signals named +names+ of the current type.
1673 1674 1675 |
# File 'lib/HDLRuby/hruby_high.rb', line 1673 def inner(*names) High.top_user.make_inners(self,*names) end |
#inout(*names) ⇒ Object
Declares high-level untyped inout signals named +names+ of the current type.
1666 1667 1668 1669 |
# File 'lib/HDLRuby/hruby_high.rb', line 1666 def inout(*names) # High.top_user.make_inouts(self.instantiate,*names) High.top_user.make_inouts(self,*names) end |
#input(*names) ⇒ Object
Declares high-level input signals named +names+ of the current type.
1653 1654 1655 |
# File 'lib/HDLRuby/hruby_high.rb', line 1653 def input(*names) High.top_user.make_inputs(self,*names) end |
#left ⇒ Object
Gets the type as left value.
NOTE: used for asymetric types like TypeSystemI.
1619 1620 1621 1622 |
# File 'lib/HDLRuby/hruby_high.rb', line 1619 def left # By default self. self end |
#name=(name) ⇒ Object
Sets the +name+.
NOTE: can only be done if the name is not already set.
1590 1591 1592 1593 1594 1595 1596 1597 1598 1599 1600 1601 1602 |
# File 'lib/HDLRuby/hruby_high.rb', line 1590 def name=(name) unless @name.empty? then raise AnyError, "Name of type already set to: #{@name}." end # Checks and sets the name. name = name.to_sym if name.empty? then raise AnyError, "Cannot set an empty name." end @name = name # Registers the name. self.register(name) end |
#output(*names) ⇒ Object
Declares high-level untyped output signals named +names+ of the current type.
1659 1660 1661 1662 |
# File 'lib/HDLRuby/hruby_high.rb', line 1659 def output(*names) # High.top_user.make_outputs(self.instantiate,*names) High.top_user.make_outputs(self,*names) end |
#register(name) ⇒ Object
Register the +name+ of the type.
1605 1606 1607 1608 1609 1610 1611 1612 1613 |
# File 'lib/HDLRuby/hruby_high.rb', line 1605 def register(name) if self.name.empty? then raise AnyError, "Cannot register with empty name." else # Sets the hdl-like access to the type. obj = self # For using the right self within the proc High.space_reg(name) { obj } end end |
#right ⇒ Object
Gets the type as right value.
NOTE: used for asymetric types like TypeSystemI.
1627 1628 1629 1630 |
# File 'lib/HDLRuby/hruby_high.rb', line 1627 def right # By default self. self end |
#shared(*args) ⇒ Object
Create new shared signals from +args+. +args+ can be a name of list of names or a hash associating names to default values.
360 361 362 363 364 365 366 367 368 369 370 371 372 373 374 |
# File 'lib/HDLRuby/std/sequencer_sync.rb', line 360 def shared(*args) # # Process the arguments. # Create the shared signal. sig = nil args.each do |arg| if arg.is_a?(Hash) then arg.each do |k,v| sig = SharedSignalI.new(self,k,v) end else sig = SharedSignalI.new(self,arg) end end return sig end |
#to_type ⇒ Object
Converts to a type. Returns self since it is already a type.
1583 1584 1585 |
# File 'lib/HDLRuby/hruby_high.rb', line 1583 def to_type return self end |
#typedef(name) ⇒ Object
Declares a new type definition with +name+ equivalent to current one.
1635 1636 1637 1638 1639 1640 1641 1642 |
# File 'lib/HDLRuby/hruby_high.rb', line 1635 def typedef(name) # Create the new type. typ = TypeDef.new(name,self) # Register it. High.space_reg(name) { typ } # Return it. return typ end |
#unary(operator, expr) ⇒ Object
Performs unary operation +operator+ on expression +expr+.
1691 1692 1693 1694 1695 1696 1697 1698 1699 1700 1701 |
# File 'lib/HDLRuby/hruby_high.rb', line 1691 def unary(operator,expr) # Look for a specific computation method. comp = comp_operator(operator) if self.respond_to?(comp) then # Found, use it. self.send(comp,expr) else # Not found, back to default generation of unary expression. return Unary.new(self.send(operator),operator,expr) end end |