Esempi in C# (CSharp) per Diagnosis.Models CritBase

Esempio n. 1

File: Word.cs Progetto: sm-g/diagnosis

 protected internal virtual void RemoveCrit(CritBase crit)
 {
     Contract.Requires(crit != null);
     Contract.Requires(!crit.Words.Contains(this));
     Contract.Ensures(!CrwHelper.Values.Contains(crit));
     CrwHelper.Remove(crit);
 }

Esempio n. 2

File: CritWords.cs Progetto: sm-g/diagnosis

        public CritWords(CritBase cr, Word w)
        {
            Contract.Requires(cr != null);
            Contract.Requires(w != null);

            Crit = cr;
            Word = w;
        }