//
// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
//
// The contents of this file are covered under the licence agreement in the
// file "LICENCE" distributed with Cforall.
//
// LabelGenerator.cc --
//
// Author           : Rodolfo G. Esteves
// Created On       : Mon May 18 07:44:20 2015
// Last Modified By : Peter A. Buhr
// Last Modified On : Mon Jan 31 22:30:26 2022
// Update Count     : 28
//

#include <iostream>             // for operator<<, basic_ostream
#include <sstream>              // for ostringstream
#include <list>                 // for list
using namespace std;

#include "LabelGenerator.h"

#include "SynTree/Attribute.h"  // for Attribute
#include "SynTree/Label.h"      // for Label, operator<<
#include "SynTree/Statement.h"  // for Statement

namespace ControlStruct {
int LabelGenerator::current = 0;
LabelGenerator * LabelGenerator::labelGenerator = nullptr;

LabelGenerator * LabelGenerator::getGenerator() {
	if ( LabelGenerator::labelGenerator == 0 )
		LabelGenerator::labelGenerator = new LabelGenerator();
	return labelGenerator;
}

Label LabelGenerator::newLabel( string suffix, Statement * stmt ) {
	ostringstream os;
	os << "__L_OLD" << current++ << "__" << suffix;
	if ( stmt && ! stmt->get_labels().empty() ) {
		os << "_" << stmt->get_labels().front() << "__";
	} // if
	string ret = os.str();
	Label l( ret );
	l.get_attributes().push_back( new Attribute( "unused" ) );
	return l;
}
} // namespace ControlStruct

// Local Variables: //
// mode: c++ //
// End: //