projects/ldc: dmd2/template.h annotate

annotate dmd2/template.h @ 1650:40bd4a0d4870

Update to work with LLVM 2.7. Removed use of dyn_cast, llvm no compiles without exceptions and rtti by default. We do need exceptions for the libconfig stuff, but rtti isn't necessary (anymore). Debug info needs to be rewritten, as in LLVM 2.7 the format has completely changed. To have something to look at while rewriting, the old code has been wrapped inside #ifndef DISABLE_DEBUG_INFO , this means that you have to define this to compile at the moment. Updated tango 0.99.9 patch to include updated EH runtime code, which is needed for LLVM 2.7 as well.

author	Tomas Lindquist Olsen
date	Wed, 19 May 2010 12:42:32 +0200
parents	54b3c1394d62
children

rev	line source
1452 638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	1
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	2 // Compiler implementation of the D programming language
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	3 // Copyright (c) 1999-2009 by Digital Mars
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	4 // All Rights Reserved
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	5 // written by Walter Bright
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	6 // http://www.digitalmars.com
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	7 // License for redistribution is by either the Artistic License
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	8 // in artistic.txt, or the GNU General Public License in gnu.txt.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	9 // See the included readme.txt for details.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	10
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	11 #ifndef DMD_TEMPLATE_H
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	12 #define DMD_TEMPLATE_H
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	13
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	14 #ifdef __DMC__
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	15 #pragma once
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	16 #endif /* __DMC__ */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	17 #if IN_LLVM
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	18 #include <string>
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	19 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	20 #include "root.h"
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	21 #include "arraytypes.h"
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	22 #include "dsymbol.h"
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	23 #if IN_LLVM
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	24 #include "mtype.h"
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	25 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	26
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	27 struct OutBuffer;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	28 struct Identifier;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	29 struct TemplateInstance;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	30 struct TemplateParameter;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	31 struct TemplateTypeParameter;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	32 struct TemplateThisParameter;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	33 struct TemplateValueParameter;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	34 struct TemplateAliasParameter;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	35 struct TemplateTupleParameter;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	36 struct Type;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	37 struct TypeTypeof;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	38 struct Scope;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	39 struct Expression;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	40 struct AliasDeclaration;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	41 struct FuncDeclaration;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	42 struct HdrGenState;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	43 enum MATCH;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	44
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	45 struct Tuple : Object
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	46 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	47 Objects objects;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	48
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	49 int dyncast() { return DYNCAST_TUPLE; } // kludge for template.isType()
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	50 };
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	51
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	52
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	53 struct TemplateDeclaration : ScopeDsymbol
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	54 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	55 TemplateParameters *parameters; // array of TemplateParameter's
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	56
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	57 TemplateParameters *origParameters; // originals for Ddoc
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	58 Expression *constraint;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	59 Array instances; // array of TemplateInstance's
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	60
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	61 TemplateDeclaration *overnext; // next overloaded TemplateDeclaration
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	62 TemplateDeclaration *overroot; // first in overnext list
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	63
1526 54b3c1394d62 Merged dmdfe 2.031. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	64 int semanticRun; // 1 semantic() run
54b3c1394d62 Merged dmdfe 2.031. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	65
1452 638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	66 Dsymbol *onemember; // if !=NULL then one member of this template
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	67
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	68 int literal; // this template declaration is a literal
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	69
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	70 TemplateDeclaration(Loc loc, Identifier id, TemplateParameters parameters,
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	71 Expression constraint, Array decldefs);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	72 Dsymbol syntaxCopy(Dsymbol );
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	73 void semantic(Scope *sc);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	74 int overloadInsert(Dsymbol *s);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	75 void toCBuffer(OutBuffer buf, HdrGenState hgs);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	76 const char *kind();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	77 char *toChars();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	78
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	79 void emitComment(Scope *sc);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	80 // void toDocBuffer(OutBuffer *buf);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	81
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	82 MATCH matchWithInstance(TemplateInstance ti, Objects atypes, int flag);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	83 MATCH leastAsSpecialized(TemplateDeclaration *td2);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	84
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	85 MATCH deduceFunctionTemplateMatch(Loc loc, Objects targsi, Expression ethis, Expressions fargs, Objects dedargs);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	86 FuncDeclaration deduceFunctionTemplate(Scope sc, Loc loc, Objects targsi, Expression ethis, Expressions *fargs, int flags = 0);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	87 void declareParameter(Scope sc, TemplateParameter tp, Object *o);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	88
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	89 TemplateDeclaration *isTemplateDeclaration() { return this; }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	90
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	91 TemplateTupleParameter *isVariadic();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	92 int isOverloadable();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	93
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	94 #if IN_LLVM
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	95 // LDC
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	96 std::string intrinsicName;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	97 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	98 };
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	99
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	100 struct TemplateParameter
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	101 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	102 /* For type-parameter:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	103 * template Foo(ident) // specType is set to NULL
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	104 * template Foo(ident : specType)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	105 * For value-parameter:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	106 * template Foo(valType ident) // specValue is set to NULL
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	107 * template Foo(valType ident : specValue)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	108 * For alias-parameter:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	109 * template Foo(alias ident)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	110 * For this-parameter:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	111 * template Foo(this ident)
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	112 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	113
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	114 Loc loc;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	115 Identifier *ident;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	116
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	117 Declaration *sparam;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	118
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	119 TemplateParameter(Loc loc, Identifier *ident);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	120
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	121 virtual TemplateTypeParameter *isTemplateTypeParameter();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	122 virtual TemplateValueParameter *isTemplateValueParameter();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	123 virtual TemplateAliasParameter *isTemplateAliasParameter();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	124 #if DMDV2
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	125 virtual TemplateThisParameter *isTemplateThisParameter();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	126 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	127 virtual TemplateTupleParameter *isTemplateTupleParameter();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	128
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	129 virtual TemplateParameter *syntaxCopy() = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	130 virtual void declareParameter(Scope *sc) = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	131 virtual void semantic(Scope *) = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	132 virtual void print(Object oarg, Object oded) = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	133 virtual void toCBuffer(OutBuffer buf, HdrGenState hgs) = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	134 virtual Object *specialization() = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	135 virtual Object defaultArg(Loc loc, Scope sc) = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	136
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	137 /* If TemplateParameter's match as far as overloading goes.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	138 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	139 virtual int overloadMatch(TemplateParameter *) = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	140
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	141 /* Match actual argument against parameter.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	142 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	143 virtual MATCH matchArg(Scope sc, Objects tiargs, int i, TemplateParameters parameters, Objects dedtypes, Declaration **psparam, int flags = 0) = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	144
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	145 /* Create dummy argument based on parameter.
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	146 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	147 virtual void *dummyArg() = 0;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	148 };
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	149
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	150 struct TemplateTypeParameter : TemplateParameter
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	151 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	152 /* Syntax:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	153 * ident : specType = defaultType
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	154 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	155 Type *specType; // type parameter: if !=NULL, this is the type specialization
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	156 Type *defaultType;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	157
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	158 TemplateTypeParameter(Loc loc, Identifier ident, Type specType, Type *defaultType);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	159
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	160 TemplateTypeParameter *isTemplateTypeParameter();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	161 TemplateParameter *syntaxCopy();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	162 void declareParameter(Scope *sc);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	163 void semantic(Scope *);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	164 void print(Object oarg, Object oded);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	165 void toCBuffer(OutBuffer buf, HdrGenState hgs);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	166 Object *specialization();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	167 Object defaultArg(Loc loc, Scope sc);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	168 int overloadMatch(TemplateParameter *);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	169 MATCH matchArg(Scope sc, Objects tiargs, int i, TemplateParameters parameters, Objects dedtypes, Declaration **psparam, int flags);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	170 void *dummyArg();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	171 };
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	172
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	173 #if DMDV2
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	174 struct TemplateThisParameter : TemplateTypeParameter
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	175 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	176 /* Syntax:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	177 * this ident : specType = defaultType
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	178 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	179 Type *specType; // type parameter: if !=NULL, this is the type specialization
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	180 Type *defaultType;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	181
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	182 TemplateThisParameter(Loc loc, Identifier ident, Type specType, Type *defaultType);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	183
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	184 TemplateThisParameter *isTemplateThisParameter();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	185 TemplateParameter *syntaxCopy();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	186 void toCBuffer(OutBuffer buf, HdrGenState hgs);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	187 };
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	188 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	189
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	190 struct TemplateValueParameter : TemplateParameter
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	191 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	192 /* Syntax:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	193 * valType ident : specValue = defaultValue
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	194 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	195
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	196 Type *valType;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	197 Expression *specValue;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	198 Expression *defaultValue;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	199
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	200 static Expression *edummy;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	201
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	202 TemplateValueParameter(Loc loc, Identifier ident, Type valType, Expression specValue, Expression defaultValue);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	203
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	204 TemplateValueParameter *isTemplateValueParameter();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	205 TemplateParameter *syntaxCopy();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	206 void declareParameter(Scope *sc);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	207 void semantic(Scope *);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	208 void print(Object oarg, Object oded);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	209 void toCBuffer(OutBuffer buf, HdrGenState hgs);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	210 Object *specialization();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	211 Object defaultArg(Loc loc, Scope sc);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	212 int overloadMatch(TemplateParameter *);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	213 MATCH matchArg(Scope sc, Objects tiargs, int i, TemplateParameters parameters, Objects dedtypes, Declaration **psparam, int flags);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	214 void *dummyArg();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	215 };
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	216
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	217 struct TemplateAliasParameter : TemplateParameter
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	218 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	219 /* Syntax:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	220 * specType ident : specAlias = defaultAlias
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	221 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	222
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	223 Type *specType;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	224 Object *specAlias;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	225 Object *defaultAlias;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	226
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	227 static Dsymbol *sdummy;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	228
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	229 TemplateAliasParameter(Loc loc, Identifier ident, Type specType, Object specAlias, Object defaultAlias);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	230
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	231 TemplateAliasParameter *isTemplateAliasParameter();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	232 TemplateParameter *syntaxCopy();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	233 void declareParameter(Scope *sc);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	234 void semantic(Scope *);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	235 void print(Object oarg, Object oded);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	236 void toCBuffer(OutBuffer buf, HdrGenState hgs);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	237 Object *specialization();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	238 Object defaultArg(Loc loc, Scope sc);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	239 int overloadMatch(TemplateParameter *);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	240 MATCH matchArg(Scope sc, Objects tiargs, int i, TemplateParameters parameters, Objects dedtypes, Declaration **psparam, int flags);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	241 void *dummyArg();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	242 };
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	243
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	244 struct TemplateTupleParameter : TemplateParameter
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	245 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	246 /* Syntax:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	247 * ident ...
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	248 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	249
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	250 TemplateTupleParameter(Loc loc, Identifier *ident);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	251
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	252 TemplateTupleParameter *isTemplateTupleParameter();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	253 TemplateParameter *syntaxCopy();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	254 void declareParameter(Scope *sc);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	255 void semantic(Scope *);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	256 void print(Object oarg, Object oded);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	257 void toCBuffer(OutBuffer buf, HdrGenState hgs);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	258 Object *specialization();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	259 Object defaultArg(Loc loc, Scope sc);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	260 int overloadMatch(TemplateParameter *);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	261 MATCH matchArg(Scope sc, Objects tiargs, int i, TemplateParameters parameters, Objects dedtypes, Declaration **psparam, int flags);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	262 void *dummyArg();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	263 };
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	264
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	265 struct TemplateInstance : ScopeDsymbol
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	266 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	267 /* Given:
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	268 * foo!(args) =>
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	269 * name = foo
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	270 * tiargs = args
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	271 */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	272 Identifier *name;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	273 //Array idents;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	274 Objects *tiargs; // Array of Types/Expressions of template
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	275 // instance arguments [int, char, 1010]
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	276
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	277 Objects tdtypes; // Array of Types/Expressions corresponding
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	278 // to TemplateDeclaration.parameters
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	279 // [int, char, 100]
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	280
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	281 TemplateDeclaration *tempdecl; // referenced by foo.bar.abc
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	282 TemplateInstance *inst; // refer to existing instance
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	283 TemplateInstance *tinst; // enclosing template instance
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	284 ScopeDsymbol *argsym; // argument symbol table
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	285 AliasDeclaration *aliasdecl; // !=NULL if instance is an alias for its
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	286 // sole member
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	287 WithScopeSymbol *withsym; // if a member of a with statement
1526 54b3c1394d62 Merged dmdfe 2.031. Robert Clipsham <robert@octarineparrot.com> parents: 1452 diff changeset	288 int semanticRun; // has semantic() been done?
1452 638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	289 int semantictiargsdone; // has semanticTiargs() been done?
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	290 int nest; // for recursion detection
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	291 int havetempdecl; // 1 if used second constructor
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	292 Dsymbol *isnested; // if referencing local symbols, this is the context
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	293 int errors; // 1 if compiled with errors
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	294 #ifdef IN_GCC
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	295 /* On some targets, it is necessary to know whether a symbol
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	296 will be emitted in the output or not before the symbol
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	297 is used. This can be different from getModule(). */
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	298 Module * objFileModule;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	299 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	300
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	301 TemplateInstance(Loc loc, Identifier *temp_id);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	302 TemplateInstance(Loc loc, TemplateDeclaration tempdecl, Objects tiargs);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	303 static Objects arraySyntaxCopy(Objects objs);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	304 Dsymbol syntaxCopy(Dsymbol );
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	305 void semantic(Scope *sc);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	306 void semantic2(Scope *sc);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	307 void semantic3(Scope *sc);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	308 void inlineScan();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	309 void toCBuffer(OutBuffer buf, HdrGenState hgs);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	310 Dsymbol *toAlias(); // resolve real symbol
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	311 const char *kind();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	312 int oneMember(Dsymbol **ps);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	313 char *toChars();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	314 char *mangle();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	315 void printInstantiationTrace();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	316
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	317 #if IN_DMD
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	318 void toObjFile(int multiobj); // compile to .obj file
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	319 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	320
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	321 // Internal
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	322 static void semanticTiargs(Loc loc, Scope sc, Objects tiargs, int flags);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	323 void semanticTiargs(Scope *sc);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	324 TemplateDeclaration findTemplateDeclaration(Scope sc);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	325 TemplateDeclaration findBestMatch(Scope sc);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	326 void declareParameters(Scope *sc);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	327 int hasNestedArgs(Objects *tiargs);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	328 Identifier *genIdent();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	329
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	330 TemplateInstance *isTemplateInstance() { return this; }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	331 AliasDeclaration *isAliasDeclaration();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	332
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	333 #if IN_LLVM
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	334 // LDC
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	335 Module* tmodule; // module from outermost enclosing template instantiation
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	336 Module* emittedInModule; // which module this template instance has been emitted in
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	337
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	338 void codegen(Ir*);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	339 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	340 };
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	341
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	342 struct TemplateMixin : TemplateInstance
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	343 {
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	344 Array *idents;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	345 Type *tqual;
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	346
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	347 TemplateMixin(Loc loc, Identifier ident, Type tqual, Array idents, Objects tiargs);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	348 Dsymbol syntaxCopy(Dsymbol s);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	349 void semantic(Scope *sc);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	350 void semantic2(Scope *sc);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	351 void semantic3(Scope *sc);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	352 void inlineScan();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	353 const char *kind();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	354 int oneMember(Dsymbol **ps);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	355 int hasPointers();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	356 char *toChars();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	357 char *mangle();
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	358 void toCBuffer(OutBuffer buf, HdrGenState hgs);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	359
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	360 #if IN_DMD
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	361 void toObjFile(int multiobj); // compile to .obj file
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	362 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	363
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	364 TemplateMixin *isTemplateMixin() { return this; }
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	365
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	366 #if IN_LLVM
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	367 void codegen(Ir*);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	368 #endif
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	369 };
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	370
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	371 Expression isExpression(Object o);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	372 Dsymbol isDsymbol(Object o);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	373 Type isType(Object o);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	374 Tuple isTuple(Object o);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	375 Type getType(Object o);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	376 Dsymbol getDsymbol(Object o);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	377
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	378 void ObjectToCBuffer(OutBuffer buf, HdrGenState hgs, Object *oarg);
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	379
638d16625da2 LDC 2 compiles again. Robert Clipsham <robert@octarineparrot.com> parents: 953 diff changeset	380 #endif /* DMD_TEMPLATE_H */

Mercurial > projects > ldc

annotate dmd2/template.h @ 1650:40bd4a0d4870