value.h

Go to the documentation of this file.

/*************************************************************************
 *
 *  This file is part of the ACT library
 *
 *  Copyright (c) 2019 Rajit Manohar
 *
 *  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
 *  of the License, 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., 51 Franklin Street, Fifth Floor,
 *  Boston, MA  02110-1301, USA.
 *
 **************************************************************************
 */
#ifndef __ACT_VALUE_H__
#define __ACT_VALUE_H__
 
 
class InstType;
class ValueIdx;
struct act_attr;
 
#include <act/basetype.h>
 
class act_connection {
public:
  ValueIdx *vx;                 
 
 
  act_connection *parent;       
  
  act_connection *up;           
  
  act_connection *next;         
  
  act_connection **a;   
 
  act_connection(act_connection *_parent = NULL);
 
  
  ActId *toid();                
  
  bool isglobal();              
 
  ActNamespace *getnsifglobal(); 
 
  bool isPrimary() { return (up == NULL) ? 1 : 0; }
 
  bool isPrimary(int i)  { return a[i] && (a[i]->isPrimary()); }
 
  
  act_connection *getsubconn(int idx, int sz);
 
  int suboffset (act_connection *c);
 
  int myoffset () { return parent->suboffset (this); }
  
  bool hasDirectconnections() { return next != this; }
 
  bool hasAnyConnection();
 
  bool hasDirectconnections(int i) { return a && a[i] && a[i]->hasDirectconnections(); }
  
  bool hasSubconnections() { return a != NULL; }
 
  bool hasSubconnections(int i) { return a && a[i]; }
 
 
  int numSubconnections();
 
  int numTotSubconnections();
 
  ValueIdx *getvx();
 
  unsigned int getctype();
 
  act_connection *primary();
 
  Type::direction getDir();
 
  bool disconnect ();
 
  bool disconnectable ();
 
  void Print (FILE *fp);
};
 
 
class ValueIdx {
public:
  InstType *t;                  
  
  struct act_attr *a;           
  struct act_attr **array_spec; 
  
  unsigned int init:1;     
 
  unsigned int immutable:1;     
 
  ActNamespace *global;      
 
  union {
    long idx;              
    struct {
      act_connection *c;        
      
      const char *name;         
 
    } obj;                      
    
  } u;                          
 
 
  bool hasConnection()  { return init && (u.obj.c != NULL); }
 
  bool hasAnyConnection() { if (!hasConnection()) return false; else return u.obj.c->hasAnyConnection(); }
 
  bool hasConnection(int i) { return init && (u.obj.c != NULL) && (u.obj.c->a) && (u.obj.c->a[i]); }
 
  bool hasSubconnections() { return hasConnection() && connection()->hasSubconnections(); }
 
  bool isPrimary() { return !hasConnection() || (u.obj.c->isPrimary()); }
 
  bool isPrimary(int i) { return !hasConnection(i) || (u.obj.c->a[i]->isPrimary()); }
 
  act_connection *connection() { return init ? u.obj.c : NULL; }
 
  const char *getName() { return u.obj.name; }
 
  act_attr *getAttr() { return a; }
 
  act_attr *getAttrIdx(int i) { return array_spec ? array_spec[i] : NULL; }
 
  bool haveAttrIdx() { return array_spec ? true : false; }
 
  int numAttrIdx();
};
 
void act_mk_connection (UserDef *ux, ActId *id1, act_connection *c1,
                        ActId *id2, act_connection *c2);
 
void act_merge_attributes (ValueIdx *vx1, ValueIdx *vx2,
                           struct act_attr **x, struct act_attr *a);
 
void _act_mk_raw_connection (act_connection *c1, act_connection *c2);
 
void act_print_attributes (FILE *fp, act_attr *a);
 
#endif /* __ACT_VALUE_H__ */