(name: string, namePosition: number)
| 206 | } |
| 207 | |
| 208 | private parseCall(name: string, namePosition: number): ExprNode { |
| 209 | if (!isKnownConstraintFunctionName(name)) { |
| 210 | this.fail(`Unknown function "${name}"`, namePosition); |
| 211 | } |
| 212 | this.expect("("); |
| 213 | if (name === "steps") return this.parseStepsCall(name); |
| 214 | |
| 215 | const args: ExprNode[] = []; |
| 216 | this.skipWhitespace(); |
| 217 | if (this.consumeIf(")")) { |
| 218 | return { kind: "call", name, args: Object.freeze(args) }; |
| 219 | } |
| 220 | |
| 221 | while (true) { |
| 222 | args.push(this.parseExpr()); |
| 223 | this.skipWhitespace(); |
| 224 | if (this.consumeIf(",")) continue; |
| 225 | if (this.consumeIf(")")) break; |
| 226 | this.fail('Expected "," or ")" in function call'); |
| 227 | } |
| 228 | |
| 229 | return { kind: "call", name, args: Object.freeze(args) }; |
| 230 | } |
| 231 | |
| 232 | private parseStepsCall(name: string): ExprNode { |
| 233 | const args: ExprNode[] = []; |
no test coverage detected