'Declaration Public ReadOnly Property Width As Integer
public int Width {get;}
Seal4Shape Class Seal4Shape Members