act_id.h

Go to the documentation of this file.

/*************************************************************************
 *
 *  Copyright (c) 2021 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_ID_H__
#define __ACT_ID_H__
 
#include <stdio.h>
#include <common/mstring.h>
#include <act/expr.h>
 
class Array;
class Scope;
class ActNamespace;
class act_connection;
class ValueIdx;
class UserDef;
class Process;
 
class ActId {
 public:
 
  ActId (const char *s, Array *_a = NULL);
 
  ~ActId (); 
 
  int isRange();
  
  int isDeref() { return !!(!isRange () && (a != NULL)); } 
 
  Array *arrayInfo() { return a; }
 
  void Append (ActId *id);
 
  const char *getName () { return string_char (name); }
 
  ActId *Rest () { return next; }
 
  void Print (FILE *fp, ActId *stop = NULL, int style = 0);
 
  void sPrint (char *buf, int sz, ActId *stop = NULL, int style = 0); 
 
  ActId *Clone ();
 
  ActId *Expand (ActNamespace *ns, Scope  *s);
 
  ActId *ExpandCHP (ActNamespace *ns, Scope *s);
 
  Expr *Eval (ActNamespace *ns, Scope *s, int is_lval = 0, int is_chp = 0);
 
  Expr *EvalCHP (ActNamespace *ns, Scope *s, int is_lval = 0) {
    return Eval (ns, s, is_lval, 1);
  }
 
  act_connection *Canonical (Scope *s);
 
  act_connection *myConnection (Scope *s);
 
 
  void setArray (Array *_a) { a = _a; }
 
  void prune () { next = NULL; }
 
  int isEqual (ActId *other);
 
  int isExpanded ();
 
  ActId *Tail();
 
  ValueIdx *rootVx (Scope *);
 
  int isDynamicDeref ();
 
  UserDef *isFragmented (Scope *);
 
  ActId *unFragment (Scope *);
 
 
  UserDef *canFragment (Scope *);
 
  act_connection *rootCanonical (Scope *);
 
  int isNonLocal (Scope *s);    
 
  static ActId *parseId (char *s, const char delim1, const char arrayL,
                         const char arrayR, const char delim2);
  static ActId *parseId (const char *s, const char delim1, const char arrayL,
                         const char arrayR, const char delim2);
 
  static ActId *parseId (const char *s);
  static ActId *parseId (char *s);
 
  ActId *nonProcSuffix (Process *p, Process **ret);
 
  int validateDeref (Scope *sc);
 
  ActId *stripArray ();
 
  int isNamespace();
 
  ActNamespace *getNamespace();
 
 private:
  mstring_t *name;              
  Array *a;                     
  ActId *next;                  
  ValueIdx *rawValueIdx (Scope *); 
};
 
 
// WARNING: for internal use only.
// When extending sparse arrays, the init flag used for connection
// initialization only applies to the existing array blocks. Some
// additional initialization is needed for uesr-defined types.
// elem_num = element # to be initialized, -1 = nothing
void _act_int_import_connections (act_connection *cx, UserDef *ux, Array *a, int elem_num);
 
#endif /* __ACT_ID_H__ */