Uses of Class
edu.rice.cs.cunit.threadCheck.ThreadCheck.Violation

Packages that use ThreadCheck.Violation

edu.rice.cs.cunit.threadCheck

Uses of ThreadCheck.Violation in edu.rice.cs.cunit.threadCheck

Subclasses of ThreadCheck.Violation in edu.rice.cs.cunit.threadCheck

static class	ThreadCheck.ArgumentPredicateViolation
static class	ThreadCheck.ExceptionInArgumentPredicateViolation
static class	ThreadCheck.ExceptionInPredicateViolation
static class	ThreadCheck.NotRunByIdViolation
static class	ThreadCheck.NotRunByThreadGroupViolation
static class	ThreadCheck.NotRunByThreadNameViolation
static class	ThreadCheck.OnlyRunByViolation
static class	ThreadCheck.PredicateViolation
static class	ThreadCheck.ReflectionPredicateViolation

Methods in edu.rice.cs.cunit.threadCheck with parameters of type ThreadCheck.Violation

static void

ThreadCheck.writeLog(ThreadCheck.Violation v) Write to the error log, and potentially initialize it first.