public void verify(ResourceFile specFile) throws SleighException {
		FileResolutionResult result = FileUtilities.existsAndIsCaseDependent(specFile);
		if (!result.isOk()) {
			throw new SleighException(
				specFile + " is not properly case dependent: " + result.getMessage());
		}
		try (InputStream in = specFile.getInputStream()) {
			verifier.setErrorHandler(new VerifierErrorHandler(specFile));
			verifier.verify(new InputSource(in));
		}
		catch (Exception e) {
			throw new SleighException(
				"Invalid " + getTypeString() + " file: " + specFile.getAbsolutePath(), e);
		}
	}
Verify the given file against this validator.
@param specFile is the file
@throws SleighException with an explanation if the file does not validate
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/app/plugin/processors/sleigh/SleighLanguageValidator.java