source: src/Parser/TypeData.h @ 6e9ffd1

aaron-thesisarm-ehcleanup-dtorsdeferred_resnjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprno_listpersistent-indexer
Last change on this file since 6e9ffd1 was f7e4db27, checked in by Peter A. Buhr <pabuhr@…>, 3 years ago

improve error messages for useless declarations

  • Property mode set to 100644
File size: 4.4 KB
Line 
1//
2// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
3//
4// The contents of this file are covered under the licence agreement in the
5// file "LICENCE" distributed with Cforall.
6//
7// TypeData.h --
8//
9// Author           : Rodolfo G. Esteves
10// Created On       : Sat May 16 15:18:36 2015
11// Last Modified By : Peter A. Buhr
12// Last Modified On : Fri Jul 20 13:56:40 2018
13// Update Count     : 195
14//
15
16#pragma once
17
18#include <iosfwd>                // for ostream
19#include <list>                  // for list
20#include <string>                // for string
21
22#include "ParseNode.h"           // for DeclarationNode, DeclarationNode::Ag...
23#include "Parser/LinkageSpec.h"  // for Spec
24#include "SynTree/Type.h"        // for Type, ReferenceToType (ptr only)
25#include "SynTree/SynTree.h"     // for Visitor Nodes
26
27struct TypeData {
28        enum Kind { Basic, Pointer, Reference, Array, Function, Aggregate, AggregateInst, Enum, EnumConstant, Symbolic,
29                                SymbolicInst, Tuple, Typeof, Builtin, GlobalScope, Qualified, Unknown };
30
31        struct Aggregate_t {
32                DeclarationNode::Aggregate kind;
33                const std::string * name;
34                DeclarationNode * params;
35                ExpressionNode * actuals;                                               // holds actual parameters later applied to AggInst
36                DeclarationNode * fields;
37                bool body;
38                bool anon;
39
40                bool tagged;
41                const std::string * parent;
42        };
43
44        struct AggInst_t {
45                TypeData * aggregate;
46                ExpressionNode * params;
47                bool hoistType;
48        };
49
50        struct Array_t {
51                ExpressionNode * dimension;
52                bool isVarLen;
53                bool isStatic;
54        };
55
56        struct Enumeration_t {
57                const std::string * name;
58                DeclarationNode * constants;
59                bool body;
60                bool anon;
61        };
62
63        struct Function_t {
64                mutable DeclarationNode * params;                               // mutables modified in buildKRFunction
65                mutable DeclarationNode * idList;                               // old-style
66                mutable DeclarationNode * oldDeclList;
67                StatementNode * body;
68                ExpressionNode * withExprs;                                             // expressions from function's with_clause
69        };
70
71        struct Symbolic_t {
72                const std::string * name;
73                bool isTypedef;                                                                 // false => TYPEGENname, true => TYPEDEFname
74                DeclarationNode * params;
75                ExpressionNode * actuals;
76                DeclarationNode * assertions;
77        };
78
79        struct Qualified_t {                                                            // qualified type S.T
80                TypeData * parent;
81                TypeData * child;
82        };
83
84        CodeLocation location;
85
86        Kind kind;
87        TypeData * base;
88        DeclarationNode::BasicType basictype = DeclarationNode::NoBasicType;
89        DeclarationNode::ComplexType complextype = DeclarationNode::NoComplexType;
90        DeclarationNode::Signedness signedness = DeclarationNode::NoSignedness;
91        DeclarationNode::Length length = DeclarationNode::NoLength;
92        DeclarationNode::BuiltinType builtintype = DeclarationNode::NoBuiltinType;
93
94        Type::Qualifiers qualifiers;
95        DeclarationNode * forall;
96
97        Aggregate_t aggregate;
98        AggInst_t aggInst;
99        Array_t array;
100        Enumeration_t enumeration;
101        Function_t function;
102        Symbolic_t symbolic;
103        Qualified_t qualified;
104        DeclarationNode * tuple;
105        ExpressionNode * typeexpr;
106
107        TypeData( Kind k = Unknown );
108        ~TypeData();
109        void print( std::ostream &, int indent = 0 ) const;
110        TypeData * clone() const;
111
112        const std::string * leafName() const;
113};
114
115Type * typebuild( const TypeData * );
116TypeData * typeextractAggregate( const TypeData * td, bool toplevel = true );
117Type::Qualifiers buildQualifiers( const TypeData * td );
118Type * buildBasicType( const TypeData * );
119PointerType * buildPointer( const TypeData * );
120ArrayType * buildArray( const TypeData * );
121ReferenceType * buildReference( const TypeData * );
122AggregateDecl * buildAggregate( const TypeData *, std::list< Attribute * > );
123ReferenceToType * buildComAggInst( const TypeData *, std::list< Attribute * > attributes, LinkageSpec::Spec linkage );
124ReferenceToType * buildAggInst( const TypeData * );
125TypeDecl * buildVariable( const TypeData * );
126EnumDecl * buildEnum( const TypeData *, std::list< Attribute * >, LinkageSpec::Spec );
127TypeInstType * buildSymbolicInst( const TypeData * );
128TupleType * buildTuple( const TypeData * );
129TypeofType * buildTypeof( const TypeData * );
130Declaration * buildDecl( const TypeData *, const std::string &, Type::StorageClasses, Expression *, Type::FuncSpecifiers funcSpec, LinkageSpec::Spec, Expression * asmName,
131                                                 Initializer * init = nullptr, std::list< class Attribute * > attributes = std::list< class Attribute * >() );
132FunctionType * buildFunction( const TypeData * );
133void buildKRFunction( const TypeData::Function_t & function );
134
135// Local Variables: //
136// tab-width: 4 //
137// mode: c++ //
138// compile-command: "make install" //
139// End: //
Note: See TracBrowser for help on using the repository browser.