Class SpecExtension.DocInfo

java.lang.Object
ghidra.program.database.SpecExtension.DocInfo
Enclosing class:
SpecExtension

public static class SpecExtension.DocInfo extends Object
Helper class for collecting information about an extension XML document and constructing its option name for storage
  • Constructor Details

    • DocInfo

      public DocInfo(String document)
      Construct by directly pulling information from the XML document
      Parameters:
      document - is the entire XML document as a String
  • Method Details

    • getType

      public final SpecExtension.Type getType()
      Returns:
      the Type of the extension
    • getFormalName

      public final String getFormalName()
      Returns:
      the formal name of the extension
    • getOptionName

      public final String getOptionName()
      Returns:
      the option name associated with the extension
    • isOverride

      public final boolean isOverride()
      Returns:
      true if the extension overrides a core object