AssignmentLHSTypeTraversal.hpp

Go to the documentation of this file.

#ifndef _ASSIGNMENTLHSTYPETRAVERSAL_HPP_
#define _ASSIGNMENTLHSTYPETRAVERSAL_HPP_

#include <fstream>
#include <set>
#include "util/Utils.hpp"
#include "xaif/Sage2XAIFGraph.hpp"
#include "xaif/AssignmentLHSTypeTraversal.hpp"


namespace rose2xaif {
 namespace SgXAIF {
 class SynthesizedTypeInfo: public SgSynthesizedAttribute {
 public:
 SynthesizedTypeInfo()
 {type = 0;}
 ~SynthesizedTypeInfo()
 {}
 void add(int value=1){
 type +=value;
 }
 void subtract(int value=-1){
 type-=value;
 }
 int getType(){
 return type;
 }
 void setType(int value){
 type = value;
 }
 bool isPointerAssignement(){
 return (type>0);
 }
 bool isValueAssignement(){
 return !isPointerAssignement();
 }
 /*
 * Type is an integer that holds the number of 'ranks' an expression is removed from being a scalar
 * For a scalar, type is 0.
 * For a pointer to a scalar type is 1.
 * For a pointer to a pointer, the type is one plus the type of the pointee.
 * For expressions, the type is determined by the operators on the SgVarRefExp. For example,
 * applying the & operator to a scalar increments its type by 1.
 */
 private:
 int type;
 };

 class AssignmentLHSTypeTraversal : public SgBottomUpProcessing<SynthesizedTypeInfo> {
 public:
 SynthesizedTypeInfo evaluateSynthesizedAttribute(SgNode*, SynthesizedAttributesList st);
 SynthesizedTypeInfo determineTypeOf(SgVarRefExp* theVarRefExp_p, SynthesizedAttributesList st);
 //int getPointerSymbolRank(SgVariableSymbol * theSgVariableSymbol_p);
 };

 }
}
#endif