ObjectInputValidation.java

package java.io;

import checkers.javari.quals.*;

public interface ObjectInputValidation {
    public void validateObject() throws InvalidObjectException;
}