protected override Expression DoResolve(ResolveContext ec)
{
var e = base.DoResolve(ec);
if (e == null || e != this)
{
return(e);
}
var fld = target as FieldExpr;
if (fld == null)
{
var access = target as MemberAccess;
if (access != null)
{
fld = access.LeftExpression as FieldExpr;
}
if (fld == null)
{
Expression simple = target as SimpleName;
simple = simple != null?simple.Resolve(ec) : null;
fld = simple as FieldExpr;
}
if (fld == null)
{
return(e);
}
}
if (!fld.IsRole)
{
return(e);
}
//assigning to a role. Check that the contract is fullfilled
var contractName = CSharpParser.GetCurrentRoleContractName(fld.DeclaringType.Name, fld.Name);
if (CSharpParser.RoleContracts.ContainsKey(contractName))
{
if (source.Type == null)
{
source = source.Resolve(ec);
}
var contract = CSharpParser.RoleContracts[contractName];
if (!source.Type.FullfillsContract(contract))
{
var index = -1;
var current_class = contract.Parent;
if (current_class.IsGeneric)
{
var typeParameters = current_class.TypeParameters;
for (int i = 0; index < 0 && i < typeParameters.Length; i++)
{
var param = typeParameters[i];
if (target.Type.Name == param.Name)
{
index = i;
}
}
}
if (index < 0)
{
ec.Report.Error(10009, loc, "Assignment to role '{0}' does not full fill contract", fld.Name);
}
else
{
current_class.Spec.AddTypesAndContracts(index, contract);
}
}
}
return(this);
}
