1 // objective: C# property initializer
2 // check: class_class1.xml
4 /// Documentation of the class
7 public int Property1 { get; } = 1; ///< Documentation of first property
8 public string Property2 { get; set; } ///< Documentation of second property