public synchronized void setWorkbenchEntry ( final WorkbenchEntry workbenchEntry ) { assert ! acquired : this ; this . workbenchEntry = workbenchEntry ; if ( ! isEmpty ( ) ) workbenchEntry . add ( this , frontier . workbench ) ; }
Sets the workbench entry and put this visit state in its entry if it is nonempty .