source: src/Parser/TypeData.h @ dd020c0

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
Last change on this file since dd020c0 was dd020c0, checked in by Peter A. Buhr <pabuhr@…>, 7 years ago

first attempt to create function specifiers

  • Property mode set to 100644
File size: 4.0 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 Mar  3 20:56:53 2017
13// Update Count     : 167
14//
15
16#ifndef TYPEDATA_H
17#define TYPEDATA_H
18
19#include <bitset>
20
21#include "ParseNode.h"
22#include "SynTree/Type.h"
23
24struct TypeData {
25        enum Kind { Basic, Pointer, Array, Function, Aggregate, AggregateInst, Enum, EnumConstant, Symbolic,
26                                SymbolicInst, Tuple, Typeof, Builtin, Unknown };
27
28        struct Aggregate_t {
29                DeclarationNode::Aggregate kind;
30                const std::string * name;
31                DeclarationNode * params;
32                ExpressionNode * actuals;                                               // holds actual parameters later applied to AggInst
33                DeclarationNode * fields;
34                bool body;
35        };
36
37        struct AggInst_t {
38                TypeData * aggregate;
39                ExpressionNode * params;
40                bool hoistType;
41        };
42
43        struct Array_t {
44                ExpressionNode * dimension;
45                bool isVarLen;
46                bool isStatic;
47        };
48
49        struct Enumeration_t {
50                const std::string * name;
51                DeclarationNode * constants;
52                bool body;
53        };
54
55        struct Function_t {
56                mutable DeclarationNode * params;                               // mutables modified in buildKRFunction
57                mutable DeclarationNode * idList;                               // old-style
58                mutable DeclarationNode * oldDeclList;
59                StatementNode * body;
60                bool newStyle;
61        };
62
63        struct Symbolic_t {
64                const std::string * name;
65                bool isTypedef;                                                                 // false => TYPEGENname, true => TYPEDEFname
66                DeclarationNode * params;
67                ExpressionNode * actuals;
68                DeclarationNode * assertions;
69        };
70
71        Kind kind;
72        TypeData * base;
73        DeclarationNode::BasicType basictype = DeclarationNode::NoBasicType;
74        DeclarationNode::ComplexType complextype = DeclarationNode::NoComplexType;
75        DeclarationNode::Signedness signedness = DeclarationNode::NoSignedness;
76        DeclarationNode::Length length = DeclarationNode::NoLength;
77        DeclarationNode::BuiltinType builtintype = DeclarationNode::NoBuiltinType;
78        typedef std::bitset< DeclarationNode::NoTypeQualifier > TypeQualifiers;
79        TypeQualifiers typeQualifiers;
80        DeclarationNode * forall;
81
82                // Basic_t basic;
83                Aggregate_t aggregate;
84                AggInst_t aggInst;
85                Array_t array;
86                Enumeration_t enumeration;
87                // Variable_t variable;
88                Function_t function;
89                Symbolic_t symbolic;
90                DeclarationNode * tuple;
91                ExpressionNode * typeexpr;
92                // DeclarationNode::BuiltinType builtin;
93
94        TypeData( Kind k = Unknown );
95        ~TypeData();
96        void print( std::ostream &, int indent = 0 ) const;
97        TypeData * clone() const;
98};
99
100Type * typebuild( const TypeData * );
101TypeData * typeextractAggregate( const TypeData * td, bool toplevel = true );
102Type::Qualifiers buildQualifiers( const TypeData * td );
103Type * buildBasicType( const TypeData * );
104PointerType * buildPointer( const TypeData * );
105ArrayType * buildArray( const TypeData * );
106AggregateDecl * buildAggregate( const TypeData *, std::list< Attribute * > );
107ReferenceToType * buildComAggInst( const TypeData *, std::list< Attribute * > attributes );
108ReferenceToType * buildAggInst( const TypeData * );
109NamedTypeDecl * buildSymbolic( const TypeData *, const std::string &name, DeclarationNode::StorageClass sc );
110TypeDecl * buildVariable( const TypeData * );
111EnumDecl * buildEnum( const TypeData *, std::list< Attribute * > );
112TypeInstType * buildSymbolicInst( const TypeData * );
113TupleType * buildTuple( const TypeData * );
114TypeofType * buildTypeof( const TypeData * );
115Declaration * buildDecl( const TypeData *, const std::string &, DeclarationNode::StorageClass, Expression *, DeclarationNode::FuncSpec funcSpec, LinkageSpec::Spec, ConstantExpr *asmName, Initializer * init = nullptr, std::list< class Attribute * > attributes = std::list< class Attribute * >() );
116FunctionType * buildFunction( const TypeData * );
117void buildKRFunction( const TypeData::Function_t & function );
118
119#endif // TYPEDATA_H
120
121// Local Variables: //
122// tab-width: 4 //
123// mode: c++ //
124// compile-command: "make install" //
125// End: //
Note: See TracBrowser for help on using the repository browser.