@Override
	public List<String> getOptionsNames() {
		List<Options> childOptions = options.getChildOptions();
		List<String> names = new ArrayList<>(childOptions.size());
		for (Options options : childOptions) {
			names.add(options.getName());
		}
		return names;
	}
Returns all properties lists contained by this domain object.

@return all property lists contained by this domain object.
Ghidra/Framework/Project/src/main/java/ghidra/framework/data/DomainObjectAdapterDB.java