public static bool IsGetOnlyAutoProperty(this IPropertySymbol property, PropertyDeclarationSyntax propertyDeclaration) { Contract.Requires(property != null); Contract.Requires(propertyDeclaration != null); var getter = propertyDeclaration.Getter(); if (getter == null) return false; return property.IsReadOnly && getter.SemicolonToken.IsKind(SyntaxKind.SemicolonToken); }