pervasive - Open-Turing-Project/TuringDocs GitHub Wiki

#pervasive

##Description When a variable, constant, type or subprogram is declared, you can specify that it is to be pervasive, which means that it does not need to be explicitly imported into modules, monitors or classes in the current scope. The keyword pervasive can be abbreviated as an asterisk (*).

##Example

    var pervasive counter : int % Short form: var * count : int
    const * maxCounter : int := 100
    procedure * p ( x : real )
        …
    end p

##Details The keyword pervasive is also used in export lists along with the keyword unqualified. See export list for details.

##See also var.html declaration.html, const.html declaration.html, procedure.html declaration.html, function.html declaration.html, subprogram header and export.html list for uses of .