private IEnumerable <ITypeInvariant> GetInvariantsAndAxiomsAboutConstantArraysAndStructs() { VccGlobalDeclarationContainerClass /*?*/ globals = this.containingType as VccGlobalDeclarationContainerClass; if (globals == null) { return(IteratorHelper.GetConversionEnumerable <TypeInvariant, ITypeInvariant>(this.invariants)); } List <ITypeInvariant> result = new List <ITypeInvariant>(); foreach (TypeInvariant tinv in this.invariants) { result.Add(tinv); } return(result.AsReadOnly()); }
private VccGlobalDeclarationContainerClass(NamespaceDeclaration containingNamespaceDeclaration, VccGlobalDeclarationContainerClass template) : base(containingNamespaceDeclaration, template) //^ ensures this.containingNamespaceDeclaration == containingNamespaceDeclaration; { }
//^ ensures this.containingNamespaceDeclaration == containingNamespaceDeclaration; private VccGlobalDeclarationContainerClass(NamespaceDeclaration containingNamespaceDeclaration, VccGlobalDeclarationContainerClass template) : base(containingNamespaceDeclaration, template) { }