Index: tools/immic/lib/src/resources/java/immi/NodePatch.java |
diff --git a/tools/immic/lib/src/resources/java/immi/NodePatch.java b/tools/immic/lib/src/resources/java/immi/NodePatch.java |
deleted file mode 100644 |
index 1e233995e72e854276eeab90d4ff60ae4e77ac71..0000000000000000000000000000000000000000 |
--- a/tools/immic/lib/src/resources/java/immi/NodePatch.java |
+++ /dev/null |
@@ -1,23 +0,0 @@ |
-// Copyright (c) 2015, the Dartino project authors. Please see the AUTHORS file |
-// for details. All rights reserved. Use of this source code is governed by a |
-// BSD-style license that can be found in the LICENSE.md file. |
- |
-// Generated file. Do not edit. |
- |
-package immi; |
- |
-public interface NodePatch<N extends Node, P extends NodePresenter> extends Patch { |
- boolean wasReplaced(); |
- boolean wasUpdated(); |
- |
- N getCurrent(); |
- N getPrevious(); |
- |
- void applyTo(P presenter); |
- |
- enum PatchType { |
- IdentityNodePatch, |
- ReplaceNodePatch, |
- UpdateNodePatch |
- } |
-} |