How do I get list of hosts from JBoss Domain Controller host?

[helper1000]

Is there an option to get the list of hosts(not servers) registered in JBoss master domain controller host via CLI or Rest API call?

The requirement for me before I create the servers I need to the host name using puppet.  One option I can think of using puppet providers, but if there are another options please advise.

[ptyagi_redhat.com]

You may try cli command :

:read-children-names(child-type=host)

Thanks,

Priyanka

[helper1000]

Thank you.