public static List<ConstraintViolation> check(Resource resource,ProgressMonitor monitor){
  return check(resource,SPIN.constraint,null,monitor);
}

public static List < ConstraintViolation > check ( Resource resource , ProgressMonitor monitor ) { return check ( resource , SPIN . constraint , null , monitor ) ; }
checks all spin : constraints for a given resource .
