syntax-directed editor