/// <summary>
/// Normalizes the <paramref name="declaration" />.
/// </summary>
public override SyntaxNode VisitPropertyDeclaration(PropertyDeclarationSyntax declaration)
{
var objectCreation = declaration?.Initializer?.Value as ObjectCreationExpressionSyntax;
if (objectCreation == null)
return declaration;
var symbol = declaration.GetPropertySymbol(SemanticModel);
var fault = SemanticModel.GetTypeSymbol<Fault>();
if (!symbol.Type.Equals(fault) && !symbol.Type.IsDerivedFrom(fault))
return declaration;
return declaration.WithInitializer(declaration.Initializer.WithValue(AddNameInitializer(fault, objectCreation, symbol.Name)));
}
/// <summary>
/// Normalizes the <paramref name="declaration" />.
/// </summary>
public override SyntaxNode VisitPropertyDeclaration(PropertyDeclarationSyntax declaration)
{
// Nothing to do here for properties with expression bodies
if (declaration.ExpressionBody != null)
return declaration;
// Nothing to do here for properties not defined in fault effects or for properties that are no overrides of some port
var propertySymbol = declaration.GetPropertySymbol(SemanticModel);
if (!propertySymbol.ContainingType.IsFaultEffect(SemanticModel) || !propertySymbol.IsOverride)
return declaration;
// Nothing to do here for required ports
if (propertySymbol.IsExtern)
return declaration;
var getter = (AccessorDeclarationSyntax)Syntax.GetAccessor(declaration, DeclarationKind.GetAccessor);
var setter = (AccessorDeclarationSyntax)Syntax.GetAccessor(declaration, DeclarationKind.SetAccessor);
// Nothing to do here for properties with accessors that have a body
if (getter == null || getter.Body != null || setter?.Body != null)
return declaration;
var fieldName = GetBackingFieldName(propertySymbol);
var fieldIdentifier = (ExpressionSyntax)Syntax.IdentifierName(fieldName);
var fieldModifiers = setter == null
? DeclarationModifiers.Unsafe | DeclarationModifiers.ReadOnly
: DeclarationModifiers.Unsafe;
var fieldDeclaration = Syntax.FieldDeclaration(
name: fieldName,
type: Syntax.TypeExpression(propertySymbol.Type),
accessibility: Accessibility.Private,
modifiers: fieldModifiers,
initializer: declaration.Initializer?.Value);
fieldDeclaration = Syntax.AddAttribute<CompilerGeneratedAttribute>(fieldDeclaration);
fieldDeclaration = Syntax.MarkAsNonDebuggerBrowsable(fieldDeclaration);
AddMembers(propertySymbol.ContainingType, (FieldDeclarationSyntax)fieldDeclaration);
var getterBody = (StatementSyntax)Syntax.ReturnStatement(fieldIdentifier).NormalizeWhitespace();
getterBody = getterBody.AppendLineDirective(-1).PrependLineDirective(-1);
var getterBlock = SyntaxFactory.Block(getterBody).EnsureIndentation(getter).PrependLineDirective(getter.GetLineNumber());
getter = getter.WithStatementBody(getterBlock);
AccessorListSyntax accessors;
if (setter == null)
accessors = declaration.AccessorList.WithAccessors(SyntaxFactory.List(new[] { getter }));
else
{
var assignment = Syntax.AssignmentStatement(fieldIdentifier, Syntax.IdentifierName("value"));
var setterBody = (StatementSyntax)Syntax.ExpressionStatement(assignment);
setterBody = setterBody.AppendLineDirective(-1).PrependLineDirective(-1);
var setterBlock = SyntaxFactory.Block(setterBody).EnsureIndentation(setter).PrependLineDirective(setter.GetLineNumber());
setter = setter.WithStatementBody(setterBlock);
accessors = declaration.AccessorList.WithAccessors(SyntaxFactory.List(new[] { getter, setter }));
}
var originalDeclaration = declaration;
declaration = declaration.WithInitializer(null).WithSemicolonToken(default(SyntaxToken));
return declaration.WithAccessorList(accessors).EnsureLineCount(originalDeclaration);
}