/*									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:   created 4/18/2002
 *            ported to nesC 6/19/2002
 */

/**
 * @author Philip Levis
 */


#ifndef BOMBILLA_TYPES_H_INCLUDED
#define BOMBILLA_TYPES_H_INCLUDED

#include "list.h"
#include <stddef.h>
#include "AM.h"

enum {
  BOMB_CALLDEPTH    = 8,
  BOMB_OPDEPTH      = 16,
  BOMB_HEAPSIZE     = 16,
  BOMB_MAX_PARALLEL = 4,
  BOMB_NUM_YIELDS   = 4,
  BOMB_HEADERSIZES  = 3,
  BOMB_HEADERSIZE   = 6,
  BOMB_BUF_LEN      = 10,
  BOMB_PGMSIZE      = 24,
  BOMB_CAPSULE_NUM  = 8,
  BOMB_BUF_NUM      = 2
} BombillaSizeConstants;

typedef enum {
  BOMB_DATA_NONE    = 255,
  BOMB_DATA_VALUE   = 0,
  BOMB_DATA_PHOTO   = 1,
  BOMB_DATA_TEMP    = 2,  
  BOMB_DATA_MIC     = 3,
  BOMB_DATA_MAGX    = 4,
  BOMB_DATA_MAGY    = 5,
  BOMB_DATA_ACCELX  = 6,
  BOMB_DATA_ACCELY  = 7,
  BOMB_DATA_END     = 8
} BombillaSensorType;

typedef enum {
  BOMB_TYPE_INVALID = 0,
  BOMB_TYPE_VALUE   = 1,
  BOMB_TYPE_BUFFER  = 2,
  BOMB_TYPE_SENSE   = 4
} BombillaDataType;

typedef enum {
  BOMB_VAR_V = BOMB_TYPE_VALUE,
  BOMB_VAR_B = BOMB_TYPE_BUFFER,
  BOMB_VAR_S = BOMB_TYPE_SENSE,
  BOMB_VAR_VB = BOMB_VAR_V | BOMB_VAR_B,
  BOMB_VAR_VS = BOMB_VAR_V | BOMB_VAR_S,
  BOMB_VAR_SB = BOMB_VAR_B | BOMB_VAR_S,
  BOMB_VAR_VSB = BOMB_VAR_B | BOMB_VAR_S | BOMB_VAR_V,
  BOMB_VAR_ALL = BOMB_VAR_B | BOMB_VAR_S | BOMB_VAR_V
} BombillaDataCondensed;

typedef enum {
  BOMB_STATE_HALT        = 0,
  BOMB_STATE_SENDING     = 1,
  BOMB_STATE_LOG         = 2,
  BOMB_STATE_SENSE       = 3,
  BOMB_STATE_SEND_WAIT   = 4,
  BOMB_STATE_LOG_WAIT    = 5,
  BOMB_STATE_SENSE_WAIT  = 6,
  BOMB_STATE_LOCK_WAIT   = 7,
  BOMB_STATE_RESUMING    = 8,
  BOMB_STATE_RUN         = 9
} BombillaContextState;

typedef enum {
  BOMB_ERROR_TRIGGERED                =  0,
  BOMB_ERROR_INVALID_RUNNABLE         =  1,
  BOMB_ERROR_STACK_OVERFLOW           =  2,
  BOMB_ERROR_STACK_UNDERFLOW          =  3, 
  BOMB_ERROR_BUFFER_OVERFLOW          =  4,
  BOMB_ERROR_BUFFER_UNDERFLOW         =  5,
  BOMB_ERROR_INDEX_OUT_OF_BOUNDS      =  6,
  BOMB_ERROR_INSTRUCTION_RUNOFF       =  7,
  BOMB_ERROR_LOCK_INVALID             =  8,
  BOMB_ERROR_LOCK_STEAL               =  9,
  BOMB_ERROR_UNLOCK_INVALID           = 10,
  BOMB_ERROR_QUEUE_ENQUEUE            = 11,
  BOMB_ERROR_QUEUE_DEQUEUE            = 12,
  BOMB_ERROR_QUEUE_REMOVE             = 13,
  BOMB_ERROR_QUEUE_INVALID            = 14,
  BOMB_ERROR_RSTACK_OVERFLOW          = 15,
  BOMB_ERROR_RSTACK_UNDERFLOW         = 16, 
  BOMB_ERROR_INVALID_ACCESS           = 17,
  BOMB_ERROR_TYPE_CHECK               = 18,
  BOMB_ERROR_INVALID_TYPE             = 19,
  BOMB_ERROR_INVALID_LOCK             = 20,
  BOMB_ERROR_INVALID_INSTRUCTION      = 21,
  BOMB_ERROR_INVALID_SENSOR           = 22,
} BombillaErrorCode;

