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)
{
}