Class: IntrinsicLastRuntimeMethod

Inherits:
IntrinsicObject show all
Includes:
Token
Defined in:
lib/intrinsic/IntrinsicLastRuntimeMethod.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) ⇒ IntrinsicLastRuntimeMethod

Returns a new instance of IntrinsicLastRuntimeMethod.



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

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

Instance Method Details

#describe ⇒ Object 



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

def describe
  return '<last_runtime_method>'
end

#write ⇒ Object 



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

def write
  return 'last_runtime_method'
end