typedef enum {
  BOMB_MAX_NET_ACTIVITY  = 64,
  BOMB_PROPAGATE_TIMER   = 737,
  BOMB_PROPAGATE_FACTOR  = 0x7f   // 127
} BombillaCapsulePropagateConstants;

typedef enum {
  MOP_MASK    = 0xe0,
  MCLASS_OP   = 0x40,
  MARG_MASK   = 0x07,
  MINSTR_MASK = 0xf8,
  
  VOP_MASK    = 0xe0,
  VCLASS_OP   = 0x60,
  VARG_MASK   = 0x0f,
  VINSTR_MASK = 0xf0,

  JOP_MASK    = 0xc0,
  JCLASS_OP   = 0x80,
  JARG_MASK   = 0x1f,
  JINSTR_MASK = 0xe0,

  XOP_MASK    = 0xc0,
  XCLASS_OP   = 0xc0,
  XARG_MASK   = 0x3f,
  XINSTR_MASK = 0xc0,
} BombillaInstructionMasks;

enum {
  AM_BOMBILLAVERSIONMSG  = 0x1c,
  AM_BOMBILLAERRORMSG    = 0x1d,
  AM_BOMBILLACAPSULEMSG  = 0x1e,
  AM_BOMBILLAPACKETMSG   = 0x1f
};

typedef struct {
  list_t queue;
} BombillaQueue;

typedef struct {
  uint8_t type;
  uint16_t var;
} BombillaSensorVariable;

typedef struct {
  uint8_t padding;
  int16_t var;
} BombillaValueVariable;

typedef struct {
  uint8_t type;
  uint8_t size;
  int16_t entries[BOMB_BUF_LEN];
} BombillaDataBuffer;

typedef struct {
  uint8_t padding;
  BombillaDataBuffer* var;
} BombillaBufferVariable;

typedef struct {
  uint8_t type;
  union {
    BombillaSensorVariable sense;
    BombillaValueVariable value;
    BombillaBufferVariable buffer;
  };
} BombillaStackVariable;

typedef struct {
  uint8_t sp;
  BombillaStackVariable stack[BOMB_OPDEPTH];
} BombillaOperandStack;
   	 
typedef struct {
  //  uint32_t indexes;
  //uint8_t counter;
} BombillaBiBaSignature;

typedef uint32_t b_capsule_version;

typedef struct {
  b_capsule_version version;
  uint8_t type;
  uint8_t options;
  int8_t code[BOMB_PGMSIZE];
  BombillaBiBaSignature signature;
} BombillaCapsule;

typedef struct {
  bool haveSeen;
  uint16_t usedVars;
  BombillaCapsule capsule;
} BombillaCapsuleBuffer;

typedef struct {
  BombillaCapsuleBuffer* capsule;
  uint8_t pc;
} BombillaReturnVariable;

typedef struct {
  uint8_t sp;
  BombillaReturnVariable stack[BOMB_CALLDEPTH];
} BombillaReturnStack;

typedef struct {
  uint8_t pc;
  uint8_t state;
  BombillaCapsuleBuffer rootCapsule;
  BombillaCapsuleBuffer* currentCapsule;
  uint8_t which;
  int16_t condition;
  uint16_t heldSet;
  uint16_t releaseSet;
  uint16_t acquireSet;
  uint16_t header[BOMB_HEADERSIZES];
  BombillaOperandStack opStack;
  BombillaReturnStack rStack;
  list_link_t link;
  BombillaQueue* queue;
} BombillaContext;

typedef struct {
  BombillaContext* holder;
} BombillaLock;

typedef struct BombillaErrorMsg {
  uint8_t context;
  uint8_t reason;
  uint8_t capsule;
  uint8_t instruction;
} BombillaErrorMsg;

typedef struct BombillaCapsuleMsg {
  BombillaCapsule capsule;
} BombillaCapsuleMsg;

typedef struct BombillaPacketMsg {
  int8_t header[BOMB_HEADERSIZE];
  BombillaDataBuffer payload;
} BombillaPacket;

typedef enum {
  BOMB_VERSION_VECTOR = 0,
  BOMB_VERSION_PROGRAM = 1
} BombillaVersionMsgType;

typedef struct BombillaVersionMsg {
  uint8_t type;
  b_capsule_version versions[BOMB_CAPSULE_NUM];
  BombillaBiBaSignature signature;
} BombillaVersionMsg;

#endif