Slice is the fundamental mechanism for defining the client–server contract. By defining data types and interfaces in Slice, you create a language-independent API definition that are translated by a compiler into an API specific for a particular programming language.
Slice provides the usual built‑in types and allows you to create user-defined types of arbitrary complexity, such as sequences, enumerations, structures, dictionaries, and classes. Polymorphism is catered for via inheritance of interfaces, classes, and exceptions. In turn, exceptions provide you with facilities that permit sophisticated error reporting and handling. Modules permit you to group related parts of a specification and prevent pollution of the global namespace, and metadata can be used to augment Slice definitions with directives for specific compiler backends.
slice2html permits you to integrate Slice documentation with existing documentation tools.
