- private void resourceChanged(IResourceChangeEvent event)
- {
- // TODO react to MPM changes
- int type = event.getType();
- String typeStr;
- switch (type)
- {
- case IResourceChangeEvent.POST_BUILD:
- typeStr = "POST_BUILD";
- break;
- case IResourceChangeEvent.POST_CHANGE:
- typeStr = "POST_CHANGE";
- break;
- case IResourceChangeEvent.PRE_BUILD:
- typeStr = "PRE_BUILD";
- break;
- case IResourceChangeEvent.PRE_CLOSE:
- typeStr = "PRE_CLOSE";
- break;
- case IResourceChangeEvent.PRE_DELETE:
- typeStr = "PRE_DELETE";
- break;
- case IResourceChangeEvent.PRE_REFRESH:
- typeStr = "PRE_REFRESH";
- break;
- default:
- typeStr = "<unknown: " + type + ">";
- }
- System.out.println(typeStr + ": " + event);
- }