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
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
|
/* $Id$
*
* Copyright (C) 2007-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 __SUBTYPE_INDICATION_HPP_INCLUDED
#define __SUBTYPE_INDICATION_HPP_INCLUDED
#include "frontend/ast/Name.hpp"
#include "frontend/ast/DiscreteRange.hpp"
#include "frontend/ast/TypeDeclaration.hpp"
#include "frontend/misc/Symbol.hpp"
namespace ast {
//! any Name referring to a type or subtype.
/** This class contains the superset of Names referring to a type or
* subtype, eventually with a unique constraint and/or a
* Resolution function.
*/
class SubtypeIndication : public TypeDeclaration {
public:
//! c'tor
/** @param typeMark Name referring to the type or subtype
* @param loc location of the type name.
*/
SubtypeIndication(Name *typeMark, Location loc);
//! alternate c'tor
/** Construct a SubtypeIndication directly by a given type.
* @param byType type that the SubtypeIndication refers to.
* @param loc Location of the SubtypeIndication.
*/
SubtypeIndication(const TypeDeclaration *byType, Location loc);
//! Accept a Visitor.
/** All leaf AST nodes need to implement this method.
*
* @param visitor the Visitor that can visit this node.
*/
virtual void accept(Visitor& visitor) {
visitor.visit(*this);
}
/** Put a textual representation of the AstNode on the stream.
* @param stream stream to put the textual representation to.
*/
virtual void put(std::ostream &stream) const {
stream << "Subtype ";
if (this->typeName != NULL) {
stream << this->typeName;
} else {
stream << "(unnammed)";
}
assert(this->declaration != NULL);
stream << " : ";
if (this->declaration->name != NULL) {
stream << *this->declaration->name;
} else {
stream << "(unnamed)";
}
if (this->constraint) {
stream << ' ' << this->constraint;
}
if (this->indexConstraint) {
stream << " (";
util::MiscUtil::listPut(this->indexConstraint, stream,
", ");
stream << ')';
}
if (this->resolutionFunction) {
stream << " resolved by " << this->resolutionFunction;
}
}
/** Name referring to the type or subtype */
Name *typeName;
/** optional range constraint */
DiscreteRange *constraint;
/** optional index constraint */
std::list<DiscreteRange*> *indexConstraint;
/** optional additional resolution function. */
Name *resolutionFunction;
/** the referred to type declaration, not reference counted! */
const TypeDeclaration *declaration;
/** Return the resolution function of the subtype indication, if any.
* @return resolution function or null. Caller should free the return
* value.
*/
std::string *getResolver(void) const;
protected:
/** Destructor */
virtual ~SubtypeIndication() {
util::MiscUtil::terminate(typeName);
util::MiscUtil::terminate(constraint);
util::MiscUtil::terminate(resolutionFunction);
}
};
}; /* namespace ast */
#endif /*__SUBTYPE_INDICATION_HPP_INCLUDED */
|
