C sharp - Problema con System.Diagnostics.Contracts

 
Vista:
sin imagen de perfil

Problema con System.Diagnostics.Contracts

Publicado por Nuria (1 intervención) el 24/04/2016 21:51:49
Buenas, soy nueva en el foro y querría saber si me podríais ayudar con un problemita que tengo.
Estoy realizando un proyecto con un brazalete llamado MyoArmband, el cual mediante sensores reconoce el movimiento de los músculos. Este brazalete permite su programación en C#, pero en una de las clases, la librería System.Diagnostics.Contracts me produce el siguiente fallo:

"Assets/Communication/RouteMyoEventArgs.cs(3,26): error CS0234: The type or namespace name `Contracts' does not exist in the namespace `System.Diagnostics'. Are you missing an assembly reference?"

He intentado importar la librería pero me dice que ya ha sido importada... y no tengo ni idea ya de que puede ser.

Os dejo aquí el contenido de la clase completa:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
using System;
using System.Collections.Generic;
using System.Diagnostics.Contracts;
using System.Text;
 
using MyoSharp.Device;
 
namespace MyoSharp.Communication{
    /// <summary>
    /// A class that contains information about an event for routing Myo events.
    /// </summary>
    public class RouteMyoEventArgs : EventArgs{
        #region Fields
        private readonly IntPtr _myoHandle;
        private readonly IntPtr _eventHandle;
        #endregion
 
        #region Constructors
        /// <summary>
        /// Initializes a new instance of the <see cref="RouteMyoEventArgs"/> class.
        /// </summary>
        /// <param name="myoHandle">The Myo handle.</param>
        /// <param name="evt">The event handle.</param>
        /// <param name="eventType">The type of the event.</param>
        /// <param name="timestamp">The timestamp of the event.</param>
        /// <exception cref="ArgumentException">
        /// The exception that is thrown when <paramref name="myoHandle"/> or <paramref name="evt"/> are <see cref="IntPtr.Zero"/>.
        /// </exception>
 
        public RouteMyoEventArgs(IntPtr myoHandle, IntPtr evt, MyoEventType eventType, DateTime timestamp){
 
            Contract.Requires<ArgumentException>(myoHandle != IntPtr.Zero, "myoHandle");
            Contract.Requires<ArgumentException>(evt != IntPtr.Zero, "evt");
 
            _myoHandle = myoHandle;
            _eventHandle = evt;
            this.EventType = eventType;
            this.Timestamp = timestamp;
        }
        #endregion
 
        #region Properties
        /// <summary>
        /// Gets the Myo handle.
        /// </summary>
        public IntPtr MyoHandle{
            get{
                Contract.Ensures(Contract.Result<IntPtr>() != IntPtr.Zero);
 
                return _myoHandle;
            }
        }
 
        /// <summary>
        /// Gets the event handle.
        /// </summary>
        public IntPtr Event{
            get{
                Contract.Ensures(Contract.Result<IntPtr>() != IntPtr.Zero);
 
                return _eventHandle;
            }
        }
 
        /// <summary>
        /// Gets the type of the event.
        /// </summary>
        public MyoEventType EventType { get; private set; }
 
        /// <summary>
        /// Gets the timestamp of the event.
        /// </summary>
        public DateTime Timestamp { get; private set; }
        #endregion
 
        #region Methods
 
        [ContractInvariantMethod]
        private void ObjectInvariant()
        {
            Contract.Invariant(_myoHandle != IntPtr.Zero);
            Contract.Invariant(_eventHandle != IntPtr.Zero);
        }
        #endregion
    }
}


Muchas gracias de antemano!
Valora esta pregunta
Me gusta: Está pregunta es útil y esta claraNo me gusta: Está pregunta no esta clara o no es útil
0
Responder
sin imagen de perfil
Val: 356
Plata
Ha disminuido 1 puesto en C sharp (en relación al último mes)
Gráfica de C sharp

Problema con System.Diagnostics.Contracts

Publicado por Miguel (160 intervenciones) el 25/04/2016 23:23:37
Hola
Busca en "Agregar referencias" ese espacio de nombres (System.Diagnostics.Contracts) y agrégalo al proyecto.

Saludos,
Valora esta respuesta
Me gusta: Está respuesta es útil y esta claraNo me gusta: Está respuesta no esta clara o no es útil
0
Comentar