public AbstractType TryDeduce(DSymbol ds, IEnumerable <ISemantic> templateArguments, ref INode n)
{
TemplateTypeParameter tp;
var t = ds as TemplateType;
if (t == null)
{
return(null);
}
var orig = ds.Definition;
var tupleStruct = new DClassLike(DTokens.Struct)
{
NameHash = ds.NameHash,
Parent = orig.Parent,
Location = orig.Location,
EndLocation = orig.EndLocation,
NameLocation = orig.NameLocation
};
var ded = new Templates.DeducedTypeDictionary(tupleStruct);
var sb = new StringBuilder();
if (templateArguments != null)
{
var en = templateArguments.GetEnumerator();
if (en.MoveNext())
{
var next = en.Current;
int i = 0;
for (; ; i++)
{
var fieldType = AbstractType.Get(next);
if (fieldType == null)
{
break;
}
fieldType.NonStaticAccess = true;
if (!en.MoveNext())
{
break;
}
next = en.Current;
if (next is ArrayValue && (next as ArrayValue).IsString)
{
var name = (next as ArrayValue).StringValue;
if (!string.IsNullOrWhiteSpace(name))
{
var templateParamName = "_" + i.ToString();
tp = new TemplateTypeParameter(templateParamName, CodeLocation.Empty, tupleStruct);
ded[tp] = new TemplateParameterSymbol(tp, fieldType);
// getter
sb.Append("@property @safe ").Append(templateParamName).Append(' ').Append(name).AppendLine("() pure nothrow const {}");
// setter
sb.Append("@property @safe void ").Append(name).AppendLine("(").Append(templateParamName).AppendLine(" v) pure nothrow {}");
// constants
sb.Append("enum ").Append(templateParamName).Append(" ").Append(name).Append("_min = cast(").Append(templateParamName).AppendLine(") 0;");
sb.Append("enum ").Append(templateParamName).Append(" ").Append(name).Append("_max = cast(").Append(templateParamName).AppendLine(") 0;");
}
if (!en.MoveNext())
{
break;
}
}
else
{
break;
}
if (!en.MoveNext()) // Skip offset
{
break;
}
next = en.Current;
}
}
tupleStruct.Add(new DVariable {
NameHash = tupleStruct.NameHash,
Attributes = new List <DAttribute> {
new Modifier(DTokens.Enum)
},
Initializer = new IdentifierExpression(sb.ToString(), LiteralFormat.StringLiteral, LiteralSubformat.Utf8)
});
}
n = tupleStruct;
return(new TemplateType(tupleStruct, ds.DeclarationOrExpressionBase, ded.Count != 0 ? ded.Values : null));
}
public AbstractType TryDeduce(DSymbol ds, IEnumerable <ISemantic> templateArguments, ref INode n)
{
TemplateTypeParameter tp;
var t = ds as TemplateType;
if (t == null)
{
return(null);
}
var orig = ds.Definition;
var tupleStruct = new DClassLike(DTokens.Struct)
{
NameHash = ds.NameHash,
Parent = orig.Parent,
Location = orig.Location,
EndLocation = orig.EndLocation,
NameLocation = orig.NameLocation
};
var ded = new Templates.DeducedTypeDictionary(tupleStruct);
if (templateArguments != null)
{
var typeList = new List <AbstractType>();
var en = templateArguments.GetEnumerator();
if (en.MoveNext())
{
var next = en.Current;
int i = 0;
for (; ; i++)
{
var fieldType = AbstractType.Get(next);
if (fieldType == null)
{
break;
}
fieldType.NonStaticAccess = true;
typeList.Add(fieldType);
if (!en.MoveNext())
{
break;
}
next = en.Current;
if (next is ArrayValue && (next as ArrayValue).IsString)
{
var name = (next as ArrayValue).StringValue;
var templateParamName = "_" + i.ToString();
tp = new TemplateTypeParameter(templateParamName, CodeLocation.Empty, tupleStruct);
ded[tp] = new TemplateParameterSymbol(tp, fieldType);
tupleStruct.Add(new DVariable {
Name = name, Type = new IdentifierDeclaration(templateParamName)
});
if (!en.MoveNext())
{
break;
}
next = en.Current;
}
}
}
var tupleName = "Types";
tp = new TemplateTypeParameter(tupleName, CodeLocation.Empty, tupleStruct);
ded[tp] = new TemplateParameterSymbol(tp, new DTuple(null, typeList));
tupleStruct.Add(new DVariable {
NameHash = DVariable.AliasThisIdentifierHash, IsAlias = true, IsAliasThis = true, Type = new IdentifierDeclaration(tupleName)
});
}
n = tupleStruct;
return(new StructType(tupleStruct, ds.DeclarationOrExpressionBase, ded.Count != 0 ? ded.Values : null));
//TODO: Ensure renaming and other AST-based things run properly
}
public AbstractType TryDeduce(DSymbol ds, IEnumerable<ISemantic> templateArguments)
{
TemplateTypeParameter tp;
var t = ds as TemplateType;
if (t == null)
return null;
var orig = ds.Definition;
var tupleStruct = new DClassLike(DTokens.Struct) {
NameHash = ds.NameHash,
Parent = orig.Parent,
Location = orig.Location,
EndLocation = orig.EndLocation,
NameLocation = orig.NameLocation
};
var ded = new Templates.DeducedTypeDictionary(tupleStruct);
if (templateArguments != null)
{
var typeList = new List<AbstractType>();
var en = templateArguments.GetEnumerator();
if(en.MoveNext())
{
var next = en.Current;
int i = 0;
for (; ; i++)
{
var fieldType = AbstractType.Get(next);
if (fieldType == null)
break;
fieldType.NonStaticAccess = true;
typeList.Add(fieldType);
if (!en.MoveNext())
break;
next = en.Current;
if (next is ArrayValue && (next as ArrayValue).IsString)
{
var name = (next as ArrayValue).StringValue;
var templateParamName = "_" + i.ToString();
tp = new TemplateTypeParameter(templateParamName, CodeLocation.Empty, tupleStruct);
ded[tp] = new TemplateParameterSymbol(tp, fieldType);
tupleStruct.Add(new DVariable { Name = name, Type = new IdentifierDeclaration(templateParamName) });
if (!en.MoveNext())
break;
next = en.Current;
}
}
}
var tupleName = "Types";
tp = new TemplateTypeParameter(tupleName, CodeLocation.Empty, tupleStruct);
ded[tp] = new TemplateParameterSymbol(tp, new DTuple(null, typeList));
tupleStruct.Add(new DVariable { NameHash = DVariable.AliasThisIdentifierHash, IsAlias = true, IsAliasThis = true, Type = new IdentifierDeclaration(tupleName) });
}
var res = new StructType(tupleStruct, ds.DeclarationOrExpressionBase, ded.Count != 0 ? ded.Values : null);
resultStore.Add(res, tupleStruct);
//TODO: Ensure renaming and other AST-based things run properly
return res;
}
public AbstractType TryDeduce(DSymbol ds, IEnumerable<ISemantic> templateArguments, ref INode n)
{
TemplateTypeParameter tp;
var t = ds as TemplateType;
if (t == null)
return null;
var orig = ds.Definition;
var tupleStruct = new DClassLike(DTokens.Struct)
{
NameHash = ds.NameHash,
Parent = orig.Parent,
Location = orig.Location,
EndLocation = orig.EndLocation,
NameLocation = orig.NameLocation
};
var ded = new Templates.DeducedTypeDictionary(tupleStruct);
var sb = new StringBuilder();
if (templateArguments != null)
{
var en = templateArguments.GetEnumerator();
if (en.MoveNext())
{
var next = en.Current;
int i = 0;
for (; ; i++)
{
var fieldType = AbstractType.Get(next);
if (fieldType == null)
break;
fieldType.NonStaticAccess = true;
if (!en.MoveNext())
break;
next = en.Current;
if (next is ArrayValue && (next as ArrayValue).IsString)
{
var name = (next as ArrayValue).StringValue;
if (!string.IsNullOrWhiteSpace(name))
{
var templateParamName = "_" + i.ToString();
tp = new TemplateTypeParameter(templateParamName, CodeLocation.Empty, tupleStruct);
ded[tp] = new TemplateParameterSymbol(tp, fieldType);
// getter
sb.Append("@property @safe ").Append(templateParamName).Append(' ').Append(name).AppendLine("() pure nothrow const {}");
// setter
sb.Append("@property @safe void ").Append(name).AppendLine("(").Append(templateParamName).AppendLine(" v) pure nothrow {}");
// constants
sb.Append("enum ").Append(templateParamName).Append(" ").Append(name).Append("_min = cast(").Append(templateParamName).AppendLine(") 0;");
sb.Append("enum ").Append(templateParamName).Append(" ").Append(name).Append("_max = cast(").Append(templateParamName).AppendLine(") 0;");
}
if (!en.MoveNext())
break;
}
else
break;
if (!en.MoveNext()) // Skip offset
break;
next = en.Current;
}
}
tupleStruct.Add(new DVariable {
NameHash = tupleStruct.NameHash,
Attributes = new List<DAttribute> { new Modifier(DTokens.Enum) },
Initializer = new IdentifierExpression(sb.ToString(), LiteralFormat.StringLiteral, LiteralSubformat.Utf8)
});
}
n = tupleStruct;
return new TemplateType(tupleStruct, ded.Count != 0 ? ded.Values : null);
}
