111 lines
		
	
	
		
			3.7 KiB
		
	
	
	
		
			TypeScript
		
	
	
	
	
	
		
		
			
		
	
	
			111 lines
		
	
	
		
			3.7 KiB
		
	
	
	
		
			TypeScript
		
	
	
	
	
	
|  | import {AST, Binary, BindingPipe, Chain, Conditional, EmptyExpr, FunctionCall, ImplicitReceiver, Interpolation, KeyedRead, KeyedWrite, LiteralArray, LiteralMap, LiteralPrimitive, MethodCall, ParseSpan, PrefixNot, PropertyRead, PropertyWrite, Quote, RecursiveAstVisitor, SafeMethodCall, SafePropertyRead} from '../../src/expression_parser/ast'; | ||
|  | 
 | ||
|  | import {unparse} from './unparser'; | ||
|  | 
 | ||
|  | class ASTValidator extends RecursiveAstVisitor { | ||
|  |   private parentSpan: ParseSpan|undefined; | ||
|  | 
 | ||
|  |   visit(ast: AST) { | ||
|  |     this.parentSpan = undefined; | ||
|  |     ast.visit(this); | ||
|  |   } | ||
|  | 
 | ||
|  |   validate(ast: AST, cb: () => void): void { | ||
|  |     if (!inSpan(ast.span, this.parentSpan)) { | ||
|  |       throw Error( | ||
|  |           `Invalid AST span [expected (${ast.span.start}, ${ast.span.end}) to be in (${this.parentSpan.start},  ${this.parentSpan.end}) for ${unparse(ast)}`); | ||
|  |     } | ||
|  |     const oldParent = this.parentSpan; | ||
|  |     this.parentSpan = ast.span; | ||
|  |     cb(); | ||
|  |     this.parentSpan = oldParent; | ||
|  |   } | ||
|  | 
 | ||
|  |   visitBinary(ast: Binary, context: any): any { | ||
|  |     this.validate(ast, () => super.visitBinary(ast, context)); | ||
|  |   } | ||
|  | 
 | ||
|  |   visitChain(ast: Chain, context: any): any { | ||
|  |     this.validate(ast, () => super.visitChain(ast, context)); | ||
|  |   } | ||
|  | 
 | ||
|  |   visitConditional(ast: Conditional, context: any): any { | ||
|  |     this.validate(ast, () => super.visitConditional(ast, context)); | ||
|  |   } | ||
|  | 
 | ||
|  |   visitFunctionCall(ast: FunctionCall, context: any): any { | ||
|  |     this.validate(ast, () => super.visitFunctionCall(ast, context)); | ||
|  |   } | ||
|  | 
 | ||
|  |   visitImplicitReceiver(ast: ImplicitReceiver, context: any): any { | ||
|  |     this.validate(ast, () => super.visitImplicitReceiver(ast, context)); | ||
|  |   } | ||
|  | 
 | ||
|  |   visitInterpolation(ast: Interpolation, context: any): any { | ||
|  |     this.validate(ast, () => super.visitInterpolation(ast, context)); | ||
|  |   } | ||
|  | 
 | ||
|  |   visitKeyedRead(ast: KeyedRead, context: any): any { | ||
|  |     this.validate(ast, () => super.visitKeyedRead(ast, context)); | ||
|  |   } | ||
|  | 
 | ||
|  |   visitKeyedWrite(ast: KeyedWrite, context: any): any { | ||
|  |     this.validate(ast, () => super.visitKeyedWrite(ast, context)); | ||
|  |   } | ||
|  | 
 | ||
|  |   visitLiteralArray(ast: LiteralArray, context: any): any { | ||
|  |     this.validate(ast, () => super.visitLiteralArray(ast, context)); | ||
|  |   } | ||
|  | 
 | ||
|  |   visitLiteralMap(ast: LiteralMap, context: any): any { | ||
|  |     this.validate(ast, () => super.visitLiteralMap(ast, context)); | ||
|  |   } | ||
|  | 
 | ||
|  |   visitLiteralPrimitive(ast: LiteralPrimitive, context: any): any { | ||
|  |     this.validate(ast, () => super.visitLiteralPrimitive(ast, context)); | ||
|  |   } | ||
|  | 
 | ||
|  |   visitMethodCall(ast: MethodCall, context: any): any { | ||
|  |     this.validate(ast, () => super.visitMethodCall(ast, context)); | ||
|  |   } | ||
|  | 
 | ||
|  |   visitPipe(ast: BindingPipe, context: any): any { | ||
|  |     this.validate(ast, () => super.visitPipe(ast, context)); | ||
|  |   } | ||
|  | 
 | ||
|  |   visitPrefixNot(ast: PrefixNot, context: any): any { | ||
|  |     this.validate(ast, () => super.visitPrefixNot(ast, context)); | ||
|  |   } | ||
|  | 
 | ||
|  |   visitPropertyRead(ast: PropertyRead, context: any): any { | ||
|  |     this.validate(ast, () => super.visitPropertyRead(ast, context)); | ||
|  |   } | ||
|  | 
 | ||
|  |   visitPropertyWrite(ast: PropertyWrite, context: any): any { | ||
|  |     this.validate(ast, () => super.visitPropertyWrite(ast, context)); | ||
|  |   } | ||
|  | 
 | ||
|  |   visitQuote(ast: Quote, context: any): any { | ||
|  |     this.validate(ast, () => super.visitQuote(ast, context)); | ||
|  |   } | ||
|  | 
 | ||
|  |   visitSafeMethodCall(ast: SafeMethodCall, context: any): any { | ||
|  |     this.validate(ast, () => super.visitSafeMethodCall(ast, context)); | ||
|  |   } | ||
|  | 
 | ||
|  |   visitSafePropertyRead(ast: SafePropertyRead, context: any): any { | ||
|  |     this.validate(ast, () => super.visitSafePropertyRead(ast, context)); | ||
|  |   } | ||
|  | } | ||
|  | 
 | ||
|  | function inSpan(span: ParseSpan, parentSpan: ParseSpan | undefined): parentSpan is ParseSpan { | ||
|  |   return !parentSpan || (span.start >= parentSpan.start && span.end <= parentSpan.end); | ||
|  | } | ||
|  | 
 | ||
|  | const sharedValidator = new ASTValidator(); | ||
|  | 
 | ||
|  | export function validate<T extends AST>(ast: T): T { | ||
|  |   sharedValidator.visit(ast); | ||
|  |   return ast; | ||
|  | } |