Class: IntrinsicRuntimeMethod

Inherits:
IntrinsicObject show all
Includes:
Token
Defined in:
lib/intrinsic/IntrinsicRuntimeMethod.rb

Overview

This represents any reference to main runtime method instance within theories.

Instance Attribute Summary

Attributes inherited from IntrinsicObject

#intrinsic_object_id

Instance Method Summary collapse

Methods inherited from IntrinsicObject

#copy, #generate_intrinsic_object_id

Constructor Details

#initialize(intrinsic_object_id = nil) ⇒ IntrinsicRuntimeMethod

Returns a new instance of IntrinsicRuntimeMethod.



7
8
9
10
 
# File 'lib/intrinsic/IntrinsicRuntimeMethod.rb', line 7

def initialize(intrinsic_object_id=nil)
  @intrinsic_object_id = intrinsic_object_id 
  super()
end

Instance Method Details

#==(val) ⇒ Object 



20
21
22
23
24
25
 
# File 'lib/intrinsic/IntrinsicRuntimeMethod.rb', line 20

def ==(val)
  if val.kind_of?(IntrinsicRuntimeMethod)
    return true if self.intrinsic_object_id == val.intrinsic_object_id
  end
  super(val)
end

#describe ⇒ Object 



16
17
18
 
# File 'lib/intrinsic/IntrinsicRuntimeMethod.rb', line 16

def describe
  return '<runtime_method>'
end

#write ⇒ Object 



12
13
14
 
# File 'lib/intrinsic/IntrinsicRuntimeMethod.rb', line 12

def write
  return 'runtime_method'
end