/home/doxygen/libascend/compiler/expr_types.h

/*  ASCEND modelling environment
    Copyright (C) 2006, 2007 Carnegie Mellon University
    Copyright (C) 1990, 1993, 1994 Thomas Guthrie Epperly

    This program is free software; you can redistribute it and/or modify
    it under the terms of the GNU General Public License as published by
    the Free Software Foundation; either version 2, or (at your option)
    any later version.

    This program 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 General Public License for more details.

    You should have received a copy of the GNU General Public License
    along with this program; if not, write to the Free Software
    Foundation, Inc., 59 Temple Place - Suite 330,
    Boston, MA 02111-1307, USA.
*//*
    @file
    Name, set and expr type definitions

    @todo Complete documentation of types.h.

    Renamed from 'types.h' -- JP, 21 Jun 2006.
*//*
    by Tom Epperly
    July 31, 1989
    Last in CVS $Revision: 1.17 $ $Date: 1998/03/25 00:32:31 $ $Author: ballan $
*/

#ifndef ASC_TYPES_H
#define ASC_TYPES_H

#include <limits.h>
#include "compiler.h"
#include "dimen.h"
#include <general/list.h>
#include "functype.h"

/* !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
 * Please see usage notes at top of Expr_enum before modifying it.
 * In particular, if you mess with it, make sure the defines still work.
 */
#define NUM_EXPR_ENUMS 44

enum Expr_enum {
  /* shouldn't be seen, but just in case */
  e_nop     = 0,     
  e_undefined   = 1, 
  e_glassbox    = 2, 
  e_blackbox    = 3, 
  e_opcode  = 4,   
  e_token   = 5,     
  e_zero    = 6,     
  e_real    = 7,     
  e_int     = 8,     
/* two types only to be seen in fully compiled token relations, and not
  yet seen at all. These are the types for RelationRealConst terms and
  RelationIntegerConst terms.
  e_realconst  = 7a,
  e_intconst  = 8a,
*/
  e_var     = 9,     
  e_uminus  = 10,  
  e_func    = 11,    
  e_plus    = 12,    
  e_minus   = 13,    
  e_times   = 14,    
  e_divide  = 15,  
  e_power   = 16,    
  e_ipower  = 17,  
  /* Don't mess with the ordering of the above items */

  /* Boolean Relations  */
  e_bol_token,

  /* relational operators, at present somewhat overloaded. may be in any kind*/
  e_notequal,     
  e_equal,        
  e_less,         
  e_greater,      
  e_lesseq,       
  e_greatereq,    
  e_maximize,     
  e_minimize,     
  e_boolean_eq,   
  e_boolean_neq,  
  /* ALL following are never encountered in compiled real relations */
  e_boolean,      
/*e_var_bool,      unimplemented boolean variable */
  e_or,           
  e_and,          
  e_not,          
  e_satisfied,    
  /* ALL following are never encountered in compiled bool relations */
  e_subexpr,      
  e_const,        
  e_par,          
  e_sum,          
  e_prod,         
  e_symbol,       
/*e_var_sym unimplemented symbol variable */
  e_set,          
  e_in,           
  e_st,           
  e_card,         
  e_choice,       
  e_union,        
  e_inter,        
  /* miscellany */
  e_qstring       
};

#define TOK_SCALAR_LOW    e_zero
#define TOK_SCALAR_HIGH   e_var
#define TOK_CONSTANT_LOW  e_zero
#define TOK_CONSTANT_HIGH e_int
#define TOK_XARY_LOW      e_uminus
#define TOK_XARY_HIGH     e_ipower
#define TOK_BINARY_LOW    e_plus
#define TOK_BINARY_HIGH   e_ipower
#define TOK_UNARY_LOW     e_uminus
#define TOK_UNARY_HIGH    e_func
#define TOK_REAL_REL_LOW  e_zero
#define TOK_REAL_REL_HIGH e_ipower
#define TOK_REL_TYPE_LOW  e_glassbox
#define TOK_REL_TYPE_HIGH e_token

struct ExprReal {
  double rvalue;
  CONST dim_type *dimensions;
};

struct SatisfiedExpr {
  struct ExprReal ser;
  struct Name *sen;
};

union ExprUnion {
  struct Name *nptr;
  long ivalue;
  symchar *sym_ptr;   
  struct Set *s;
  struct ExprReal r;
  CONST struct Func *fptr;
  unsigned bvalue;    
  struct SatisfiedExpr se;
};

struct Expr {
  struct Expr *next;
  enum Expr_enum t;
  union ExprUnion v;
};

struct Range {
  struct Expr *lower,*upper;
};

union SetUnion {
  struct Expr *e;   
  struct Range r;   
};

struct Set {
  struct Set *next;
  unsigned range;   
  union SetUnion val;
  unsigned long ref_count;
};

union NameUnion {
  symchar *id;      
  struct Set *s;
  int attribute;    
};

struct Name {
  /* this element info */
  unsigned int bits;
#define NAMEBIT_IDTY    0x1
#define NAMEBIT_ATTR    0x2
#define NAMEBIT_CHAT    0x4
#define NAMEBIT_AUTO    0x8
  struct Name *next;
  union NameUnion val;
};

#define MAXINTREAL 100000

/* @} */

#endif /* ASC_TYPES_H */

---