docdef/source/elements/implementations/group.ts

31 lines
451 B
TypeScript
Raw Normal View History

2024-02-08 10:41:17 +01:00
/**
*/
type type_element_group_data = {
members : type_element;
};
2024-02-07 15:14:30 +01:00
/**
*/
class type_element_group implements type_element
{
2024-02-08 10:41:17 +01:00
public readonly kind : string = "group";
public readonly data : type_element_group_data;
public constructor(data : type_element_group_data) {this.data = data;}
2024-02-07 15:14:30 +01:00
}
2024-02-08 10:41:17 +01:00
/**
*/
2024-02-07 15:14:30 +01:00
element_kind_register(
"group",
(data, sub) => (
new type_element_group(
2024-02-08 10:41:17 +01:00
{
"members": data["members"].map(x => sub(x))
}
2024-02-07 15:14:30 +01:00
)
)
);