/**
 *          Title:  Public types, prototypes, and macros for
 *                  extra stacks words. 
 *           File:  xstacks-ext.h
 *         Author:  david.n.williams@umich.edu
 *        License:  LGPL
 *        Version:  0.6.5
 * Last revision:   December 20, 2006
 *
 * Copyright (C) 2001, 2002, 2006 David N. Williams
 *
 * modify it under the terms of the GNU Lesser General Public
 * License as published by the Free Software Foundation; either
 * version 2.1 of the License, or (at your option) any later
 * version.
 *
 * This library is distributed in the hope that it will be
 * useful, but WITHOUT ANY WARRANTY; without even the implied
 * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR
 * PURPOSE.  See the GNU Lesser General Public License for more
 * details.
 *
 * Please see the file POLITENESS included with this
 * distribution.
 */

#ifndef _PFE_XSTACKS_EXT_H 
#define _PFE_XSTACKS_EXT_H

typedef struct dw_XStack dw_XStack;

struct dw_XStack
{
  p4ucell *xsp;	    /* address of stack top (low mem) */
  p4ucell *xsp0;    /* address offend of stack bottom (high mem) */
  p4ucell xsbreak;  /* lowest cell available for stack top */
};


/*** FUNCTIONS AND WORDS ***/

FCode (dw_brak_to_x);
FCode (dw_brak_x_from);
FCode (dw_brak_x_fetch);
FCode (dw_brak_fetch_to_x);
FCode (dw_brak_x_from_store);
FCode (dw_brak_x_drop);
FCode (dw_brak_x_dup);
FCode (dw_brak_x_over);
FCode (dw_brak_x_swap);
FCode (dw_brak_x_depth);
FCode (dw_brak_xsp_store);
FCode (dw_brak_xsp0_store);
FCode (dw_brak_xsp_fetch);

FCode (dw_brak_two_to_x);
FCode (dw_brak_two_x_from);
FCode (dw_brak_two_x_fetch);
FCode (dw_brak_two_fetch_to_x);
FCode (dw_brak_two_x_from_store);
FCode (dw_brak_x_two_drop);
FCode (dw_brak_x_two_dup);
FCode (dw_brak_x_two_over);
FCode (dw_brak_x_two_swap);

FCode (dw_to_x);
FCode (dw_x_from);
FCode (dw_x_fetch);
FCode (dw_fetch_to_x);
FCode (dw_x_from_store);
FCode (dw_x_drop);
FCode (dw_x_dup);
FCode (dw_x_over);
FCode (dw_x_swap);
FCode (dw_x_depth);
FCode (dw_xsp_store);
FCode (dw_xsp0_store);
FCode (dw_xsp_fetch);

FCode (dw_two_to_x);
FCode (dw_two_x_from);
FCode (dw_two_x_fetch);
FCode (dw_two_fetch_to_x);
FCode (dw_two_x_from_store);
FCode (dw_x_two_drop);
FCode (dw_x_two_dup);
FCode (dw_x_two_over);
FCode (dw_x_two_swap);

#endif	/* ndef _PFE_XSTACKS_EXT_H */