Esempi in C# (CSharp) per NotVerifiedRuleVisitor

Esempio n. 1

File: Dictionary.cs Progetto: 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);
        }

Esempio n. 2

File: Dictionary.cs Progetto: nikiforovandrey/ERTMSFormalSpecs

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