public int NrWarnings { get; }

Public ReadOnly Property NrWarnings As Integer

public:
property int NrWarnings {
	int get ();
}