C# (CSharp) Designator.IsPredefined Examples

Example #1

File: RefactorTree.cs Project: fakoor/ERTMSFormalSpecs

 protected override void VisitDesignator(Designator designator)
 {
     if (!designator.IsPredefined())
     {
         ReplaceNonTerminal(designator, designator.Ref as ModelElement);
     }
 }

Example #2

File: ReNameSpaceTree.cs Project: fakoor/ERTMSFormalSpecs

        protected override void VisitDesignator(Designator designator)
        {
            ModelElement model = designator.Ref as ModelElement;

            if (model != null && !designator.IsPredefined())
            {
                ReplaceText(model.ReferenceName(BaseLocation), designator.Start, designator.End);
            }
        }

Example #3

File: RefactorTree.cs Project: GautierBerck/ERTMSFormalSpecs

 protected override void VisitDesignator(Designator designator)
 {
     if (!designator.IsPredefined())
     {
         ReplaceNonTerminal(designator, designator.Ref as ModelElement);
     }
 }

Example #4

File: ReNameSpaceTree.cs Project: nikiforovandrey/ERTMSFormalSpecs

 protected override void VisitDesignator(Designator designator)
 {
     ModelElement model = designator.Ref as ModelElement;
     if (model != null && !designator.IsPredefined())
     {
         ReplaceText(model.ReferenceName(BaseLocation), designator.Start, designator.End);
     }
 }