source: src/Parser/TypeData.h @ 9fa61f5

ADTast-experimental
Last change on this file since 9fa61f5 was 702e826, checked in by Andrew Beach <ajbeach@…>, 15 months ago

Pre-translation pass on the parser. Entirely code readability improvements, no behaviour (on a larger scale) should be effected.

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