Class: HDLRuby::Low::StringE

Inherits:
Expression
  • Object
show all
Defined in:
lib/HDLRuby/hruby_low.rb,
lib/HDLRuby/hruby_low2vhd.rb,
lib/HDLRuby/hruby_verilog.rb,
lib/HDLRuby/hruby_low2high.rb,
lib/HDLRuby/hruby_low_mutable.rb,
lib/HDLRuby/hruby_low_fix_types.rb,
lib/HDLRuby/hruby_low_bool2select.rb,
lib/HDLRuby/hruby_low_casts_without_expression.rb

Overview

Extends the StringE class with functionality for extracting expressions from cast.

Direct Known Subclasses

High::StringE

Constant Summary

Constants included from Low2Symbol

Low2Symbol::Low2SymbolPrefix, Low2Symbol::Low2SymbolTable, Low2Symbol::Symbol2LowTable

Instance Attribute Summary collapse

Attributes inherited from Expression

#type

Attributes included from Hparent

#parent

Instance Method Summary collapse

Methods inherited from Expression

#boolean?, #break_types!, #each_ref_deep, #extract_selects_to!, #leftvalue?, #replace_expressions!, #replace_names!, #rightvalue?, #set_type!, #statement, #to_c, #to_c_expr, #to_hdr, #use_name?

Methods included from Low2Symbol

#to_sym

Methods included from Hparent

#hierarchy, #no_parent!, #scope

Constructor Details

#initialize(content, *args) ⇒ StringE

Creates a new string whose content is +str+ and is modified using the objects of +args+.



5975
5976
5977
5978
5979
5980
5981
5982
5983
5984
 
# File 'lib/HDLRuby/hruby_low.rb', line 5975

def initialize(content,*args)
    super(StringT)
    # Checks and set the content.
    @content = content.to_s
    # Process the arguments.
    @args = args.map do |arg|
        arg.parent = self 
        arg
    end
end

Instance Attribute Details

#content ⇒ Object (readonly)

Returns the value of attribute content.



5971
5972
5973
 
# File 'lib/HDLRuby/hruby_low.rb', line 5971

def content
  @content
end

Instance Method Details

#boolean_in_assign2select ⇒ Object

Converts booleans in assignments to select operators.



351
352
353
354
355
356
357
 
# File 'lib/HDLRuby/hruby_low_bool2select.rb', line 351

def boolean_in_assign2select
    # Apply on the content.
    # Apply on the arguments.
    return StringE.new(self.content.clone,*self.each_arg.map do |arg|
        arg.boolean_in_assign2select
    end)
end

#casts_without_expression! ⇒ Object

Extracts the expressions from the casts.



369
370
371
372
373
374
 
# File 'lib/HDLRuby/hruby_low_casts_without_expression.rb', line 369

def casts_without_expression!
    # return StringE.new(self.content,
    #                    *self.each_arg.map(&:casts_without_expression))
    self.map_args! {|arg| arg.casts_without_expression! }
    return self
end

#clone ⇒ Object

Clones the string.



6030
6031
6032
 
# File 'lib/HDLRuby/hruby_low.rb', line 6030

def clone
    return StringE.new(@content.clone,*@args.map {|arg| arg.clone})
end

#each_arg(&ruby_block) ⇒ Object

Iterates over each argument.

Returns an enumerator if no ruby block is given.



6005
6006
6007
6008
6009
6010
 
# File 'lib/HDLRuby/hruby_low.rb', line 6005

def each_arg(&ruby_block)
    # No ruby block? Return an enumerator.
    return to_enum(:each_arg) unless ruby_block
    # A ruby block? First apply it to each argument.
    @args.each(&ruby_block)
end

#each_block(&ruby_block) ⇒ Object

Iterates over the sub blocks.



6054
6055
6056
6057
6058
6059
6060
6061
6062
 
# File 'lib/HDLRuby/hruby_low.rb', line 6054

def each_block(&ruby_block)
    # No ruby block? Return an enumerator.
    return to_enum(:each_block) unless ruby_block
    # A ruby block?
    # Recurse on each argument.
    @args.each do |arg|
        arg.each_block(&ruby_block) if arg.respond_to?(:each_block)
    end
end

#each_block_deep(&ruby_block) ⇒ Object

Iterates over all the blocks contained in the current block.



6065
6066
6067
6068
6069
6070
6071
6072
6073
6074
6075
 
# File 'lib/HDLRuby/hruby_low.rb', line 6065

def each_block_deep(&ruby_block)
    # No ruby block? Return an enumerator.
    return to_enum(:each_block_deep) unless ruby_block
    # A ruby block?
    # Recurse on each argument.
    @args.each do |arg|
        if arg.respond_to?(:each_block_deep) then
            arg.each_block_deep(&ruby_block)
        end
    end
end

#each_deep(&ruby_block) ⇒ Object

Iterates over each object deeply.

Returns an enumerator if no ruby block is given.



6015
6016
6017
6018
6019
6020
6021
6022
 
# File 'lib/HDLRuby/hruby_low.rb', line 6015

