"Fossies" - the Fresh Open Source Software Archive  

Source code changes of the file "projects/CodeThorn/src/EState.h" between
rose-0.11.53.0.tar.gz and rose-0.11.54.0.tar.gz

About: ROSE is a compiler infrastructure to build source-to-source program transformation and analysis tools for large-scale C, C++, UPC, Fortran, OpenMP, Java, Python and PHP applications.

EState.h  (rose-0.11.53.0):EState.h  (rose-0.11.54.0)
skipping to change at line 39 skipping to change at line 39
class VariableValueMonitor; class VariableValueMonitor;
class CTAnalysis; class CTAnalysis;
/*! /*!
* \author Markus Schordan * \author Markus Schordan
* \date 2012. * \date 2012.
*/ */
typedef const CodeThorn::PState* PStatePtr; typedef const CodeThorn::PState* PStatePtr;
//#define NO_ESTATE_PSTATE_MEM_COPY
class EState : public Lattice { class EState : public Lattice {
public: public:
EState(); EState();
EState(Label label, PStatePtr pstate):_label(label),_pstate(pstate) {} EState(Label label, PStatePtr pstate):_label(label),_pstate(pstate) {}
EState(Label label, PStatePtr pstate, CodeThorn::InputOutput io):_label(labe l),_pstate(pstate),io(io){} EState(Label label, PStatePtr pstate, CodeThorn::InputOutput io):_label(labe l),_pstate(pstate),io(io){}
EState(Label label, CallString cs, PStatePtr pstate, CodeThorn::InputOutput io):_label(label),_pstate(pstate),io(io),callString(cs) {} EState(Label label, CallString cs, PStatePtr pstate, CodeThorn::InputOutput io):_label(label),_pstate(pstate),io(io),callString(cs) {}
~EState(); ~EState();
#ifndef NO_ESTATE_PSTATE_MEM_COPY
EState(const EState &other); // copy constructor EState(const EState &other); // copy constructor
EState& operator=(const EState &other); // assignment operator EState& operator=(const EState &other); // assignment operator
#endif
std::string toString() const; std::string toString() const;
std::string toString(CodeThorn::VariableIdMapping* variableIdMapping) const; std::string toString(CodeThorn::VariableIdMapping* variableIdMapping) const;
std::string toHTML() const; /// multi-line version for dot output std::string toHTML() const; /// multi-line version for dot output
std::string labelString() const; std::string labelString() const;
long memorySize() const; long memorySize() const;
void setLabel(Label lab) { _label=lab; } void setLabel(Label lab) { _label=lab; }
Label label() const { return _label; } Label label() const { return _label; }
void setPState(PStatePtr pstate) { _pstate=pstate; } void setPState(PStatePtr pstate) { _pstate=pstate; }
 End of changes. 3 change blocks. 
0 lines changed or deleted 4 lines changed or added

Home  |  About  |  Features  |  All  |  Newest  |  Dox  |  Diffs  |  RSS Feeds  |  Screenshots  |  Comments  |  Imprint  |  Privacy  |  HTTP(S)