C# (CSharp) Diagnosis.Models CritBase Examples

Example #1

File: Word.cs Project: 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);
 }

Example #2

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

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

            Crit = cr;
            Word = w;
        }