Mercurial > projects > dil
view src/dil/ast/Parameters.d @ 806:bcb74c9b895c
Moved out files in the trunk folder to the root.
author | Aziz K?ksal <aziz.koeksal@gmail.com> |
---|---|
date | Sun, 09 Mar 2008 00:12:19 +0100 |
parents | trunk/src/dil/ast/Parameters.d@5fe89bb8cbdd |
children | 09a64d96967a |
line wrap: on
line source
/++ Author: Aziz Köksal License: GPL3 +/ module dil.ast.Parameters; import dil.ast.Node; import dil.ast.Type; import dil.ast.Expression; import dil.ast.NodeCopier; import dil.lexer.Identifier; import dil.Enums; /// A function or foreach parameter. class Parameter : Node { StorageClass stc; /// The storage classes of the parameter. TypeNode type; /// The parameter's type. Identifier* name; /// The name of the parameter. Expression defValue; /// The default initialization value. this(StorageClass stc, TypeNode type, Identifier* name, Expression defValue) { super(NodeCategory.Other); mixin(set_kind); // type can be null when param in foreach statement addOptChild(type); addOptChild(defValue); this.stc = stc; this.type = type; this.name = name; this.defValue = defValue; } /// Returns true if this is a D-style variadic parameter. /// E.g.: func(int[] values ...) bool isDVariadic() { return isVariadic && !isCVariadic; } /// Returns true if this is a C-style variadic parameter. /// E.g.: func(...) bool isCVariadic() { return stc == StorageClass.Variadic && type is null && name is null; } /// Returns true if this is a D- or C-style variadic parameter. bool isVariadic() { return !!(stc & StorageClass.Variadic); } mixin(copyMethod); } /// Array of parameters. class Parameters : Node { this() { super(NodeCategory.Other); mixin(set_kind); } bool hasVariadic() { if (children.length != 0) return items[$-1].isVariadic(); return false; } void opCatAssign(Parameter param) { addChild(param); } Parameter[] items() { return cast(Parameter[])children; } size_t length() { return children.length; } mixin(copyMethod); } /*~~~~~~~~~~~~~~~~~~~~~~ ~ Template parameters: ~ ~~~~~~~~~~~~~~~~~~~~~~*/ /// Abstract base class for all template parameters. abstract class TemplateParameter : Node { Identifier* ident; this(Identifier* ident) { super(NodeCategory.Other); this.ident = ident; } override abstract TemplateParameter copy(); } /// E.g.: (alias T) class TemplateAliasParameter : TemplateParameter { TypeNode specType, defType; this(Identifier* ident, TypeNode specType, TypeNode defType) { super(ident); mixin(set_kind); addOptChild(specType); addOptChild(defType); this.ident = ident; this.specType = specType; this.defType = defType; } mixin(copyMethod); } /// E.g.: (T t) class TemplateTypeParameter : TemplateParameter { TypeNode specType, defType; this(Identifier* ident, TypeNode specType, TypeNode defType) { super(ident); mixin(set_kind); addOptChild(specType); addOptChild(defType); this.ident = ident; this.specType = specType; this.defType = defType; } mixin(copyMethod); } // version(D2) // { /// E.g.: (this T) class TemplateThisParameter : TemplateParameter { TypeNode specType, defType; this(Identifier* ident, TypeNode specType, TypeNode defType) { super(ident); mixin(set_kind); addOptChild(specType); addOptChild(defType); this.ident = ident; this.specType = specType; this.defType = defType; } mixin(copyMethod); } // } /// E.g.: (T) class TemplateValueParameter : TemplateParameter { TypeNode valueType; Expression specValue, defValue; this(TypeNode valueType, Identifier* ident, Expression specValue, Expression defValue) { super(ident); mixin(set_kind); addChild(valueType); addOptChild(specValue); addOptChild(defValue); this.valueType = valueType; this.ident = ident; this.specValue = specValue; this.defValue = defValue; } mixin(copyMethod); } /// E.g.: (T...) class TemplateTupleParameter : TemplateParameter { this(Identifier* ident) { super(ident); mixin(set_kind); this.ident = ident; } mixin(copyMethod); } /// Array of template parameters. class TemplateParameters : Node { this() { super(NodeCategory.Other); mixin(set_kind); } void opCatAssign(TemplateParameter parameter) { addChild(parameter); } TemplateParameter[] items() { return cast(TemplateParameter[])children; } mixin(copyMethod); } /// Array of template arguments. class TemplateArguments : Node { this() { super(NodeCategory.Other); mixin(set_kind); } void opCatAssign(Node argument) { addChild(argument); } mixin(copyMethod); }