TemplateInstance

this this(Loc loc, TemplateDeclaration td, Objects* tiargs): This constructor is only called when we figured out which function template to instantiate.

Members

Functions

appendToModuleMember Dsymbols* appendToModuleMember(): Append 'this' to the specific module members[]
declareParameters void declareParameters(Scope* sc): Declare parameters of template instance, initialize them with the template instance arguments.
equalsx bool equalsx(TemplateInstance ti): Compare proposed template instantiation with existing template instantiation. Note that this is not commutative because of the auto ref check.
findBestMatch bool findBestMatch(Scope* sc, Expressions* fargs): Find the TemplateDeclaration that matches this TemplateInstance best.
findTempDecl bool findTempDecl(Scope* sc, WithScopeSymbol* pwithsym): Find template declaration corresponding to template instance.
genIdent Identifier genIdent(Objects* args): This instance needs an identifier for name mangling purposes. Create one by taking the template declaration name and adding the type signature for it.
getIdent Identifier getIdent(): Lazily generate identifier for template instance. This is because 75% of the ident's are never needed.
hasNestedArgs bool hasNestedArgs(Objects* args, bool isstatic): Determines if a TemplateInstance will need a nested generation of the TemplateDeclaration. Sets enclosing property if so, and returns != 0;
isDiscardable bool isDiscardable()
needsCodegen bool needsCodegen(): Returns true if this is not instantiated in non-root module, and is a part of non-speculative instantiatiation.
needsTypeInference bool needsTypeInference(Scope* sc, int flag): Determine if template instance is really a template function, and that template function needs to infer types from the function arguments.
printInstantiationTrace void printInstantiationTrace(Classification cl): Given an error instantiating the TemplateInstance, give the nested TemplateInstance instantiations that got us here. Those are a list threaded into the nested scopes.
semanticTiargs bool semanticTiargs(Scope* sc): Run semantic on the elements of tiargs. Input: sc
updateTempDecl bool updateTempDecl(Scope* sc, Dsymbol s): Confirm s is a valid template, then store it. Input: sc s candidate symbol of template. It may be: TemplateDeclaration FuncDeclaration with findTemplateDeclRoot() != NULL OverloadSet which contains candidates

Properties

gagged bool gagged [@property getter]: if the instantiation is done with error gagging
havetempdecl bool havetempdecl [@property getter]: if used second constructor
semantictiargsdone bool semantictiargsdone [@property getter]: has semanticTiargs() been done?

Static functions

semanticTiargs bool semanticTiargs(Loc loc, Scope* sc, Objects* tiargs, int flags): Run semantic of tiargs as arguments of template. Input: loc sc tiargs array of template arguments flags 1: replace const variables with their initializers 2: don't devolve Parameter to Type

Inherited Members

From ScopeDsymbol

search Dsymbol search(Loc loc, Identifier ident, int flags): This function is #1 on the list of functions that eat cpu time. Be very, very careful about slowing it down.
findGetMembers FuncDeclaration findGetMembers(): Look for member of the form: const(MemberInfo)[] getMembers(string); Returns NULL if not found
symtabLookup Dsymbol symtabLookup(Dsymbol s, Identifier id): Look up identifier in symbol table.
hasStaticCtorOrDtor bool hasStaticCtorOrDtor(): Return true if any of the members are static ctors or static dtors, or if any members have members that are.
_foreach int _foreach(Scope* sc, Dsymbols* members, ForeachDg dg, size_t* pn): Expands attribute declarations in members in depth first order. Calls dg(size_t symidx, Dsymbol *sym) for each member. If dg returns !=0, stops and returns that value else returns 0. Use this function to avoid the O(N + N^2/2) complexity of calculating dim and calling N times getNth.