OwnershipSubchecker.java

package checkers.oigj;

import checkers.basetype.BaseTypeChecker;
import checkers.oigj.quals.*;
import checkers.quals.TypeQualifiers;

@TypeQualifiers({ Dominator.class, Modifier.class, World.class, O.class})
public class OwnershipSubchecker extends BaseTypeChecker {

}