def each_deep(&ruby_block)
    # No ruby block? Return an enumerator.
    return to_enum(:each_deep) unless ruby_block
    # A ruby block? First apply it to current.
    ruby_block.call(self)
    # Then apply on the arguments.
    self.each_arg(&ruby_block)
end

#each_node(&ruby_block) ⇒ Object

Iterates over the expression children if any.



6035
6036
6037
6038
6039
6040
6041
 
# File 'lib/HDLRuby/hruby_low.rb', line 6035

def each_node(&ruby_block)
    # No ruby block? Return an enumerator.
    return to_enum(:each_node) unless ruby_block
    # A ruby block?
    # Apply it on each argument.
    @args.each(&ruby_block)
end

#each_node_deep(&ruby_block) ⇒ Object

Iterates over the nodes deeply if any.



6044
6045
6046
6047
6048
6049
6050
6051
 
# File 'lib/HDLRuby/hruby_low.rb', line 6044

def each_node_deep(&ruby_block)
    # No ruby block? Return an enumerator.
    return to_enum(:each_node_deep) unless ruby_block
    # A ruby block? First apply it to current.
    ruby_block.call(self)
    # And apply it on each argument.
    @args.each(&ruby_block)
end

#each_statement_deep(&ruby_block) ⇒ Object

Iterates over all the statements contained in the current block.



6078
6079
6080
6081
6082
6083
6084
6085
6086
6087
6088
6089
6090
 
# File 'lib/HDLRuby/hruby_low.rb', line 6078

def each_statement_deep(&ruby_block)
    # No ruby block? Return an enumerator.
    return to_enum(:each_statement_deep) unless ruby_block
    # A ruby block?
    # Apply it on self.
    ruby_block.call(self)
    # Recurse on each argument.
    @args.each do |arg|
        if arg.respond_to?(:each_statement_deep) then
            arg.each_statement_deep(&ruby_block)
        end
    end
end

#eql?(obj) ⇒ Boolean

Comparison for hash: structural comparison.

Returns:

  • (Boolean) 


5993
5994
5995
5996
5997
5998
5999
6000
 
# File 'lib/HDLRuby/hruby_low.rb', line 5993

def eql?(obj)
    return false unless obj.is_a?(StringE)
    return false unless @content.eql?(obj.content)
    return false if @args.each.zip(obj.each_arg).any? do |a0,a1|
        !a0.eql?(a1)
    end
    return true
end

#explicit_types(type = nil) ⇒ Object

Explicit the types conversions in the concat where +type+ is the expected type of the condition if any.



478
479
480
481
 
# File 'lib/HDLRuby/hruby_low_fix_types.rb', line 478

def explicit_types(type = nil)
    return StringE.new(self.content, 
                       *self.each_arg.map(&:explicit_types))
end

#hash ⇒ Object

Hash function.



6025
6026
6027
 
# File 'lib/HDLRuby/hruby_low.rb', line 6025

def hash
    return @args.hash
end

#immutable? ⇒ Boolean

Tells if the expression is immutable (cannot be written.)

Returns:

  • (Boolean) 


5987
5988
5989
5990
 
# File 'lib/HDLRuby/hruby_low.rb', line 5987

def immutable?
    # String objects are always immutable.
    true
end

#map_args!(&ruby_block) ⇒ Object

Maps on the arguments.



1982
1983
1984
1985
1986
1987
1988
 
# File 'lib/HDLRuby/hruby_low_mutable.rb', line 1982

def map_args!(&ruby_block)
    @args.map! do |arg|
        arg = ruby_block.call(arg)
        arg.parent = self unless arg.parent
        arg
    end
end

#map_nodes!(&ruby_block) ⇒ Object

Maps on the children.



1991
1992
1993
 
# File 'lib/HDLRuby/hruby_low_mutable.rb', line 1991

def map_nodes!(&ruby_block)
    self.map_args!(&ruby_block)
end

#to_high ⇒ Object

Creates a new high string expression.



515
516
517
518
 
# File 'lib/HDLRuby/hruby_low2high.rb', line 515

def to_high
    return HDLRuby::High::StringE.new(self.content,
                        *self.each_arg.map {|arg| arg.to_high })
end

#to_verilog(spc = 3) ⇒ Object

Converts the system to Verilog code.



2197
2198
2199
2200
2201
2202
2203
 
# File 'lib/HDLRuby/hruby_verilog.rb', line 2197

def to_verilog(spc = 3)
    code = "\"#{Low.v_string(self.content)}" +
        "#{self.each_arg.map do |arg| 
        to.to_verilog
    end.join(",")}\""
    return code
end

#to_vhdl(level = 0, std_logic = false) ⇒ Object

Generates the text of the equivalent HDLRuby::High code. +level+ is the hierachical level of the object.



1532
1533
1534
1535
1536
 
# File 'lib/HDLRuby/hruby_low2vhd.rb', line 1532

def to_vhdl(level = 0, std_logic = false)
    # Generate a report statement.
    return "\"#{Low2VHDL.vhdl_string(self.content)}\"" +
        self.each_arg.map { |arg| arg.to_vhdl }.join(" & ")
end