Signatures

Vadacode supports the representation of atoms using signatures, a concept which is familiar to those who use imperative languages that defines the inputs and outputs of a function, subroutine or method.

In Vadalog, a signature is the schema of an atom, that is the ordered list of its terms along with their types. Thise signature are made available in Visual Studio Code to support some of its code navigation features.

Signatures are derived from atom definitions. Read more about atom definitions.

Hovers

The first use of signatures is with the Hover feature, which shows information about the atom that’s below the mouse cursor.

signature hover
Figure 1. Atom signature shown in hover widget; signature has been inferred by usage.

You can really improve signatures using Vadoc documentation comments.

signature vadoc