StringFileData( String contents, String basename, { this.encoding = utf8, }) : super._(contents, basename, encoding: encoding);