public override AstNode Visit(PropertyDefinition node)
{
// Process attributes.
ProcessAttributes(node);
// Push the security.
PropertyVariable propVar = node.GetProperty();
if(propVar.IsUnsafe())
PushUnsafe();
// Visit the get accessors.
if(node.GetAccessor != null)
node.GetAccessor.Accept(this);
// Visit the set accessors.
if(node.SetAccessor != null)
node.SetAccessor.Accept(this);
// Restore the security.
if(propVar.IsUnsafe())
PopUnsafe();
return node;
}
public override AstNode Visit(PropertyDefinition node)
{
// Get the name expression.
Expression nameExpression = node.GetNameExpression();
if(nameExpression == null)
return node;
// Visit the name expression.
nameExpression.SetHints(Expression.MemberHint);
nameExpression.Accept(this);
// Try to cast into a property.
PropertyVariable contractProperty;
DirectPropertySlot directProp = nameExpression.GetNodeValue() as DirectPropertySlot;
if(directProp != null)
contractProperty = directProp.Property;
else
contractProperty = nameExpression.GetNodeValue() as PropertyVariable;
// It must be a property reference.
if(contractProperty == null)
Error(nameExpression, "expected property reference.");
// Compare the property types.
PropertyVariable property = node.GetProperty();
if(property.GetVariableType() != contractProperty.GetVariableType())
Error(nameExpression, "contracted property type mismatch.");
// Instance the get accessor.
if(contractProperty.GetAccessor != null)
{
if(property.GetAccessor == null)
Error(nameExpression, "property implementation doesn't have a get accessor.");
// Both accessors must be methods.
if(!contractProperty.GetAccessor.IsMethod() || !property.GetAccessor.IsMethod())
Error(nameExpression, "property get accessor is not a static method.");
// The accessors must match.
if(!MatchFunction(contractProperty.GetAccessor.GetFunctionType(),
property.GetAccessor.GetFunctionType(), 1))
Error(nameExpression, "get accessors have mismatching signatures.");
// Bind the contract.
Method impl = (Method)property.GetAccessor;
impl.SetExplicitContract(contractProperty.GetAccessor);
}
else if(property.GetAccessor != null)
Error(nameExpression, "property explicit contract doesn't have a get accessor.");
// Instance the set accessor.
if(contractProperty.SetAccessor != null)
{
if(property.SetAccessor == null)
Error(nameExpression, "property implementation doesn't have a set accessor.");
// Both accessors must be methods.
if(!contractProperty.SetAccessor.IsMethod() || !property.SetAccessor.IsMethod())
Error(nameExpression, "property set accessor is not a static method.");
// The accessors must match.
if(!MatchFunction(contractProperty.SetAccessor.GetFunctionType(),
property.SetAccessor.GetFunctionType(), 1))
Error(nameExpression, "set accessors have mismatching signatures.");
// Bind the contract.
Method impl = (Method)property.SetAccessor;
impl.SetExplicitContract(contractProperty.SetAccessor);
}
else if(property.SetAccessor != null)
Error(nameExpression, "property explicit contract doesn't have a set accessor.");
return node;
}
