сеттер и геттер для атомарного свойства

как выглядят геттеры и сеттеры автогенерации для следующего значения свойства?

... in .h
@interface MyClass : NSObject {
@private
    NSString *_value;
}

@property(retain) NSString *value;

... in .m
@synthesize value = _value;

что, если я изменю свойство на

@property(retain, readonly) NSString *value;

. Меня интересует атомарная часть истории, плюс сохранение, и, если возможно, подробный код будет более ясным относительно того, что именно происходит за сценой .