class RubyRTL::RecordType

Attributes

hash[RW]

Public Class Methods

new(h) click to toggle source
# File lib/ruby_rtl/ast.rb, line 333
def initialize h
  @hash=h
end

Public Instance Methods

to_s() click to toggle source
# File lib/ruby_rtl/ast.rb, line 337
def to_s
  if (values=$typedefs.values).include?(self)
    idx=values.index(self)
    name=$typedefs.keys[idx]
    "ยง#{name}"
  end
end