private void checkExtension(DocInfo doc) throws SleighException {
		switch (doc.type) {
			case CALL_FIXUP:
				checkCallFixup(doc);
				break;
			case CALLOTHER_FIXUP:
				checkCallotherFixup(doc);
				break;
			case MERGE_MODEL:
				checkPrototype(doc);
				break;
			case PROTOTYPE_MODEL:
				checkPrototype(doc);
				break;
		}
	}
Check the given document information against existing objects already in the compiler spec.
Any problem (like name collisions) causes an exception to get thrown.
Checks may populate additional document information
@param doc is the document information: name, type
@throws SleighException if there is a problem
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/database/SpecExtension.java