@Deprecated(since = "11.3", forRemoval = true)
	public default DemangledObject demangle(String mangled, DemanglerOptions options)
			throws DemangledException {
		MangledContext mangledContext = createMangledContext(mangled, options, null, null);
		DemangledObject demangledObject = demangle(mangledContext);
		if (demangledObject != null && demangledObject.getMangledContext() == null) {
			demangledObject.setMangledContext(mangledContext);
		}
		return demangle(mangledContext);
	}
Attempts to demangle the given string using the given options

@param mangled the mangled string
@param options the options
@return the result; {@code null} is possible if the mangled string is not supported
@throws DemangledException if the string cannot be demangled
@deprecated Use {@link #demangle(String)} or {@link #demangle(MangledContext)}.
Ghidra/Features/Base/src/main/java/ghidra/app/util/demangler/Demangler.java