1 // Compiler options: -doc:xml-013.xml
8 public static void Main ()
13 /// comment for public property
15 public string PublicProperty
{
17 /// On public getter - no effect
21 /// On public setter - no effect
27 /// incorrect comment for public property
29 public string PublicProperty2
{
35 Javadoc comment for public property
38 public string PublicProperty3
{
41 On public getter - no effect
47 On public setter - no effect