public CompletionElementInitializer (string partial_name, Location l) { this.partial_name = partial_name; this.loc = l; }