Class: ArrayType

Inherits:

Type

• Object
• Node
• Type
• ArrayType

Includes:

HasType

Defined in:

lib/tecsgen/core/types.rb

Direct Known Subclasses

CArrayType

Instance Method Summary

• #check ⇒ Object

  意味的誤りがあれば、文字列を返す.

• #check_init(locale, ident, initializer, kind, attribute = nil) ⇒ Object
• #check_struct_tag(kind) ⇒ Object
• #get_subscript ⇒ Object
• #get_type ⇒ Object
• #get_type_str ⇒ Object
• #get_type_str_post ⇒ Object
• #has_pointer? ⇒ Boolean
• #has_sized_pointer? ⇒ Boolean
• #has_unsized_string? ⇒ Boolean
• #initialize(subscript = nil) ⇒ ArrayType constructor

  A new instance of ArrayType.

• #is_const? ⇒ Boolean

  配列要素が const なら const.

• #is_volatile? ⇒ Boolean

  配列要素が volatile なら volatile.

• #set_qualifier(qualifier) ⇒ Object

  Array#qualifier(const, volatile) の設定.

• #set_type(type) ⇒ Object
• #show_tree(indent) ⇒ Object

Methods included from HasType

#clone_type, #initHasType

Methods inherited from Type

#cast, #clear_max, #equal?, #get_ID_str, #get_bit_size, #get_original_type, #is_void?, #print_info, print_info_post, #print_info_post, reset_print_info, #set_scs

Methods inherited from Node

#cdl_error, #cdl_error2, #cdl_error3, #cdl_info, #cdl_info2, #cdl_warning, #cdl_warning2, #get_locale, #locale_str, #set_locale

Constructor Details

#initialize(subscript = nil) ⇒ ArrayType

Returns a new instance of ArrayType.

# File 'lib/tecsgen/core/types.rb', line 1207

def initialize(subscript = nil)
  super()
  @subscript = subscript
  initHasType
end

Instance Method Details

#check ⇒ Object

意味的誤りがあれば、文字列を返す

# File 'lib/tecsgen/core/types.rb', line 1259

def check # 意味的誤りがあれば、文字列を返す
  if @type.class == FuncType # 関数の配列
    return "array of function"
  elsif @type.class == ArrayType # 添数なし配列の配列
    unless @type.get_subscript
      return "subscript not specified"
    end
  end

  return @type.check # 配列要素の型をチェック
end

#check_init(locale, ident, initializer, kind, attribute = nil) ⇒ Object

# File 'lib/tecsgen/core/types.rb', line 1275

def check_init(locale, ident, initializer, kind, attribute = nil)
  if initializer.instance_of?(Array)
    # 要素数が指定されている場合、初期化要素数をチェック
    if @subscript
      n_sub = @subscript.eval_const(nil)
      if n_sub
        if initializer.length > n_sub
          cdl_error2(locale, "T9999 $1: too many initializer, $2 for $3", ident, initializer.length, n_sub)
        end
      end
    end
    index = 0
    initializer.each{|i|
      @type.check_init(locale, "#{ident}[#{index}]", i, kind, attribute = nil)
      index += 1
    }
  else
    cdl_error2(locale, "T1031 $1: unsuitable initializer for array", ident)
  end
end

#check_struct_tag(kind) ⇒ Object

# File 'lib/tecsgen/core/types.rb', line 1271

def check_struct_tag(kind)
  @type.check_struct_tag kind
end

#get_subscript ⇒ Object

# File 'lib/tecsgen/core/types.rb', line 1242

def get_subscript
  @subscript
end

#get_type ⇒ Object

# File 'lib/tecsgen/core/types.rb', line 1238

def get_type
  @type
end

#get_type_str ⇒ Object

# File 'lib/tecsgen/core/types.rb', line 1246

def get_type_str
  return @type.get_type_str.to_s
end

#get_type_str_post ⇒ Object

# File 'lib/tecsgen/core/types.rb', line 1250

def get_type_str_post
  if @subscript
    "[#{@subscript.eval_const(nil)}]#{@type.get_type_str_post}"
  else
    "[]#{@type.get_type_str_post}"
  end
  # "[#{@subscript.to_s}]#{@type.get_type_str_post}"
end

#has_pointer? ⇒ Boolean

Returns:

• (Boolean)

# File 'lib/tecsgen/core/types.rb', line 1296

def has_pointer?
  @type.has_pointer?
end

#has_sized_pointer? ⇒ Boolean

Returns:

• (Boolean)

# File 'lib/tecsgen/core/types.rb', line 1300

def has_sized_pointer?
  @type.has_sized_pointer?
end

#has_unsized_string? ⇒ Boolean

Returns:

• (Boolean)

# File 'lib/tecsgen/core/types.rb', line 1304

def has_unsized_string?
  @type.has_unsized_string?
end

#is_const? ⇒ Boolean

配列要素が const なら const

Returns:

• (Boolean)

# File 'lib/tecsgen/core/types.rb', line 1229

def is_const?
  @type.is_const?
end

#is_volatile? ⇒ Boolean

配列要素が volatile なら volatile

Returns:

• (Boolean)

# File 'lib/tecsgen/core/types.rb', line 1234

def is_volatile?
  @type.is_volatile?
end

#set_qualifier(qualifier) ⇒ Object

Array#qualifier(const, volatile) の設定

# File 'lib/tecsgen/core/types.rb', line 1222

def set_qualifier(qualifier)
  clone_type
  @type.set_qualifier(qualifier)
  super
end

#set_type(type) ⇒ Object

# File 'lib/tecsgen/core/types.rb', line 1213

def set_type(type)
  unless @type
    @type = type
  else
    @type.set_type(type)
  end
end

#show_tree(indent) ⇒ Object

# File 'lib/tecsgen/core/types.rb', line 1308

def show_tree(indent)
  indent.times { print "  " }
  puts "ArrayType: #{locale_str}"
  super(indent + 1)
  (indent + 1).times { print "  " }
  puts "type:"
  @type.show_tree(indent + 2)
  (indent + 1).times { print "  " }
  puts "subscript:"
  if @subscript
    @subscript.show_tree(indent + 2)
  else
    (indent + 2).times { print "  " }
    puts "no subscript"
  end
end