| OLD | NEW |
| 1 // Copyright (c) 2015, the Fletch project authors. Please see the AUTHORS file | 1 // Copyright (c) 2015, the Dartino project authors. Please see the AUTHORS file |
| 2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
| 3 // BSD-style license that can be found in the LICENSE.md file. | 3 // BSD-style license that can be found in the LICENSE.md file. |
| 4 | 4 |
| 5 // Generated file. Do not edit. | 5 // Generated file. Do not edit. |
| 6 | 6 |
| 7 package immi; | 7 package immi; |
| 8 | 8 |
| 9 import java.util.ArrayList; | 9 import java.util.ArrayList; |
| 10 import java.util.Collections; | 10 import java.util.Collections; |
| 11 import java.util.List; | 11 import java.util.List; |
| (...skipping 193 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 205 public static Type fromInt(int tag) { | 205 public static Type fromInt(int tag) { |
| 206 return tag == 0 ? ANY_NODE : SPECIFIC_NODE; | 206 return tag == 0 ? ANY_NODE : SPECIFIC_NODE; |
| 207 } | 207 } |
| 208 } | 208 } |
| 209 | 209 |
| 210 private boolean changed; | 210 private boolean changed; |
| 211 private List<N> previous; | 211 private List<N> previous; |
| 212 private List<N> current; | 212 private List<N> current; |
| 213 private List<RegionPatch> regions; | 213 private List<RegionPatch> regions; |
| 214 } | 214 } |
| OLD | NEW |