Superclass: lively.ide.FileFragment

Class definition of lively.ide.ParseErrorFileFragment in lively/ide/FileParsing.js:416