getExtensions(name: string) {
    const point = this.getExtensionPoint(name)
    if (point !== null) {
      return point.getExtensions()
    }