Esempi in C# (CSharp) per DataDictionary.Specification.Paragraph.isApplicable

Esempio n. 1

File: Specification.cs Progetto: Assmann-Siemens/ERTMSFormalSpecs

            public override void visit(Generated.Paragraph obj, bool visitSubNodes)
            {
                DataDictionary.Specification.Paragraph paragraph = (DataDictionary.Specification.Paragraph)obj;

                if (!paragraph.isApplicable())
                {
                    paragraph.AddInfo("Non applicable paragraph");
                }

                base.visit(obj, visitSubNodes);
            }