/*-*-Macsyma-*-*/
/*    (c) Copyright 1984 the Regents of the University of California.
          All Rights Reserved.
          This work was produced under the sponsorship of the
          U.S. Department of Energy.  The Government retains
          certain rights therein.                                     */

EVAL_WHEN([TRANSLATE,BATCH,DEMO],
	  LOAD_PACKAGE(SHAREM,"MAX$DISK:[SHAREM]AUTOLO"))$

HERALD_PACKAGE(DEFSTMRUN)$

MATCHFIX("{","}")$

REFERENCE_AN_EXTEND(X,ACCESSOR,EXPECTED_EXTEND_TYPE,SLOT_NUMBER):=
   BLOCK([TYPE:EXTENDP(X)],
      COND(TYPE=FALSE,NOT_AN_EXTEND(ACCESSOR,X),

	   TYPE=EXPECTED_EXTEND_TYPE,EXTEND_REF(X,SLOT_NUMBER),

	   TRUE,
	   ERROR("Attempt to use",ACCESSOR,"to access a slot of",X,
		 "Expected MACSYMA EXTEND type was:",EXPECTED_EXTEND_TYPE)))$

NOT_AN_EXTEND(ALT,OBJ):=
   ERROR(ALT,"was not given a MACSYMA EXTEND object; argument was:",OBJ)$

ALTER_EXTEND_CHECK(X,ALTERANT,EXPECTED_EXTEND_TYPE):=
   BLOCK([TYPE:EXTENDP(X)],
      COND(TYPE=FALSE,NOT_AN_EXTEND(ALTERANT,X),

	   TYPE#EXPECTED_EXTEND_TYPE,
	   ERROR("Attempt to apply",ALTERANT,"to alter",X,
		 "Expected MACSYMA EXTEND type was:",EXPECTED_EXTEND_TYPE)))$