Class: Yadriggy::C::NativeMethodType

Inherits:

OptionalRole

• Object
• Type
• OptionalRole
• Yadriggy::C::NativeMethodType

Defined in:

lib/yadriggy/c/ctypecheck.rb

Overview

Type for native methods.

Instance Attribute Summary

• #body ⇒ String readonly

  The method body.

Instance Method Summary

• #initialize(method_type, body_code) ⇒ NativeMethodType constructor

  A new instance of NativeMethodType.

Methods inherited from OptionalRole

#==, #supertype

Methods inherited from Type

#!=, #<=, #copy, #eql?, error_found!, #exact_type, #has_role?, #name, role, #supertype

Constructor Details

#initialize(method_type, body_code) ⇒ NativeMethodType

Returns a new instance of NativeMethodType.

Parameters:

• method_type (MethodType) —

  a method type.

• body_code (String) —

  the body of a native method.

# File 'lib/yadriggy/c/ctypecheck.rb', line 34

def initialize(method_type, body_code)
  super(method_type)
  @body = body_code
end

Instance Attribute Details

#body ⇒ String (readonly)

Returns the method body.

Returns:

• (String) —

  the method body.

# File 'lib/yadriggy/c/ctypecheck.rb', line 30

def body
  @body
end