fluencelabs/assemblyscript
1
0
Fork 0
mirror of https://github.com/fluencelabs/assemblyscript synced 2025-06-18 17:31:29 +00:00
Code Issues Projects Releases Wiki Activity

Support definite assignment assertion x!: i32 (#260)

Browse Source
This commit is contained in:
Andy Hanson
2018-10-27 09:29:59 -07:00
committed by Daniel Wirtz
parent e58582e9e9
commit 0bb5cb829e
9 changed files with 84 additions and 17 deletions
Download Patch File Download Diff File Expand all files Collapse all files

29
src/parser.ts
View File

@ -769,6 +769,9 @@ export class Parser extends DiagnosticEmitter {
}
var identifier = Node.createIdentifierExpression(tn.readIdentifier(), tn.range());
var flags = parentFlags;
if (tn.skip(Token.EXCLAMATION)) {
flags |= CommonFlags.DEFINITE_ASSIGNMENT;
}
var type: CommonTypeNode | null = null;
if (tn.skip(Token.COLON)) {
@ -800,13 +803,19 @@ export class Parser extends DiagnosticEmitter {
); // recoverable
}
}
var range = Range.join(identifier.range, tn.range());
if ((flags & CommonFlags.DEFINITE_ASSIGNMENT) && initializer) {
this.error(
DiagnosticCode.A_definite_assignment_assertion_is_not_permitted_in_this_context,
range);
}
return Node.createVariableDeclaration(
identifier,
type,
initializer,
parentDecorators,
flags,
Range.join(identifier.range, tn.range())
range
);
}
@ -1926,6 +1935,15 @@ export class Parser extends DiagnosticEmitter {
}
let type: CommonTypeNode | null = null;
if (tn.skip(Token.QUESTION)) {
this.error(
DiagnosticCode.Optional_properties_are_not_supported,
tn.range(startPos, tn.pos)
);
}
if (tn.skip(Token.EXCLAMATION)) {
flags |= CommonFlags.DEFINITE_ASSIGNMENT;
}
if (tn.skip(Token.COLON)) {
type = this.parseType(tn);
if (!type) return null;
@ -1940,13 +1958,20 @@ export class Parser extends DiagnosticEmitter {
initializer = this.parseExpression(tn);
if (!initializer) return null;
}
let range = tn.range(startPos, tn.pos);
if ((flags & CommonFlags.DEFINITE_ASSIGNMENT) && ((flags & CommonFlags.STATIC) || isInterface || initializer)) {
this.error(
DiagnosticCode.A_definite_assignment_assertion_is_not_permitted_in_this_context,
range
);
}
let retField = Node.createFieldDeclaration(
name,
type,
initializer,
decorators,
flags,
tn.range(startPos, tn.pos)
range
);
tn.skip(Token.SEMICOLON);
return retField;