protected override bool CheckBase(ResolveContext rc)
{
if (!base.CheckBase(rc))
{
return(false);
}
CheckForDuplications();
if (IsExplicitInterfaceImplementation)
{
return(true);
}
// For Std.Object only
if (Parent.ResolvedBaseType.IsKnownType(KnownTypeCode.Object))
{
return(true);
}
// override checking
IMember candidate;
bool overrides = false;
var base_member = FindBaseMember(rc);
if (IsOverride)
{
if (base_member == null)
{
if (this is MethodDeclaration && ((MethodDeclaration)this).ParameterInfo.IsEmpty &&
MemberName.Name == DestructorDeclaration.MetadataName && MemberName.Arity == 0)
{
Report.Error(227, Location, "Do not override `{0}'. Use destructor syntax instead",
"object.Finalize()");
}
else
{
Report.Error(228, Location,
"`{0}' is marked as an override but no suitable {1} found to override",
GetSignatureForError(), SimpleName.GetMemberType(this));
}
return(false);
}
if (!CheckOverride(rc, base_member))
{
return(false);
}
}
if (base_member == null)
{
if ((mod_flags & Modifiers.NEW) != 0)
{
if (base_member == null)
{
Report.Warning(229, 4, Location, "The member `{0}' does not hide an inherited member. The new keyword is not required",
GetSignatureForError());
}
}
}
else
{
if ((ModFlags & Modifiers.NEW) == 0)
{
ModFlags |= Modifiers.NEW;
if (!IsCompilerGenerated)
{
if (!IsInterfaceMember && base_member.IsOverridable)
{
Report.Warning(230, 2, Location, "`{0}' hides inherited member `{1}'. To make the current member override that implementation, add the override keyword. Otherwise add the new keyword",
GetSignatureForError(), base_member.ToString());
}
else
{
Report.Warning(231, 2, Location, "`{0}' hides inherited member `{1}'. Use the new keyword if hiding was intended",
GetSignatureForError(), base_member.ToString());
}
}
}
if (!IsInterfaceMember && base_member.IsAbstract && !IsOverride && !IsStatic)
{
switch (base_member.SymbolKind)
{
case SymbolKind.Event:
case SymbolKind.Indexer:
case SymbolKind.Method:
case SymbolKind.Property:
Report.Error(232, Location, "`{0}' hides inherited abstract member `{1}'",
GetSignatureForError(), base_member.ToString());
break;
}
}
}
return(true);
}
public static AnonymousTypeClass Create(TypeContainer parent, IList <AnonymousTypeParameter> parameters, Location loc)
{
string name = ClassNamePrefix + parent.Module.CounterAnonymousTypes++;
ParametersCompiled all_parameters;
TypeParameters tparams = null;
SimpleName[] t_args;
if (parameters.Count == 0)
{
all_parameters = ParametersCompiled.EmptyReadOnlyParameters;
t_args = null;
}
else
{
t_args = new SimpleName[parameters.Count];
tparams = new TypeParameters();
Parameter[] ctor_params = new Parameter[parameters.Count];
for (int i = 0; i < parameters.Count; ++i)
{
AnonymousTypeParameter p = parameters[i];
for (int ii = 0; ii < i; ++ii)
{
if (parameters[ii].Name == p.Name)
{
parent.Compiler.Report.Error(833, parameters[ii].Location,
"`{0}': An anonymous type cannot have multiple properties with the same name",
p.Name);
p = new AnonymousTypeParameter(null, "$" + i.ToString(), p.Location);
parameters[i] = p;
break;
}
}
t_args[i] = new SimpleName("<" + p.Name + ">__T", p.Location);
tparams.Add(new UnresolvedTypeParameterSpec(SymbolKind.TypeDefinition, i, p.Location, t_args[i].Name));
ctor_params[i] = new Parameter(t_args[i], p.Name, ParameterModifier.None, null, p.Location);
}
all_parameters = new ParametersCompiled(ctor_params);
}
//
// Create generic anonymous type host with generic arguments
// named upon properties names
//
AnonymousTypeClass a_type = new AnonymousTypeClass(parent.UnresolvedFile as CompilationSourceFile, new MemberName(name, tparams, loc), parameters, loc);
ConstructorDeclaration c = new ConstructorDeclaration(a_type, name, Modifiers.PUBLIC | Modifiers.DEBUGGER_HIDDEN,
null, all_parameters, loc);
c.Block = new ToplevelBlock(parent.Module.Compiler, c.ParameterInfo, loc);
//
// Create fields and constructor body with field initialization
//
bool error = false;
for (int i = 0; i < parameters.Count; ++i)
{
AnonymousTypeParameter p = parameters[i];
FieldDeclaration f = new FieldDeclaration(a_type, t_args[i], Modifiers.PRIVATE | Modifiers.READONLY | Modifiers.DEBUGGER_HIDDEN,
new MemberName("<" + p.Name + ">", p.Location), null);
c.Block.AddStatement(new StatementExpression(
new SimpleAssign(new MemberAccess(new SelfReference(p.Location), f.Name),
new SimpleName(all_parameters[i].Name, p.Location))));
ToplevelBlock get_block = new ToplevelBlock(parent.Module.Compiler, p.Location);
get_block.AddStatement(new Return(
new MemberAccess(new SelfReference(p.Location), f.Name), p.Location));
PropertyDeclaration prop = new PropertyDeclaration(a_type, t_args[i], Modifiers.PUBLIC,
new MemberName(p.Name, p.Location), null);
prop.Getter = new GetterDeclaration(prop, 0, null, p.Location);
(prop.Getter as GetterDeclaration).Block = get_block;
a_type.AddMember(prop);
}
a_type.AddMember(c);
return(a_type);
}
