/// <summary>泛型特化规格</summary>
public static TypeSpec CreateGenericTypeSpec(GenericTypeSpec Value)
{
return(new TypeSpec {
_Tag = TypeSpecTag.GenericTypeSpec, GenericTypeSpec = Value
});
}
public static Optional <TypeSpec> TryParseTypeSpec(String TypeString, Action <Object, int, int> Mark, out int InvalidCharIndex)
{
var osml = TokenParser.TrySplitSymbolMemberChain(TypeString, out InvalidCharIndex);
if (osml.OnNone)
{
return(Optional <TypeSpec> .Empty);
}
var sml = osml.Value;
var tTotal = Optional <TypeSpec> .Empty;
var FirstStart = 0;
foreach (var s in sml)
{
var LocalInvalidCharIndex = 0;
var oName = TokenParser.TryUnescapeSymbolName(s.Name, out LocalInvalidCharIndex);
if (oName.OnNone)
{
InvalidCharIndex = s.NameStartIndex + LocalInvalidCharIndex;
return(Optional <TypeSpec> .Empty);
}
var Name = oName.Value;
var l = new List <TypeSpec>();
foreach (var p in s.Parameters)
{
var LocalLocalInvalidCharIndex = 0;
var ov = TryParseTypeSpec(p.Key, (o, Start, End) => Mark(o, p.Value + Start, p.Value + End), out LocalLocalInvalidCharIndex);
if (ov.OnNone)
{
InvalidCharIndex = p.Value + LocalLocalInvalidCharIndex;
return(Optional <TypeSpec> .Empty);
}
l.Add(ov.Value);
}
Mark(l, s.NameEndIndex, s.SymbolEndIndex);
TypeSpec t;
if (Name.StartsWith("'"))
{
Name = new String(Name.Skip(1).ToArray());
t = TypeSpec.CreateGenericParameterRef(Name);
}
else
{
if (tTotal.OnSome)
{
if (!tTotal.Value.OnTypeRef || (tTotal.Value.TypeRef.Version != ""))
{
InvalidCharIndex = s.NameStartIndex;
return(Optional <TypeSpec> .Empty);
}
}
String Version;
ParseNameAndVersion(Name, out Name, out Version);
var NameList = tTotal.OnSome ? tTotal.Value.TypeRef.Name.Concat(new List <String> {
Name
}).ToList() : new List <String> {
Name
};
var Ref = new TypeRef {
Name = NameList, Version = Version
};
Mark(NameList, s.NameStartIndex, s.NameStartIndex + Name.Length);
Mark(Ref, s.NameStartIndex, s.NameEndIndex);
t = TypeSpec.CreateTypeRef(Ref);
}
Mark(t, s.NameStartIndex, s.NameEndIndex);
if (s.Parameters.Count > 0)
{
if (tTotal.OnNone && String.Equals(Name, "Tuple", StringComparison.OrdinalIgnoreCase))
{
t = TypeSpec.CreateTuple(l);
}
else
{
if (!t.OnTypeRef)
{
InvalidCharIndex = s.NameStartIndex;
return(Optional <TypeSpec> .Empty);
}
var gts = new GenericTypeSpec {
TypeSpec = t, ParameterValues = l
};
Mark(gts, s.SymbolStartIndex, s.SymbolEndIndex);
t = TypeSpec.CreateGenericTypeSpec(gts);
}
Mark(t, s.SymbolStartIndex, s.SymbolEndIndex);
}
if (tTotal.OnNone)
{
tTotal = t;
FirstStart = s.SymbolStartIndex;
}
else
{
if (!tTotal.Value.OnTypeRef || !t.OnTypeRef)
{
InvalidCharIndex = s.NameStartIndex;
return(Optional <TypeSpec> .Empty);
}
tTotal = t;
}
}
return(tTotal);
}