public void AddDeveloperExtension(PdfDeveloperExtension de)
{
if (extensions == null) {
extensions = new PdfDictionary();
}
else {
PdfDictionary extension = extensions.GetAsDict(de.Prefix);
if (extension != null) {
int diff = de.Baseversion.CompareTo(extension.GetAsName(PdfName.BASEVERSION));
if (diff < 0)
return;
diff = de.ExtensionLevel - extension.GetAsNumber(PdfName.EXTENSIONLEVEL).IntValue;
if (diff <= 0)
return;
}
}
extensions.Put(de.Prefix, de.GetDeveloperExtensions());
}