2014-06-26 17:39:02 +02:00
|
|
|
module Virtual
|
2014-06-25 01:47:59 +02:00
|
|
|
|
|
|
|
# Instruction is an abstract for all the code of the object-machine. Derived classe make up the actual functionality
|
|
|
|
# of the machine.
|
|
|
|
# All functions on the machine are captured as instances of instructions
|
2014-06-26 17:39:02 +02:00
|
|
|
#
|
|
|
|
# It is actully the point of the virtual machine layer to express oo functionality in the set of instructions, thus
|
|
|
|
# defining a minimal set of instructions needed to implement oo.
|
|
|
|
|
2014-06-29 18:05:35 +02:00
|
|
|
# This is partly because jumping over this layer and doing in straight in assember was too big a step
|
2014-06-25 01:47:59 +02:00
|
|
|
class Instruction
|
2014-07-10 16:14:38 +02:00
|
|
|
attr_accessor :next
|
2014-06-29 18:05:35 +02:00
|
|
|
|
2014-07-10 16:14:38 +02:00
|
|
|
def inspect
|
|
|
|
self.class.name + ".new()"
|
|
|
|
end
|
2014-06-25 01:47:59 +02:00
|
|
|
end
|
|
|
|
|
2014-06-29 18:05:35 +02:00
|
|
|
# the first instruction we need is to stop. Off course in a real machine this would be a syscall, but that is just
|
|
|
|
# an implementation (in a programm it would be a function). But in a virtual machine, not only do we need this instruction,
|
|
|
|
# it is indeed the first instruction as just this instruction is the smallest possible programm for the machine.
|
|
|
|
# As such it is the next instruction for any first instruction that we generate.
|
|
|
|
class Halt < Instruction
|
|
|
|
|
|
|
|
end
|
2014-07-10 16:14:38 +02:00
|
|
|
|
|
|
|
# following classes are stubs. currently in brainstorming mode, so anything may change anytime
|
|
|
|
class MethodEnter < Instruction
|
|
|
|
end
|
|
|
|
|
|
|
|
class FrameGet < Instruction
|
|
|
|
def initialize name
|
|
|
|
@name = name
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
class FrameSend < Instruction
|
|
|
|
|
2014-07-13 15:00:48 +02:00
|
|
|
def initialize name , args = []
|
2014-07-10 16:14:38 +02:00
|
|
|
@name = name.to_sym
|
2014-07-13 15:00:48 +02:00
|
|
|
@args = args
|
2014-07-10 16:14:38 +02:00
|
|
|
end
|
2014-07-13 15:00:48 +02:00
|
|
|
attr_reader :name , :args
|
2014-07-10 16:14:38 +02:00
|
|
|
|
|
|
|
def == other
|
|
|
|
self.class == other.class && self.name == other.name
|
|
|
|
end
|
|
|
|
def inspect
|
2014-07-13 15:00:48 +02:00
|
|
|
self.class.name + ".new(:#{@name} , [ " + args.collect{|a| a.inspect}.join(",")+ "])"
|
2014-07-10 16:14:38 +02:00
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2014-06-25 01:47:59 +02:00
|
|
|
end
|