public BadOptionInfo BadOption { get; }

public:
property BadOptionInfo^ BadOption {
	BadOptionInfo^ get ();
}