Package ghidra.program.database

# 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 Summary

  Constructors
  Constructor
  Description
  `DocInfo(String document)`
  Construct by directly pulling information from the XML document

- ## Method Summary

  Modifier and Type
  Method
  Description
  `final String`
  `getFormalName()`
  `final String`
  `getOptionName()`
  `final SpecExtension.Type`
  `getType()`
  `final boolean`
  `isOverride()`

  ### Methods inherited from class java.lang.Object

  `clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait`

- ## 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