Class: IDL::AST::StateMember

Inherits:
Leaf
  • Object
show all
Defined in:
lib/ridl/node.rb,
lib/ridl/node.rb

Overview

Eventtype

Instance Attribute Summary collapse

Attributes inherited from Leaf

#annotations, #enclosure, #intern, #name, #prefix, #scopes

Instance Method Summary collapse

Methods inherited from Leaf

#has_annotations?, #is_template?, #lm_name, #lm_scopes, #replace_prefix, #repository_id, #resolve, #scoped_lm_name, #scoped_name, #set_repo_id, #set_repo_version, #typename, #unescaped_name

Constructor Details

#initialize(_name, _enclosure, params) ⇒ StateMember

Returns a new instance of StateMember.



2033
2034
2035
2036
2037
2038
2039
2040
2041
2042
2043
2044
2045
2046
2047
2048
2049
2050
2051
2052
2053
2054
2055
2056
2057
2058
2059
2060
2061
2062
2063
2064
2065
2066
2067
2068
2069
2070
2071
2072
2073
2074
2075
2076
2077
2078
2079
2080
2081
2082
2083
2084
2085
2086
2087
2088
2089
2090
2091
2092
2093
2094
2095
2096
2097
2098
2099
2100
 
# File 'lib/ridl/node.rb', line 2033

def initialize(_name, _enclosure, params)
  @is_recursive = false
  @has_incomplete_type = false
  super(_name, _enclosure)
  @idltype = params[:type]
  @visibility = (params[:visibility] == :public ? :public : :private)
  unless @idltype.is_a?(IDL::Type::ScopedName) && @idltype.is_node?(IDL::AST::TemplateParam)
    raise "Anonymous type definitions are not allowed!" if params[:type].is_anonymous?

    ## check for use of incomplete types
    unless @idltype.is_complete?
      ## verify type is used in sequence
      if @idltype.resolved_type.is_a?(IDL::Type::Sequence)
        ## find the (non-sequence) elementtype
        seq_ = @idltype.resolved_type
        mtype = seq_.basetype
        while mtype.resolved_type.is_a? IDL::Type::Sequence
          seq_ = mtype.resolved_type
          mtype = seq_.basetype
        end
        ## is it an incomplete struct, union or valuetype?
        if mtype.is_a? IDL::Type::ScopedName
          case mtype.resolved_type
          when IDL::Type::Struct, IDL::Type::Union, IDL::Type::Valuetype
            unless mtype.node.is_defined?
              ## check if incomplete struct/union/valuetype is contained within definition of self
              enc = _enclosure
              while enc.is_a?(IDL::AST::Struct) || enc.is_a?(IDL::AST::Union) || enc.is_a?(IDL::AST::Valuetype)
                if enc.scoped_name == mtype.node.scoped_name
                  ## mark enclosure as recursive
                  enc.recursive = true
                  ## mark sequence as recursive type !!! DEPRECATED !!!; leave till R2CORBA updated
                  seq_.recursive = true
                  return
                end
                enc = enc.enclosure
              end
            end
          end
          if mtype.resolved_type.is_a?(IDL::Type::Valuetype)
            # mark member as using an incomplete valuetype; allowed but needs special care
            @has_incomplete_type = true
            return
          end
        end
      elsif @idltype.resolved_type.is_a?(IDL::Type::Valuetype)
        mtype = @idltype.resolved_type
        enc = _enclosure
        while enc.is_a?(IDL::AST::Struct) || enc.is_a?(IDL::AST::Union) || enc.is_a?(IDL::AST::Valuetype)
          if enc.is_a?(IDL::AST::Valuetype) && enc.scoped_name == mtype.node.scoped_name
            ## statemember using recursive valuetype
            ## is enclosed in valuetype itself as part of constructed type
            ## which is allowed and not a problem
            @is_recursive = true
            ## mark enclosure as recursive
            enc.recursive = true
            return
          end
          enc = enc.enclosure
        end
        # mark member as using an incomplete valuetype; allowed but needs special care
        @has_incomplete_type = true
        return
      end
      raise "Incomplete type #{@idltype.typename} not allowed here!"
    end
  end
end

Instance Attribute Details

#idltype ⇒ Object (readonly)

Returns the value of attribute idltype.



2031
2032
2033
 
# File 'lib/ridl/node.rb', line 2031

def idltype
  @idltype
end

#visibility ⇒ Object (readonly)

Returns the value of attribute visibility.



2031
2032
2033
 
# File 'lib/ridl/node.rb', line 2031

def visibility
  @visibility
end

Instance Method Details

#has_incomplete_type? ⇒ Boolean

Returns:

  • (Boolean) 


2134
2135
2136
 
# File 'lib/ridl/node.rb', line 2134

def has_incomplete_type?
  @has_incomplete_type
end

#instantiate(instantiation_context, _enclosure) ⇒ Object 



2114
2115
2116
2117
2118
2119
2120
 
# File 'lib/ridl/node.rb', line 2114

def instantiate(instantiation_context, _enclosure)
  _params = {
    type: @idltype.instantiate(instantiation_context),
    visibility: self.visibility
  }
  super(instantiation_context, _enclosure, _params)
end

#is_local?(recurstk) ⇒ Boolean

Returns:

  • (Boolean) 


2122
2123
2124
 
# File 'lib/ridl/node.rb', line 2122

def is_local?(recurstk)
  idltype.is_local?(recurstk)
end

#is_public? ⇒ Boolean

Returns:

  • (Boolean) 


2126
2127
2128
 
# File 'lib/ridl/node.rb', line 2126

def is_public?
  @visibility == :public
end

#is_recursive? ⇒ Boolean

Returns:

  • (Boolean) 


2130
2131
2132
 
# File 'lib/ridl/node.rb', line 2130

def is_recursive?
  @is_recursive
end

#marshal_dump ⇒ Object 



2102
2103
2104
 
# File 'lib/ridl/node.rb', line 2102

def marshal_dump
  super() << @idltype << @visibility << @is_recursive << @has_incomplete_type
end

#marshal_load(vars) ⇒ Object 



2106
2107
2108
2109
2110
2111
2112
 
# File 'lib/ridl/node.rb', line 2106

def marshal_load(vars)
  @has_incomplete_type = vars.pop
  @is_recursive = vars.pop
  @visibility = vars.pop
  @idltype = vars.pop
  super(vars)
end