public int y { get; }
Public ReadOnly Property y As Integer Get
public: property int y { int get (); }
member y : int with get