source: src/Parser/TypeData.h @ 2a8427c6

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 2a8427c6 was 2a8427c6, checked in by Peter A. Buhr <pabuhr@…>, 6 years ago

adjust meaning of var-args for C empty parameter list

  • Property mode set to 100644
File size: 4.2 KB
RevLine 
[b87a5ed]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//
[148f7290]7// TypeData.h --
[b87a5ed]8//
9// Author           : Rodolfo G. Esteves
10// Created On       : Sat May 16 15:18:36 2015
[e612146c]11// Last Modified By : Peter A. Buhr
[2a8427c6]12// Last Modified On : Thu Feb 22 15:21:23 2018
13// Update Count     : 191
[b87a5ed]14//
15
[6b0b624]16#pragma once
[51b7345]17
[d180746]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
[51b7345]26
[c8ffe20b]27struct TypeData {
[ce8c12f]28        enum Kind { Basic, Pointer, Array, Reference, Function, Aggregate, AggregateInst, Enum, EnumConstant, Symbolic,
[faddbd8]29                                SymbolicInst, Tuple, Typeof, Builtin, Unknown };
[b87a5ed]30
31        struct Aggregate_t {
[68cd1ce]32                DeclarationNode::Aggregate kind;
[2298f728]33                const std::string * name;
[7ee14bb7]34                DeclarationNode * params;
[2298f728]35                ExpressionNode * actuals;                                               // holds actual parameters later applied to AggInst
[7ee14bb7]36                DeclarationNode * fields;
[5d125e4]37                bool body;
[6ea87486]38
39                bool tagged;
40                const std::string * parent;
[b87a5ed]41        };
42
43        struct AggInst_t {
[7ee14bb7]44                TypeData * aggregate;
45                ExpressionNode * params;
[43c89a7]46                bool hoistType;
[b87a5ed]47        };
48
49        struct Array_t {
[7ee14bb7]50                ExpressionNode * dimension;
[b87a5ed]51                bool isVarLen;
52                bool isStatic;
53        };
54
55        struct Enumeration_t {
[2298f728]56                const std::string * name;
[7ee14bb7]57                DeclarationNode * constants;
[ca1a547]58                bool body;
[b87a5ed]59        };
60
61        struct Function_t {
[3a5131ed]62                mutable DeclarationNode * params;                               // mutables modified in buildKRFunction
63                mutable DeclarationNode * idList;                               // old-style
64                mutable DeclarationNode * oldDeclList;
[7ee14bb7]65                StatementNode * body;
[84276ba]66                ExpressionNode * withExprs;             // expressions from function's with_clause
[b87a5ed]67        };
68
69        struct Symbolic_t {
[2298f728]70                const std::string * name;
[721f17a]71                bool isTypedef;                                                                 // false => TYPEGENname, true => TYPEDEFname
[7ee14bb7]72                DeclarationNode * params;
73                ExpressionNode * actuals;
74                DeclarationNode * assertions;
[b87a5ed]75        };
76
[0b0f1dd]77        CodeLocation location;
78
[28307be]79        Kind kind;
[413ad05]80        TypeData * base;
[5b639ee]81        DeclarationNode::BasicType basictype = DeclarationNode::NoBasicType;
82        DeclarationNode::ComplexType complextype = DeclarationNode::NoComplexType;
83        DeclarationNode::Signedness signedness = DeclarationNode::NoSignedness;
84        DeclarationNode::Length length = DeclarationNode::NoLength;
[148f7290]85        DeclarationNode::BuiltinType builtintype = DeclarationNode::NoBuiltinType;
[c3396e0]86
[738e304]87        Type::Qualifiers qualifiers;
[413ad05]88        DeclarationNode * forall;
89
[c3396e0]90        // Basic_t basic;
91        Aggregate_t aggregate;
92        AggInst_t aggInst;
93        Array_t array;
94        Enumeration_t enumeration;
95        // Variable_t variable;
96        Function_t function;
97        Symbolic_t symbolic;
98        DeclarationNode * tuple;
99        ExpressionNode * typeexpr;
[b87a5ed]100
[413ad05]101        TypeData( Kind k = Unknown );
102        ~TypeData();
103        void print( std::ostream &, int indent = 0 ) const;
104        TypeData * clone() const;
[51b7345]105};
106
[413ad05]107Type * typebuild( const TypeData * );
108TypeData * typeextractAggregate( const TypeData * td, bool toplevel = true );
109Type::Qualifiers buildQualifiers( const TypeData * td );
110Type * buildBasicType( const TypeData * );
111PointerType * buildPointer( const TypeData * );
112ArrayType * buildArray( const TypeData * );
[ce8c12f]113ReferenceType * buildReference( const TypeData * );
[c0aa336]114AggregateDecl * buildAggregate( const TypeData *, std::list< Attribute * > );
[fa4805f]115ReferenceToType * buildComAggInst( const TypeData *, std::list< Attribute * > attributes, LinkageSpec::Spec linkage );
[413ad05]116ReferenceToType * buildAggInst( const TypeData * );
117TypeDecl * buildVariable( const TypeData * );
[bd46af4]118EnumDecl * buildEnum( const TypeData *, std::list< Attribute * >, LinkageSpec::Spec );
[413ad05]119TypeInstType * buildSymbolicInst( const TypeData * );
120TupleType * buildTuple( const TypeData * );
121TypeofType * buildTypeof( const TypeData * );
[e612146c]122Declaration * buildDecl( const TypeData *, const std::string &, Type::StorageClasses, Expression *, Type::FuncSpecifiers funcSpec, LinkageSpec::Spec, Expression * asmName, Initializer * init = nullptr, std::list< class Attribute * > attributes = std::list< class Attribute * >() );
[413ad05]123FunctionType * buildFunction( const TypeData * );
[3a5131ed]124void buildKRFunction( const TypeData::Function_t & function );
[413ad05]125
[b87a5ed]126// Local Variables: //
127// tab-width: 4 //
128// mode: c++ //
129// compile-command: "make install" //
130// End: //
Note: See TracBrowser for help on using the repository browser.