source: src/Parser/TypeData.h@ 8a3d5e7

ADT ast-experimental
Last change on this file since 8a3d5e7 was e4d7c1c, checked in by JiadaL <j82liang@…>, 3 years 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.