src/JSUtils/node/TernNodeDomain.js
function resetTernServer() {
    // If a server is already created just reset the analysis data 
    if (ternServer) {
        ternServer.reset();
        Infer.resetGuessing();
        // tell the main thread we're ready to start processing again
        self.postMessage({type: MessageIds.TERN_WORKER_READY});
    }
}
function resetTernServer() {
    // If a server is already created just reset the analysis data 
    if (ternServer) {
        ternServer.reset();
        Infer.resetGuessing();
        // tell the main thread we're ready to start processing again
        self.postMessage({type: MessageIds.TERN_WORKER_READY});
    }
}
function resetTernServer ( ) { // If a server is already created just reset the analysis data  if ( ternServer ) { ternServer . reset ( ) ; Infer . resetGuessing ( ) ; // tell the main thread we're ready to start processing again self . postMessage ( { type : MessageIds . TERN_WORKER_READY } ) ; } }
Resets an existing tern server.
Resets an existing tern server .