A java array, allocated on our memory chunk

A java array, allocated on our memory chunk

An allocation on our memory chunk

TODO: this should eventually be removed. This models the entries of an array, and it is stored in the same memory as the entries. Ideally, we'd want t

The second word of an allocated array

A buffer reader, used to marshall data from a generic byte array

Trait that models the fact that a class can be resolved by its given id

A reader of a byte array representing a class. Supports only a subset of Java 7 class format, in particular it does not support generics.

An object that will allocate and manage Class objects

Models an entry in the class path, i.e. a single Jar or directory

Possible execution result of an instruction

Implementation of [ClassPathEntry] that searches for `.class` file inside a `.jar` file

Models an allocated chunk of memory

Models the object allocator and the garbage collector! For the garbage collection, we use a very simple semi-space copying collector. We split the me