(parent: HTMLElement, broker: SelectionBroker, sourceFunction: Source,
sourceResolver: SourceResolver, codeMode: CodeMode)
| 30 | sourcePositionSelectionHandler: SourcePositionSelectionHandler & ClearableHandler; |
| 31 | |
| 32 | constructor(parent: HTMLElement, broker: SelectionBroker, sourceFunction: Source, |
| 33 | sourceResolver: SourceResolver, codeMode: CodeMode) { |
| 34 | super(parent); |
| 35 | this.broker = broker; |
| 36 | this.source = sourceFunction; |
| 37 | this.sourceResolver = sourceResolver; |
| 38 | this.codeMode = codeMode; |
| 39 | this.sourcePositionToHtmlElements = new Map<string, Array<HTMLElement>>(); |
| 40 | this.showAdditionalInliningPosition = false; |
| 41 | |
| 42 | this.sourcePositionSelection = new SelectionMap((gp: GenericPosition) => gp.toString()); |
| 43 | this.sourcePositionSelectionHandler = this.initializeSourcePositionSelectionHandler(); |
| 44 | broker.addSourcePositionHandler(this.sourcePositionSelectionHandler); |
| 45 | this.initializeCode(); |
| 46 | } |
| 47 | |
| 48 | public createViewElement(): HTMLDivElement { |
| 49 | const sourceContainer = document.createElement("div"); |
nothing calls this directly
no test coverage detected