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