Merge pull request #4280 from rauenzi/promoted-alias

Add option for promoted aliases
This commit is contained in:
zadam
2023-09-25 23:30:39 +02:00
committed by GitHub
4 changed files with 35 additions and 1 deletions

View File

@@ -17,6 +17,11 @@ function parse(value) {
defObj.numberPrecision = parseInt(chunks[1]);
}
else if (token.startsWith('alias')) {
const chunks = token.split('=');
defObj.promotedAlias = chunks[1];
}
else if (token.startsWith('inverse')) {
const chunks = token.split('=');