source: src/Parser/TypeData.h

Last change on this file was e4d7c1c, checked in by JiadaL <j82liang@…>, 4 weeks ago

Implement enum Hiding

  • Property mode set to 100644
File size: 4.7 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           : Peter A. Buhr
10// Created On       : Sat May 16 15:18:36 2015
11// Last Modified By : Peter A. Buhr
12// Last Modified On : Tue May 10 22:18:49 2022
13// Update Count     : 203
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 "SynTree/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, Basetypeof, Typeof, Vtable, Builtin, GlobalScope, Qualified, Unknown };
30
31        struct Aggregate_t {
32                AggregateDecl::Aggregate kind;
33                const std::string * name = nullptr;
34                DeclarationNode * params = nullptr;
35                ExpressionNode * actuals = nullptr;                             // holds actual parameters later applied to AggInst
36                DeclarationNode * fields = nullptr;
37                bool body;
38                bool anon;
39
40                bool tagged;
41                const std::string * parent = nullptr;
42        };
43
44        struct AggInst_t {
45                TypeData * aggregate = nullptr;
46                ExpressionNode * params = nullptr;
47                bool hoistType;
48        };
49
50        struct Array_t {
51                ExpressionNode * dimension = nullptr;
52                bool isVarLen;
53                bool isStatic;
54        };
55
56        struct Enumeration_t {
57                const std::string * name = nullptr;
58                DeclarationNode * constants = nullptr;
59                bool body;
60                bool anon;
61                bool typed;
62                EnumHiding hiding;
63        };
64
65        struct Function_t {
66                mutable DeclarationNode * params = nullptr;             // mutables modified in buildKRFunction
67                mutable DeclarationNode * idList = nullptr;             // old-style
68                mutable DeclarationNode * oldDeclList = nullptr;
69                StatementNode * body = nullptr;
70                ExpressionNode * withExprs = nullptr;                   // expressions from function's with_clause
71        };
72
73        struct Symbolic_t {
74                const std::string * name = nullptr;
75                bool isTypedef;                                                                 // false => TYPEGENname, true => TYPEDEFname
76                DeclarationNode * params = nullptr;
77                ExpressionNode * actuals = nullptr;
78                DeclarationNode * assertions = nullptr;
79        };
80
81        struct Qualified_t {                                                            // qualified type S.T
82                TypeData * parent = nullptr;
83                TypeData * child = nullptr;
84        };
85
86        CodeLocation location;
87
88        Kind kind;
89        TypeData * base;
90        DeclarationNode::BasicType basictype = DeclarationNode::NoBasicType;
91        DeclarationNode::ComplexType complextype = DeclarationNode::NoComplexType;
92        DeclarationNode::Signedness signedness = DeclarationNode::NoSignedness;
93        DeclarationNode::Length length = DeclarationNode::NoLength;
94        DeclarationNode::BuiltinType builtintype = DeclarationNode::NoBuiltinType;
95
96        Type::Qualifiers qualifiers;
97        DeclarationNode * forall = nullptr;
98
99        Aggregate_t aggregate;
100        AggInst_t aggInst;
101        Array_t array;
102        Enumeration_t enumeration;
103        Function_t function;
104        Symbolic_t symbolic;
105        Qualified_t qualified;
106        DeclarationNode * tuple = nullptr;
107        ExpressionNode * typeexpr = nullptr;
108
109        TypeData( Kind k = Unknown );
110        ~TypeData();
111        void print( std::ostream &, int indent = 0 ) const;
112        TypeData * clone() const;
113
114        const std::string * leafName() const;
115};
116
117Type * typebuild( const TypeData * );
118TypeData * typeextractAggregate( const TypeData * td, bool toplevel = true );
119Type::Qualifiers buildQualifiers( const TypeData * td );
120Type * buildBasicType( const TypeData * );
121PointerType * buildPointer( const TypeData * );
122ArrayType * buildArray( const TypeData * );
123ReferenceType * buildReference( const TypeData * );
124AggregateDecl * buildAggregate( const TypeData *, std::list< Attribute * > );
125ReferenceToType * buildComAggInst( const TypeData *, std::list< Attribute * > attributes, LinkageSpec::Spec linkage );
126ReferenceToType * buildAggInst( const TypeData * );
127TypeDecl * buildVariable( const TypeData * );
128EnumDecl * buildEnum( const TypeData *, std::list< Attribute * >, LinkageSpec::Spec );
129TypeInstType * buildSymbolicInst( const TypeData * );
130TupleType * buildTuple( const TypeData * );
131TypeofType * buildTypeof( const TypeData * );
132VTableType * buildVtable( const TypeData * );
133Declaration * buildDecl( const TypeData *, const std::string &, Type::StorageClasses, Expression *, Type::FuncSpecifiers funcSpec, LinkageSpec::Spec, Expression * asmName,
134                                                 Initializer * init = nullptr, std::list< class Attribute * > attributes = std::list< class Attribute * >() );
135FunctionType * buildFunction( const TypeData * );
136Declaration * addEnumBase( Declaration *, const TypeData * );
137void buildKRFunction( const TypeData::Function_t & function );
138
139// Local Variables: //
140// tab-width: 4 //
141// mode: c++ //
142// compile-command: "make install" //
143// End: //
Note: See TracBrowser for help on using the repository browser.