1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
|
/* $Id$
*
* Copyright (C) 2008-2009 FAUmachine Team <info@faumachine.org>.
* This program is free software. You can redistribute it and/or modify it
* under the terms of the GNU General Public License, either version 2 of
* the License, or (at your option) any later version. See COPYING.
*/
#ifndef __LABEL_FACTORY_HPP_INCLUDED
#define __LABEL_FACTORY_HPP_INCLUDED
#include "intermediate/container/Label.hpp"
namespace intermediate {
//! produce uniquely named labels.
class LabelFactory {
public:
//! get a label with prefix prefix
/** @param prefix desired prefix of the label.
* @return Label with a unique name.
*/
static Label *getLabel(const char *prefix);
//! get a label with a fixed name.
/** No checks are performed, if this label is unique.
* @param name desired name of the label.
* @return Label with the requested name.
*/
static Label *getFixedLabel(const char *name);
//! get a label with a fixed name.
/** No checks are performed, if this label is unique.
* @param name desired name of the label.
* @return Label with the requested name.
*/
static Label *getFixedLabel(const std::string &name);
//! get a label pointing to an unparametrized error function.
/** Use this method to get a lable that can be jumped to in case
* an error occurs (e.g. constraint violations etc.)
*/
static Label *getErrorLabel(void);
private:
// internal Label counter
static int cnt;
};
}; /* namespace intermediate */
#endif /* __LABEL_FACTORY_HPP_INCLUDED */
|
