C# (CSharp) Diagnosis.Models CritBase示例

示例#1

文件： Word.cs 项目： 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);
 }

示例#2

文件： CritWords.cs 项目： sm-g/diagnosis

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

            Crit = cr;
            Word = w;
        }