Function fx_mutabilities

xs/sources/xsLockdown.c:486–560

static void fxVerifyQueue(txMachine* the, txSlot* list, txSlot* path, txSlot* instance, txID id, txIndex index, txString name);

void fx_mutabilities(txMachine* the)
{
	txSlot* instance;
	txSlot* module;
	txSlot* realm;
	txSlot* slot;
	txSlot* list;
	txSlot* item;
	
	fxVars(the, 2);
	
	mxPush(mxArrayPrototype);
	instance = fxNewArrayInstance(the);
	mxPullSlot(mxResult);

	fxNewHostObject(the, NULL);
	fxSetHostChunk(the, the->stack, NULL, the->keyIndex);
	mxPullSlot(mxVarv(0));
	
	module = mxFunctionInstanceHome(mxFunction->value.reference)->value.home.module;
	if (!module) module = mxProgram.value.reference;
	realm = mxModuleInstanceInternal(module)->value.module.realm;
	mxPushSlot(mxRealmGlobal(realm));
	mxPullSlot(mxVarv(1));

	if (mxArgc == 0)
		return;
	slot = mxArgv(0);	
	if (slot->kind != XS_REFERENCE_KIND)
		return;
	
	mxTemporary(list);
	list->value.list.first = C_NULL;	
	list->value.list.last = C_NULL;	
	list->kind = XS_LIST_KIND;
		
	item = fxNewSlot(the);
	item->value.list.first = C_NULL;
	item->value.list.last = slot->value.reference;
	item->kind = XS_LIST_KIND;
	list->value.list.first = item;
	list->value.list.last = item;
		
	{
		mxTry(the) {
			while (item) {
				fxVerifyInstance(the, list, item->value.list.first, item->value.list.last);
				item = item->next;
			}
			item = list->value.list.first;
			while (item) {
				item->value.list.last->flag &= ~XS_LEVEL_FLAG;
				item = item->next;
			}
		}
		mxCatch(the) {
			item = list->value.list.first;
			while (item) {