2020-07-12 23:19:05 +02:00
|
|
|
import {UIEventSource} from "../UI/UIEventSource";
|
|
|
|
import {UIElement} from "../UI/UIElement";
|
|
|
|
|
|
|
|
|
2020-07-31 01:45:54 +02:00
|
|
|
export interface Dependencies {
|
|
|
|
tags: UIEventSource<any>
|
|
|
|
}
|
|
|
|
|
2020-07-12 23:19:05 +02:00
|
|
|
export interface TagDependantUIElementConstructor {
|
|
|
|
|
2020-07-31 01:45:54 +02:00
|
|
|
construct(dependencies: Dependencies): TagDependantUIElement;
|
2020-07-13 12:10:43 +02:00
|
|
|
IsKnown(properties: any): boolean;
|
|
|
|
IsQuestioning(properties: any): boolean;
|
|
|
|
Priority(): number;
|
2020-07-12 23:19:05 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
export abstract class TagDependantUIElement extends UIElement {
|
|
|
|
|
|
|
|
abstract IsKnown(): boolean;
|
|
|
|
|
|
|
|
abstract IsQuestioning(): boolean;
|
|
|
|
|
|
|
|
abstract Priority() : number;
|
|
|
|
|
2020-07-25 01:07:02 +02:00
|
|
|
abstract IsSkipped() : boolean;
|
2020-07-12 23:19:05 +02:00
|
|
|
}
|