Merge pull request #327 from jpep-in/issues/327

327 - expose validation results and location item
This commit is contained in:
Jochen Staerk
2023-06-08 19:38:27 +02:00
committed by GitHub
2 changed files with 11 additions and 2 deletions

View File

@@ -1,6 +1,7 @@
package org.mustangproject.validator;
import java.util.ArrayList;
import java.util.List;
import java.util.Vector;
import org.slf4j.Logger;
@@ -145,11 +146,16 @@ public class ValidationContext {
if (filename==null) {
return "";
} else {
return filename;
return filename;
}
}
public String getFormat() {
return format;
}
public List<ValidationResultItem> getResults() {
return results;
}
}

View File

@@ -110,6 +110,9 @@ public class ValidationResultItem {
public String getMessage() {
return message;
}
public String getLocation() {
return location;
}
}