MaketRandevu/data/scripts/jsdoc/rhino/jsdoc.js
2013-05-20 17:21:58 +00:00

9 lines
243 B
JavaScript

// Platform-specific functions to support jsdoc.js
exports.pathToUri = function(_path) {
return String( new java.io.File(_path).toURI() );
};
exports.uriToPath = function(uri) {
return String( new java.io.File(new java.net.URI(uri)) );
};