Module: HDLRuby::High::Htype
- Includes:
- Tprocess
- Included in:
- Type, TypeDef, TypeStruct, TypeTuple, TypeVector
- Defined in:
- lib/HDLRuby/hruby_high.rb
Overview
Module bringing high-level properties to Type classes.
NOTE: by default a type is not specified.
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+.
-
#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.
-
#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
1351 1352 1353 1354 1355 1356 1357 1358 1359 1360 |
# File 'lib/HDLRuby/hruby_high.rb', line 1351 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.
1432 1433 1434 |
# File 'lib/HDLRuby/hruby_high.rb', line 1432 def [](rng) return TypeVector.new(:"",self,rng) end |
#binary(operator, expr0, expr1) ⇒ Object
Performs binary operation +operator+ on expressions +expr0+ and +expr1+.
1491 1492 1493 1494 1495 1496 1497 1498 1499 1500 1501 1502 |
# File 'lib/HDLRuby/hruby_high.rb', line 1491 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+.
1472 1473 1474 |
# File 'lib/HDLRuby/hruby_high.rb', line 1472 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.
1465 1466 1467 |
# File 'lib/HDLRuby/hruby_high.rb', line 1465 def constant(hsh) High.top_user.make_constants(self,hsh) end |
#define_operator(operator, &ruby_block) ⇒ Object
Redefinition of +operator+.
1505 1506 1507 1508 1509 1510 1511 1512 1513 1514 1515 1516 1517 1518 |
# File 'lib/HDLRuby/hruby_high.rb', line 1505 def define_operator(operator,&ruby_block) # 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.instance_exec do sub do HDLRuby::High.top_user.instance_exec(*args,&ruby_block) end end end end |
#each_overload(&ruby_block) ⇒ Object
Interates over the overloaded operators.
1521 1522 1523 1524 1525 1526 |
# File 'lib/HDLRuby/hruby_high.rb', line 1521 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.
1363 1364 1365 |
# File 'lib/HDLRuby/hruby_high.rb', line 1363 def htype? return true end |
#inner(*names) ⇒ Object
Declares high-level untyped inner signals named +names+ of the current type.
1459 1460 1461 |
# File 'lib/HDLRuby/hruby_high.rb', line 1459 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.
1452 1453 1454 1455 |
# File 'lib/HDLRuby/hruby_high.rb', line 1452 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.
1439 1440 1441 |
# File 'lib/HDLRuby/hruby_high.rb', line 1439 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.
1405 1406 1407 1408 |
# File 'lib/HDLRuby/hruby_high.rb', line 1405 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.
1376 1377 1378 1379 1380 1381 1382 1383 1384 1385 1386 1387 1388 |
# File 'lib/HDLRuby/hruby_high.rb', line 1376 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.
1445 1446 1447 1448 |
# File 'lib/HDLRuby/hruby_high.rb', line 1445 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.
1391 1392 1393 1394 1395 1396 1397 1398 1399 |
# File 'lib/HDLRuby/hruby_high.rb', line 1391 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.
1413 1414 1415 1416 |
# File 'lib/HDLRuby/hruby_high.rb', line 1413 def right # By default self. self end |
#to_type ⇒ Object
Converts to a type. Returns self since it is already a type.
1369 1370 1371 |
# File 'lib/HDLRuby/hruby_high.rb', line 1369 def to_type return self end |
#typedef(name) ⇒ Object
Declares a new type definition with +name+ equivalent to current one.
1421 1422 1423 1424 1425 1426 1427 1428 |
# File 'lib/HDLRuby/hruby_high.rb', line 1421 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+.
1477 1478 1479 1480 1481 1482 1483 1484 1485 1486 1487 |
# File 'lib/HDLRuby/hruby_high.rb', line 1477 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 |