public final class PatternParsingResults
extends java.lang.Object
Constructor and Description |
---|
PatternParsingResults(java.util.List<Pattern> patterns,
PatternSetValidationDiagnostics diag,
SpecificationBuilder builder) |
Modifier and Type | Method and Description |
---|---|
java.lang.Iterable<org.eclipse.xtext.validation.Issue> |
getAllDiagnostics() |
java.lang.Iterable<org.eclipse.xtext.validation.Issue> |
getErrors() |
java.lang.Iterable<Pattern> |
getPatterns()
Collects all the patterns that are parsed successfully
|
java.lang.Iterable<IQuerySpecification<?>> |
getQuerySpecifications()
Collects all the query that are parsed and built successfully
|
java.lang.Iterable<org.eclipse.xtext.validation.Issue> |
getWarnings() |
boolean |
hasError() |
boolean |
hasWarning() |
java.lang.String |
toString() |
boolean |
validationOK() |
public PatternParsingResults(java.util.List<Pattern> patterns, PatternSetValidationDiagnostics diag, SpecificationBuilder builder)
public boolean hasWarning()
public boolean hasError()
public boolean validationOK()
public java.lang.Iterable<org.eclipse.xtext.validation.Issue> getAllDiagnostics()
public java.lang.Iterable<org.eclipse.xtext.validation.Issue> getErrors()
public java.lang.Iterable<org.eclipse.xtext.validation.Issue> getWarnings()
public java.lang.String toString()
toString
in class java.lang.Object
public java.lang.Iterable<Pattern> getPatterns()
public java.lang.Iterable<IQuerySpecification<?>> getQuerySpecifications() throws ViatraQueryException
ViatraQueryException