//^ invariant isInitialized ==> this.members != null;
private void Parse(Parsing.Parser parser)
//^ ensures this.members != null;
{
List <INamespaceDeclarationMember> members = this.members = new List <INamespaceDeclarationMember>();
parser.ParseCompilationUnit(this.CompilationPart.GlobalDeclarationContainer, members);
members.TrimExcess();
//^ assume this.members != null;
}
