()
| 19 | }; |
| 20 | |
| 21 | get optionDefinitions(): OptionDefinition[] { |
| 22 | if (this._options === undefined) { |
| 23 | return panic(`Target language ${this.displayName} did not set its options`); |
| 24 | } |
| 25 | return this._options.map(o => o.definition); |
| 26 | } |
| 27 | |
| 28 | protected abstract get rendererClass(): new (graph: TypeGraph, ...optionValues: any[]) => Renderer; |
| 29 |