415 lines
11 KiB
C
415 lines
11 KiB
C
/*
|
|
* $Id: bootstrp.c,v 1.4 2005-05-23 16:07:39 bacon Exp $
|
|
*/
|
|
|
|
#include <xp/stx/bootstrp.h>
|
|
#include <xp/stx/symbol.h>
|
|
#include <xp/stx/class.h>
|
|
#include <xp/stx/object.h>
|
|
#include <xp/stx/hash.h>
|
|
#include <xp/stx/misc.h>
|
|
|
|
static void __create_bootstrapping_objects (xp_stx_t* stx);
|
|
static void __create_builtin_classes (xp_stx_t* stx);
|
|
static xp_stx_word_t __count_names (const xp_stx_char_t* str);
|
|
static void __set_names (
|
|
xp_stx_t* stx, xp_stx_word_t* array, const xp_stx_char_t* str);
|
|
|
|
struct class_info_t
|
|
{
|
|
const xp_stx_char_t* name;
|
|
const xp_stx_char_t* superclass;
|
|
const xp_stx_char_t* instance_variables;
|
|
const xp_stx_char_t* class_variables;
|
|
const xp_stx_char_t* pool_dictionaries;
|
|
};
|
|
|
|
typedef struct class_info_t class_info_t;
|
|
|
|
static class_info_t class_info[] =
|
|
{
|
|
{
|
|
XP_STX_TEXT("Object"),
|
|
XP_NULL,
|
|
XP_NULL,
|
|
XP_NULL
|
|
},
|
|
{
|
|
XP_STX_TEXT("UndefinedObject"),
|
|
XP_STX_TEXT("Object"),
|
|
XP_NULL,
|
|
XP_NULL,
|
|
XP_NULL
|
|
},
|
|
{
|
|
XP_STX_TEXT("Behavior"),
|
|
XP_STX_TEXT("Object"),
|
|
XP_STX_TEXT("name instanceSize methods superclass intsanceVariables classVariables poolDictionaries category"),
|
|
XP_NULL,
|
|
XP_NULL
|
|
},
|
|
{
|
|
XP_STX_TEXT("Class"),
|
|
XP_STX_TEXT("Behavior"),
|
|
XP_NULL,
|
|
XP_NULL,
|
|
XP_NULL
|
|
},
|
|
{
|
|
XP_STX_TEXT("Metaclass"),
|
|
XP_STX_TEXT("Behavior"),
|
|
XP_NULL,
|
|
XP_NULL,
|
|
XP_NULL
|
|
},
|
|
{
|
|
XP_STX_TEXT("Block"),
|
|
XP_STX_TEXT("Object"),
|
|
XP_STX_TEXT("context argCount argLoc bytePointer"),
|
|
XP_NULL,
|
|
XP_NULL
|
|
},
|
|
{
|
|
XP_STX_TEXT("Boolean"),
|
|
XP_STX_TEXT("Object"),
|
|
XP_NULL,
|
|
XP_NULL,
|
|
XP_NULL
|
|
},
|
|
{
|
|
XP_STX_TEXT("True"),
|
|
XP_STX_TEXT("Boolean"),
|
|
XP_NULL,
|
|
XP_NULL,
|
|
XP_NULL
|
|
},
|
|
{
|
|
XP_STX_TEXT("False"),
|
|
XP_STX_TEXT("Boolean"),
|
|
XP_NULL,
|
|
XP_NULL,
|
|
XP_NULL
|
|
},
|
|
{
|
|
XP_STX_TEXT("Context"),
|
|
XP_STX_TEXT("Object"),
|
|
XP_NULL,
|
|
XP_NULL,
|
|
XP_NULL
|
|
},
|
|
{
|
|
XP_STX_TEXT("Method"),
|
|
XP_STX_TEXT("Object"),
|
|
XP_STX_TEXT("text message bytecodes literals stackSize temporarySize class"),
|
|
XP_NULL,
|
|
XP_NULL
|
|
},
|
|
{
|
|
XP_STX_TEXT("Magnitude"),
|
|
XP_STX_TEXT("Object"),
|
|
XP_NULL,
|
|
XP_NULL,
|
|
XP_NULL
|
|
},
|
|
{
|
|
XP_STX_TEXT("Collection"),
|
|
XP_STX_TEXT("Magnitude"),
|
|
XP_NULL,
|
|
XP_NULL,
|
|
XP_NULL
|
|
},
|
|
{
|
|
XP_STX_TEXT("IndexedCollection"),
|
|
XP_STX_TEXT("Collection"),
|
|
XP_NULL,
|
|
XP_NULL,
|
|
XP_NULL
|
|
},
|
|
{
|
|
XP_STX_TEXT("Array"),
|
|
XP_STX_TEXT("IndexedCollection"),
|
|
XP_NULL,
|
|
XP_NULL,
|
|
XP_NULL
|
|
},
|
|
{
|
|
XP_STX_TEXT("SymbolTable"),
|
|
XP_STX_TEXT("IndexedCollection"),
|
|
XP_NULL,
|
|
XP_NULL,
|
|
XP_NULL
|
|
},
|
|
{
|
|
XP_STX_TEXT("SystemDictionary"),
|
|
XP_STX_TEXT("IndexedCollection"),
|
|
XP_NULL,
|
|
XP_NULL,
|
|
XP_NULL
|
|
},
|
|
{
|
|
XP_NULL,
|
|
XP_NULL,
|
|
XP_NULL,
|
|
XP_NULL,
|
|
XP_NULL
|
|
}
|
|
};
|
|
|
|
xp_stx_word_t xp_stx_new_array (xp_stx_t* stx, xp_stx_word_t size)
|
|
{
|
|
xp_stx_word_t x;
|
|
|
|
xp_stx_assert (stx->class_array != stx->nil);
|
|
x = xp_stx_alloc_word_object (stx, size);
|
|
XP_STX_CLASS(stx,x) = stx->class_array;
|
|
|
|
return x;
|
|
}
|
|
|
|
int xp_stx_bootstrap (xp_stx_t* stx)
|
|
{
|
|
xp_stx_word_t symbol_Smalltalk;
|
|
xp_stx_word_t class_Object, class_Class;
|
|
xp_stx_word_t tmp;
|
|
|
|
__create_bootstrapping_objects (stx);
|
|
|
|
/* array class is precreated for easier instansition
|
|
* of builtin classes */
|
|
stx->class_array = xp_stx_new_class (stx, XP_STX_TEXT("Array"));
|
|
|
|
__create_builtin_classes (stx);
|
|
|
|
/* more initialization */
|
|
XP_STX_CLASS(stx,stx->symbol_table) =
|
|
xp_stx_lookup_class (stx, XP_STX_TEXT("SymbolTable"));
|
|
XP_STX_CLASS(stx,stx->smalltalk) =
|
|
xp_stx_lookup_class (stx, XP_STX_TEXT("SystemDictionary"));
|
|
|
|
symbol_Smalltalk =
|
|
xp_stx_new_symbol (stx, XP_STX_TEXT("Smalltalk"));
|
|
xp_stx_hash_insert (stx, stx->smalltalk,
|
|
xp_stx_hash_char_object(stx,symbol_Smalltalk),
|
|
symbol_Smalltalk, stx->smalltalk);
|
|
|
|
/* adjust the class-metaclass cycle */
|
|
class_Object = xp_stx_lookup_class (stx, XP_STX_TEXT("Object"));
|
|
class_Class = xp_stx_lookup_class (stx, XP_STX_TEXT("Class"));
|
|
tmp = XP_STX_CLASS(stx,class_Object);
|
|
XP_STX_AT(stx,tmp,XP_STX_CLASS_SUPERCLASS) = class_Class;
|
|
|
|
/* create #nil, #true, #false */
|
|
xp_stx_new_symbol (stx, XP_STX_TEXT("nil"));
|
|
xp_stx_new_symbol (stx, XP_STX_TEXT("true"));
|
|
xp_stx_new_symbol (stx, XP_STX_TEXT("false"));
|
|
|
|
/* nil setClass: UndefinedObject */
|
|
XP_STX_CLASS(stx,stx->nil) =
|
|
xp_stx_lookup_class (stx, XP_STX_TEXT("UndefinedObject"));
|
|
/* true setClass: True */
|
|
XP_STX_CLASS(stx,stx->true) =
|
|
xp_stx_lookup_class (stx, XP_STX_TEXT("True"));
|
|
/* fales setClass: False */
|
|
XP_STX_CLASS(stx,stx->false) =
|
|
xp_stx_lookup_class (stx, XP_STX_TEXT("False"));
|
|
|
|
return 0;
|
|
}
|
|
|
|
static void __create_bootstrapping_objects (xp_stx_t* stx)
|
|
{
|
|
xp_stx_word_t class_SymlinkMeta;
|
|
xp_stx_word_t class_SymbolMeta;
|
|
xp_stx_word_t class_MetaclassMeta;
|
|
xp_stx_word_t class_PairlinkMeta;
|
|
xp_stx_word_t symbol_Symlink;
|
|
xp_stx_word_t symbol_Symbol;
|
|
xp_stx_word_t symbol_Metaclass;
|
|
xp_stx_word_t symbol_Pairlink;
|
|
|
|
/* allocate three keyword objects */
|
|
stx->nil = xp_stx_alloc_word_object (stx, 0);
|
|
stx->true = xp_stx_alloc_word_object (stx, 0);
|
|
stx->false = xp_stx_alloc_word_object (stx, 0);
|
|
|
|
xp_stx_assert (stx->nil == XP_STX_NIL);
|
|
xp_stx_assert (stx->true == XP_STX_TRUE);
|
|
xp_stx_assert (stx->false == XP_STX_FALSE);
|
|
|
|
/* symbol table & system dictionary */
|
|
/* TODO: symbol table and dictionary size */
|
|
stx->symbol_table = xp_stx_alloc_word_object (stx, 1000);
|
|
stx->smalltalk = xp_stx_alloc_word_object (stx, 2000);
|
|
|
|
stx->class_symlink = /* Symlink */
|
|
xp_stx_alloc_word_object(stx,XP_STX_CLASS_SIZE);
|
|
stx->class_symbol = /* Symbol */
|
|
xp_stx_alloc_word_object(stx,XP_STX_CLASS_SIZE);
|
|
stx->class_metaclass = /* Metaclass */
|
|
xp_stx_alloc_word_object(stx,XP_STX_CLASS_SIZE);
|
|
stx->class_pairlink = /* Pairlink */
|
|
xp_stx_alloc_word_object(stx,XP_STX_CLASS_SIZE);
|
|
|
|
class_SymlinkMeta = /* Symlink class */
|
|
xp_stx_alloc_word_object(stx,XP_STX_CLASS_SIZE);
|
|
class_SymbolMeta = /* Symbol class */
|
|
xp_stx_alloc_word_object(stx,XP_STX_CLASS_SIZE);
|
|
class_MetaclassMeta = /* Metaclass class */
|
|
xp_stx_alloc_word_object(stx,XP_STX_CLASS_SIZE);
|
|
class_PairlinkMeta = /* Pairlink class */
|
|
xp_stx_alloc_word_object(stx,XP_STX_CLASS_SIZE);
|
|
|
|
/* (Symlink class) setClass: Metaclass */
|
|
XP_STX_CLASS(stx,class_SymlinkMeta) = stx->class_metaclass;
|
|
/* (Symbol class) setClass: Metaclass */
|
|
XP_STX_CLASS(stx,class_SymbolMeta) = stx->class_metaclass;
|
|
/* (Metaclass class) setClass: Metaclass */
|
|
XP_STX_CLASS(stx,class_MetaclassMeta) = stx->class_metaclass;
|
|
/* (Pairlink class) setClass: Metaclass */
|
|
XP_STX_CLASS(stx,class_PairlinkMeta) = stx->class_metaclass;
|
|
|
|
/* Symlink setClass: (Symlink class) */
|
|
XP_STX_CLASS(stx,stx->class_symlink) = class_SymlinkMeta;
|
|
/* Symbol setClass: (Symbol class) */
|
|
XP_STX_CLASS(stx,stx->class_symbol) = class_SymbolMeta;
|
|
/* Metaclass setClass: (Metaclass class) */
|
|
XP_STX_CLASS(stx,stx->class_metaclass) = class_MetaclassMeta;
|
|
/* Pairlink setClass: (Pairlink class) */
|
|
XP_STX_CLASS(stx,stx->class_pairlink) = class_PairlinkMeta;
|
|
|
|
/* (Symlink class) setSpec: CLASS_SIZE */
|
|
XP_STX_AT(stx,class_SymlinkMeta,XP_STX_CLASS_SPEC) =
|
|
XP_STX_TO_SMALLINT(XP_STX_CLASS_SIZE);
|
|
/* (Symbol class) setSpec: CLASS_SIZE */
|
|
XP_STX_AT(stx,class_SymbolMeta,XP_STX_CLASS_SPEC) =
|
|
XP_STX_TO_SMALLINT(XP_STX_CLASS_SIZE);
|
|
/* (Metaclass class) setSpec: CLASS_SIZE */
|
|
XP_STX_AT(stx,class_MetaclassMeta,XP_STX_CLASS_SPEC) =
|
|
XP_STX_TO_SMALLINT(XP_STX_CLASS_SIZE);
|
|
/* (Pairlink class) setSpec: CLASS_SIZE */
|
|
XP_STX_AT(stx,class_PairlinkMeta,XP_STX_CLASS_SPEC) =
|
|
XP_STX_TO_SMALLINT(XP_STX_CLASS_SIZE);
|
|
|
|
/* #Symlink */
|
|
symbol_Symlink = xp_stx_new_symbol (stx, XP_STX_TEXT("Symlink"));
|
|
/* #Symbol */
|
|
symbol_Symbol = xp_stx_new_symbol (stx, XP_STX_TEXT("Symbol"));
|
|
/* #Metaclass */
|
|
symbol_Metaclass = xp_stx_new_symbol (stx, XP_STX_TEXT("Metaclass"));
|
|
/* #Pairlink */
|
|
symbol_Pairlink = xp_stx_new_symbol (stx, XP_STX_TEXT("Pairlink"));
|
|
|
|
/* Symlink setName: #Symlink */
|
|
XP_STX_AT(stx,stx->class_symlink,XP_STX_CLASS_NAME) = symbol_Symlink;
|
|
/* Symbol setName: #Symbol */
|
|
XP_STX_AT(stx,stx->class_symbol,XP_STX_CLASS_NAME) = symbol_Symbol;
|
|
/* Metaclass setName: #Metaclass */
|
|
XP_STX_AT(stx,stx->class_metaclass,XP_STX_CLASS_NAME) = symbol_Metaclass;
|
|
/* Pairlink setName: #Pairlink */
|
|
XP_STX_AT(stx,stx->class_pairlink,XP_STX_CLASS_NAME) = symbol_Pairlink;
|
|
|
|
/* register class names into the system dictionary */
|
|
xp_stx_hash_insert (stx, stx->smalltalk,
|
|
xp_stx_hash_char_object(stx, symbol_Symlink),
|
|
symbol_Symlink, stx->class_symlink);
|
|
xp_stx_hash_insert (stx, stx->smalltalk,
|
|
xp_stx_hash_char_object(stx, symbol_Symbol),
|
|
symbol_Symbol, stx->class_symbol);
|
|
xp_stx_hash_insert (stx, stx->smalltalk,
|
|
xp_stx_hash_char_object(stx, symbol_Metaclass),
|
|
symbol_Metaclass, stx->class_metaclass);
|
|
xp_stx_hash_insert (stx, stx->smalltalk,
|
|
xp_stx_hash_char_object(stx, symbol_Pairlink),
|
|
symbol_Pairlink, stx->class_pairlink);
|
|
}
|
|
|
|
static void __create_builtin_classes (xp_stx_t* stx)
|
|
{
|
|
class_info_t* p;
|
|
xp_stx_word_t class, superclass, array;
|
|
xp_stx_class_t* class_obj, * superclass_obj;
|
|
xp_stx_word_t n, spec = 0;
|
|
|
|
xp_stx_assert (stx->class_array != stx->nil);
|
|
|
|
for (p = class_info; p->name != XP_NULL; p++) {
|
|
class = xp_stx_lookup_class(stx, p->name);
|
|
if (class == stx->nil) {
|
|
class = xp_stx_new_class (stx, p->name);
|
|
}
|
|
|
|
xp_stx_assert (class != stx->nil);
|
|
class_obj = (xp_stx_class_t*)XP_STX_WORD_OBJECT(stx, class);
|
|
|
|
class_obj->superclass = (p->superclass == XP_NULL)?
|
|
stx->nil: xp_stx_lookup_class(stx,p->superclass);
|
|
|
|
if (p->superclass != XP_NULL) {
|
|
superclass = xp_stx_lookup_class(stx,p->superclass);
|
|
xp_stx_assert (superclass != stx->nil);
|
|
while (superclass != stx->nil) {
|
|
superclass_obj = (xp_stx_class_t*)
|
|
XP_STX_WORD_OBJECT(stx,superclass);
|
|
spec += XP_STX_FROM_SMALLINT(superclass_obj->spec);
|
|
superclass = superclass_obj->superclass;
|
|
}
|
|
}
|
|
|
|
if (p->instance_variables != XP_NULL) {
|
|
n = __count_names (p->instance_variables);
|
|
array = xp_stx_new_array (stx, n);
|
|
__set_names (stx, XP_STX_DATA(stx,array), p->instance_variables);
|
|
class_obj->variables = array;
|
|
xp_printf (L"%s, spec = %d\n", p->name, spec + n);
|
|
class_obj->spec = XP_STX_TO_SMALLINT(spec + n);
|
|
}
|
|
|
|
if (p->class_variables != XP_NULL) {
|
|
n = __count_names (p->class_variables);
|
|
array = xp_stx_new_array (stx, n);
|
|
__set_names (stx, XP_STX_DATA(stx,array), p->class_variables);
|
|
class_obj->classvars = array;
|
|
}
|
|
}
|
|
}
|
|
|
|
static xp_stx_word_t __count_names (const xp_stx_char_t* str)
|
|
{
|
|
xp_stx_word_t n = 0;
|
|
const xp_stx_char_t* p = str;
|
|
|
|
do {
|
|
while (*p == XP_STX_CHAR(' ') ||
|
|
*p == XP_STX_CHAR('\t')) p++;
|
|
if (*p == XP_STX_CHAR('\0')) break;
|
|
|
|
n++;
|
|
while (*p != XP_STX_CHAR(' ') &&
|
|
*p != XP_STX_CHAR('\t') &&
|
|
*p != XP_STX_CHAR('\0')) p++;
|
|
} while (1);
|
|
|
|
return n;
|
|
}
|
|
|
|
static void __set_names (
|
|
xp_stx_t* stx, xp_stx_word_t* array, const xp_stx_char_t* str)
|
|
{
|
|
xp_stx_word_t n = 0;
|
|
const xp_stx_char_t* p = str;
|
|
const xp_stx_char_t* name;
|
|
|
|
do {
|
|
while (*p == XP_STX_CHAR(' ') ||
|
|
*p == XP_STX_CHAR('\t')) p++;
|
|
if (*p == XP_STX_CHAR('\0')) break;
|
|
|
|
name = p;
|
|
while (*p != XP_STX_CHAR(' ') &&
|
|
*p != XP_STX_CHAR('\t') &&
|
|
*p != XP_STX_CHAR('\0')) p++;
|
|
|
|
array[n++] = xp_stx_new_symbolx (stx, name, p - name);
|
|
} while (1);
|
|
}
|