formatting, update
Some checks failed
continuous-integration/drone/push Build is failing

This commit is contained in:
2021-05-02 11:30:21 +02:00
parent fa8e0d25c6
commit 019647b04a
4 changed files with 859 additions and 1394 deletions

View File

@ -83,7 +83,7 @@ export class Graph extends Element {
.replace (/^\s+$/gmu, '');
}
public add_node (constructor: ((n: Node) => void) | string): string {
public add_node (constructor: string | ((n: Node) => void)): string {
const node = new Node ('unnamed', this.full_name);
if (typeof constructor === 'string') {
@ -96,7 +96,7 @@ export class Graph extends Element {
return node.full_name;
}
public add_graph (constructor: ((g: Graph) => void) | string): string {
public add_graph (constructor: string | ((g: Graph) => void)): string {
const graph = new Graph ('unnamed', this.full_name);
graph.directional = this.directional;

View File

@ -42,7 +42,7 @@ export class GraphStream extends Transform {
return ' '.repeat (this._path.length);
}
private finish_node ():void {
private finish_node (): void {
if (
[
'ce',
@ -168,7 +168,7 @@ export class GraphStream extends Transform {
// this.write ({ type: 'en', args: [] });
}
public create_graph (name: string, type: 'u'|'d'|'s' = 's'): void {
public create_graph (name: string, type: 'd' | 's' | 'u' = 's'): void {
const instr_type = `c${type}g` as GraphStreamCommand;
this.write ({ type: instr_type, args: [ validate_name (name) ] });
}