// ==========================================================================
// This software is subject to the provisions of the Zope Public License,
// Version 2.0 (ZPL).  A copy of the ZPL should accompany this distribution.
// THIS SOFTWARE IS PROVIDED "AS IS" AND ANY AND ALL EXPRESS OR IMPLIED
// WARRANTIES ARE DISCLAIMED, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
// WARRANTIES OF TITLE, MERCHANTABILITY, AGAINST INFRINGEMENT, AND FITNESS
// FOR A PARTICULAR PURPOSE.
// ==========================================================================

using System;


namespace Python.Test {

    //========================================================================
    // Supports CLR Exception unit tests.
    //========================================================================

    public class ExceptionTest {

	public int ThrowProperty {
	    get {
		throw new OverflowException("error");
	    }
	    set { 
		throw new OverflowException("error");
	    }
	}

	public static Exception GetBaseException() {
	    return new Exception("error");
	}

	public static OverflowException GetExplicitException() {
	    return new OverflowException("error");
	}

	public static Exception GetWidenedException() {
	    return new OverflowException("error");
	}

	public static ExtendedException GetExtendedException() {
	    return new ExtendedException("error");
	}


	public static bool SetBaseException(Exception e) {
	    return typeof(Exception).IsInstanceOfType(e);
	}

	public static bool SetExplicitException(OverflowException e) {
	    return typeof(OverflowException).IsInstanceOfType(e);
	}

	public static bool SetWidenedException(Exception e) {
	    return typeof(Exception).IsInstanceOfType(e);
	}

	public static bool ThrowException() {
	    throw new OverflowException("error");
	}
    }


    public class ExtendedException : OverflowException {

	public ExtendedException() : base() {}
	public ExtendedException(string m) : base(m) {}

	public string extra = "extra";

	public string ExtraProperty {
	    get { 
		return extra;
	    }
	    set { 
		extra = value;
	    }
	}

	public string GetExtraInfo() {
	    return extra;
	}


    }


}