C# (CSharp) Microsoft.Zing SelfExpression Examples

Example #1

File: ZNormalizer.cs Project: ZingModelChecker/Zing

 private Expression VisitSelf(SelfExpression self)
 {
     var _self = Templates.GetExpressionTemplate("SelfAccess");
     return _self;
 }

Example #2

File: ZResolver.cs Project: ZingModelChecker/Zing

        private SelfExpression VisitSelf(SelfExpression self)
        {
            if (self == null)
                return null;

            return self;
        }

Example #3

File: ZLooker.cs Project: ZingModelChecker/Zing

 private SelfExpression VisitSelf(SelfExpression self)
 {
     return self;
 }