Quantifiers use relations!!!
[repair.git] / Repair / RepairCompiler / MCC / IR / ReservedFieldDescriptor.java
1 package MCC.IR;
2
3 /**
4  * ReservedFieldDescriptor
5  *
6  * represents an unreferencable region of a structure. usually used
7  * for padding structures or for allocating generic memory space
8  */
9
10 public class ReservedFieldDescriptor extends FieldDescriptor {
11
12     static int number = 0;
13
14     public ReservedFieldDescriptor() {
15         super("#RESERVED-" + ReservedFieldDescriptor.number++ + "#");
16     }
17
18 }