C# (CSharp) DataDictionary.Tests TestCase.getImplemented Examples

Example #1

File: Dictionary.cs Project: Assmann-Siemens/ERTMSFormalSpecs

 public override void visit(Generated.TestCase obj, bool visitSubNodes)
 {
     DataDictionary.Tests.TestCase testCase = (DataDictionary.Tests.TestCase)obj;
     if (!testCase.getImplemented())
     {
         testCase.AddInfo("Unimplemented test case");
     }
     base.visit(obj, visitSubNodes);
 }

Example #2

 public override void visit(TestCase obj, bool visitSubNodes)
 {
     Tests.TestCase testCase = (Tests.TestCase)obj;
     if (!testCase.getImplemented())
     {
         testCase.AddInfo("Unimplemented test case");
     }
     base.visit(obj, visitSubNodes);
 }