Java ResourceSetInfo.setUpdateCache Examples

Example #1

File: StateChartDocumentProvider.java Project: kouretes/KSE

 /** @generated */
 protected void doUpdateStateCache(Object element) throws CoreException {
   ResourceSetInfo info = getResourceSetInfo(element);
   if (info != null) {
     info.setUpdateCache(true);
   }
   super.doUpdateStateCache(element);
 }