File: Delta.java

package info (click to toggle)

checker-framework-java 3.2.0%2Bds-1

file content (9 lines) | stat: -rw-r--r-- 146 bytes

import java.util.List;

class Delta<E> {
    List<E> field;

    Delta(List<E> field) {
        this.field = ImmutableList.copyOf(field);
    }
}