Interface Commands


public interface Commands
This class defines the available command-line commands.
Author:
BaseX Team 2005-21, BSD License, Christian Gruen