Package mini_c

Class Machine

java.lang.Object

mini_c.Machine

public class Machine
extends java.lang.Object

Un modèle mémoire bas niveau pour (ERTL,LTL)interp

Field Summary

Fields

Modifier and Type	Field	Description
(package private) java.util.HashMap<mini_c.Register,java.lang.Long>	regs
(package private) static int	word_size

Constructor Summary

Constructors

Constructor	Description
Machine()
Machine(int words)

Method Summary

Modifier and Type	Method	Description
(package private) long	get(mini_c.Register r)
(package private) long	load(long ptr, int ofs)
(package private) long	malloc(int n)	alloue n octets
(package private) long	pop()
(package private) void	pop_in_register(mini_c.Register r)
(package private) void	push(long v)
(package private) void	push_register(mini_c.Register r)
(package private) void	set(mini_c.Register r, boolean b)
(package private) void	set(mini_c.Register r, long v)
(package private) void	store(long ptr, int ofs, long v)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

word_size

static final int word_size

See Also:

Constant Field Values

regs

java.util.HashMap<mini_c.Register,java.lang.Long> regs

Constructor Detail

Machine

Machine()

Machine

Machine(int words)

Method Detail

malloc

long malloc(int n)

alloue n octets

set

void set(mini_c.Register r,
         long v)

set

void set(mini_c.Register r,
         boolean b)

get

long get(mini_c.Register r)

load

long load(long ptr,
          int ofs)

store

void store(long ptr,
           int ofs,
           long v)

push

void push(long v)

pop

long pop()

push_register

void push_register(mini_c.Register r)

pop_in_register

void pop_in_register(mini_c.Register r)