/*									tab:4 * * * "Copyright (c) 2000-2002 The Regents of the University  of California.   * All rights reserved. * * Permission to use, copy, modify, and distribute this software and its * documentation for any purpose, without fee, and without written agreement is * hereby granted, provided that the above copyright notice, the following * two paragraphs and the author appear in all copies of this software. *  * IN NO EVENT SHALL THE UNIVERSITY OF CALIFORNIA BE LIABLE TO ANY PARTY FOR * DIRECT, INDIRECT, SPECIAL, INCIDENTAL, OR CONSEQUENTIAL DAMAGES ARISING OUT * OF THE USE OF THIS SOFTWARE AND ITS DOCUMENTATION, EVEN IF THE UNIVERSITY OF * CALIFORNIA HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. *  * THE UNIVERSITY OF CALIFORNIA SPECIFICALLY DISCLAIMS ANY WARRANTIES, * INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY * AND FITNESS FOR A PARTICULAR PURPOSE.  THE SOFTWARE PROVIDED HEREUNDER IS * ON AN "AS IS" BASIS, AND THE UNIVERSITY OF CALIFORNIA HAS NO OBLIGATION TO * PROVIDE MAINTENANCE, SUPPORT, UPDATES, ENHANCEMENTS, OR MODIFICATIONS." * *//*									tab:4 *  IMPORTANT: READ BEFORE DOWNLOADING, COPYING, INSTALLING OR USING.  By *  downloading, copying, installing or using the software you agree to *  this license.  If you do not agree to this license, do not download, *  install, copy or use the software. * *  Intel Open Source License  * *  Copyright (c) 2002 Intel Corporation  *  All rights reserved.  *  Redistribution and use in source and binary forms, with or without *  modification, are permitted provided that the following conditions are *  met: *  *	Redistributions of source code must retain the above copyright *  notice, this list of conditions and the following disclaimer. *	Redistributions in binary form must reproduce the above copyright *  notice, this list of conditions and the following disclaimer in the *  documentation and/or other materials provided with the distribution. *      Neither the name of the Intel Corporation nor the names of its *  contributors may be used to endorse or promote products derived from *  this software without specific prior written permission. *   *  THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS *  ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT *  LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A *  PARTICULAR PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE INTEL OR ITS *  CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, *  EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, *  PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR *  PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF *  LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING *  NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS *  SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. *  *  *//* * Authors:   Philip Levis * History:   July 19, 2002 *	      * *//** * @author Philip Levis */includes Bombilla;module BStacks {  provides interface BombillaStacks as Stacks;  provides interface BombillaTypes as Types;  uses interface BombillaError;}implementation {    command result_t Stacks.resetStacks(BombillaContext* context) {    context->opStack.sp = 0;    context->rStack.sp = 0;    return SUCCESS;  }    command result_t Stacks.pushValue(BombillaContext* context, 				    int16_t val) {    if (context->opStack.sp >= BOMB_OPDEPTH) {      dbg(DBG_ERROR, "VM: Tried to push value off end of stack.\n");      call BombillaError.error(context, BOMB_ERROR_STACK_OVERFLOW);      return FAIL;    }    else {      uint8_t sIndex = context->opStack.sp;      context->opStack.stack[(int)sIndex].type = BOMB_TYPE_VALUE;      context->opStack.stack[(int)sIndex].value.var = val;      context->opStack.sp++;      return SUCCESS;    }  }  command result_t Stacks.pushReading(BombillaContext* context, 				      uint8_t type, 				      int16_t val) {    if (context->opStack.sp >= BOMB_OPDEPTH) {      dbg(DBG_ERROR, "VM: Tried to push value off end of stack.\n");      call BombillaError.error(context, BOMB_ERROR_STACK_OVERFLOW);      return FAIL;    }    else {      uint8_t sIndex = context->opStack.sp;      context->opStack.stack[(int)sIndex].type = BOMB_TYPE_SENSE;      context->opStack.stack[(int)sIndex].sense.var = val;      context->opStack.stack[(int)sIndex].sense.type = type;      context->opStack.sp++;      return SUCCESS;    }    return SUCCESS;  }  command result_t Stacks.pushBuffer(BombillaContext* context,                                      BombillaDataBuffer* buffer) {    if (context->opStack.sp >= BOMB_OPDEPTH) {      dbg(DBG_ERROR, "VM: Tried to push value off end of stack.\n");      call BombillaError.error(context, BOMB_ERROR_STACK_OVERFLOW);      return FAIL;    }    else {      uint8_t sIndex = context->opStack.sp;      context->opStack.stack[(int)sIndex].type = BOMB_TYPE_BUFFER;      context->opStack.stack[(int)sIndex].buffer.var = buffer;      context->opStack.sp++;      return SUCCESS;    }    return SUCCESS;  }  command result_t Stacks.pushOperand(BombillaContext* context, 				      BombillaStackVariable* var) {    if (context->opStack.sp >= BOMB_OPDEPTH) {      dbg(DBG_ERROR, "VM: Tried to push value off end of stack.\n");      call BombillaError.error(context, BOMB_ERROR_STACK_OVERFLOW);      return FAIL;    }    else {      uint8_t sIndex = context->opStack.sp;      context->opStack.stack[(int)sIndex] = *var;      context->opStack.sp++;      return SUCCESS;    }    return SUCCESS;  }  command BombillaStackVariable* Stacks.popOperand(BombillaContext* context) {    BombillaStackVariable* var;    if (context->opStack.sp == 0) {      dbg(DBG_ERROR, "VM: Tried to pop off end of stack.\n");      context->opStack.stack[0].type = BOMB_TYPE_INVALID;      call BombillaError.error(context, BOMB_ERROR_STACK_UNDERFLOW);      return &(context->opStack.stack[0]);    }    else {      uint8_t sIndex;      context->opStack.sp--;      sIndex = context->opStack.sp;      var = &(context->opStack.stack[(int)sIndex]);      return var;    }    return NULL;  }  command result_t Stacks.pushReturnAddr(BombillaContext* context) {    BombillaReturnStack* rStack = &(context->rStack);    if (rStack->sp >= BOMB_CALLDEPTH) {      dbg(DBG_ERROR, "VM: Return stack overflow.\n");      call BombillaError.error(context, BOMB_ERROR_RSTACK_OVERFLOW);      return FAIL;    }    else {      uint8_t sIndex = rStack->sp;      rStack->stack[(int)sIndex].capsule = context->currentCapsule;      rStack->stack[(int)sIndex].pc = context->pc;      rStack->sp++;      return SUCCESS;    }  }  command result_t Stacks.popReturnAddr(BombillaContext* context) {    BombillaReturnStack* rStack = &(context->rStack);    BombillaReturnVariable* var;    if (rStack->sp <= 0) {      dbg(DBG_ERROR, "VM: Return stack underflow.\n");      call BombillaError.error(context, BOMB_ERROR_RSTACK_UNDERFLOW);      return FAIL;    }    else {      rStack->sp--;      var = &(rStack->stack[(int)rStack->sp]);      context->currentCapsule = var->capsule;      context->pc = var->pc;      return SUCCESS;    }  }  command uint8_t Stacks.getOpStackDepth(BombillaContext* context) {    return context->opStack.sp;  }  command uint8_t Stacks.getReturnStackDepth(BombillaContext* context) {    return context->rStack.sp;  }    command uint8_t Types.checkTypes(BombillaContext* context,				   BombillaStackVariable* var,				   uint8_t types) {    uint8_t rval = (uint8_t)(var->type & types);    if (!rval) {      dbg(DBG_USR1|DBG_ERROR, "VM: Operand failed type check: type = %i, allowed types = %i\n", (int)var->type, (int)types);      call BombillaError.error(context, BOMB_ERROR_TYPE_CHECK);    }    return rval;  }}