public void verify(String title, String document) throws SleighException {
		if (verifierType != CSPECTAG_TYPE) {
			throw new SleighException("Only cspec tag verification is supported");
		}
		StringBuilder buffer = new StringBuilder();
		buffer.append("<compiler_spec>\n");
		buffer.append("<default_proto>\n");
		buffer.append("<prototype name=\"a\" extrapop=\"0\" stackshift=\"0\">\n");
		buffer.append("<input/><output/>\n");
		buffer.append("</prototype>\n");
		buffer.append("</default_proto>\n");
		buffer.append(document);
		buffer.append("</compiler_spec>\n");
		ErrorHandler errorHandler = new VerifierErrorHandler(title, 6);
		StringReader reader = new StringReader(buffer.toString());

		verifier.setErrorHandler(errorHandler);
		try {
			verifier.verify(new InputSource(reader));
		}
		catch (Exception e) {
			throw new SleighException("Invalid " + getTypeString() + ": " + title, e);
		}
	}
Verify an XML document as a string against this validator.
Currently this only supports verifierType == CSPECTAG_TYPE.
@param title is a description of the document
@param document is the XML document body
@throws SleighException with an explanation if the document does not validate
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/app/plugin/processors/sleigh/SleighLanguageValidator.java