Uses of Class
org.eclipse.xtext.junit4.validation.AssertableDiagnostics.Pred

Packages that use AssertableDiagnostics.Pred

Package	Description
org.eclipse.xtext.junit4.validation

Uses of AssertableDiagnostics.Pred in org.eclipse.xtext.junit4.validation

Methods in org.eclipse.xtext.junit4.validation that return AssertableDiagnostics.Pred

Modifier and Type	Method and Description
static AssertableDiagnostics.Pred	AssertableDiagnostics.diagnostic(Integer severity, Integer code, String messageFragment)
static AssertableDiagnostics.Pred	AssertableDiagnostics.diagnostic(Integer severity, Integer code, String issueCode, String messageFragment)
static AssertableDiagnostics.Pred	AssertableDiagnostics.diagnostic(Integer severity, String issueCode, String messageFragment)
static AssertableDiagnostics.Pred	AssertableDiagnostics.error(int code, String messageFragment)
static AssertableDiagnostics.Pred	AssertableDiagnostics.error(String code, String messageFragment)
static AssertableDiagnostics.Pred	AssertableDiagnostics.errorCode(int code)
static AssertableDiagnostics.Pred	AssertableDiagnostics.errorCode(String code)
static AssertableDiagnostics.Pred	AssertableDiagnostics.errorMsg(String messageFragment)
static AssertableDiagnostics.Pred	AssertableDiagnostics.warning(int code, String messageFragment)
static AssertableDiagnostics.Pred	AssertableDiagnostics.warning(String code, String messageFragment)
static AssertableDiagnostics.Pred	AssertableDiagnostics.warningCode(int code)
static AssertableDiagnostics.Pred	AssertableDiagnostics.warningCode(String code)
static AssertableDiagnostics.Pred	AssertableDiagnostics.warningMsg(String messageFragment)