/// <summary> /// Constructor for Dynamic Error. /// </summary> /// <param name="te"> /// is the error type. </param> public DynamicError(TypeError te) : base(te.reason()) { _te = te; _code = te.code(); }