C# (CSharp) NotVerifiedRuleVisitorの例

コード例 #1

ファイル: Dictionary.cs プロジェクト: Assmann-Siemens/ERTMSFormalSpecs

        /// <summary>
        /// Marks all not verified rules stored in the dictionary
        /// </summary>
        public void MarkNotVerifiedRules()
        {
            ClearMessages();
            NotVerifiedRuleVisitor visitor = new NotVerifiedRuleVisitor();

            visitor.visit(this, true);
        }

コード例 #2

ファイル: Dictionary.cs プロジェクト: nikiforovandrey/ERTMSFormalSpecs

 /// <summary>
 ///     Marks all not verified rules stored in the dictionary
 /// </summary>
 public void MarkNotVerifiedRules()
 {
     NotVerifiedRuleVisitor visitor = new NotVerifiedRuleVisitor();
     visitor.visit(this, true);
 }