aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorFrancesco Potortì2001-01-14 21:04:25 +0000
committerFrancesco Potortì2001-01-14 21:04:25 +0000
commit9b8b3b6779d2b572e4d00995bdfff68e09f47473 (patch)
treed4c72e676f99c382f83c88de2ab1a792ca77c176
parent89d57763af3564887725b721a8f45b7ce4dcd81f (diff)
downloademacs-9b8b3b6779d2b572e4d00995bdfff68e09f47473.tar.gz
emacs-9b8b3b6779d2b572e4d00995bdfff68e09f47473.zip
Added instructions for use of Ada tags.
-rw-r--r--man/programs.texi30
1 files changed, 28 insertions, 2 deletions
diff --git a/man/programs.texi b/man/programs.texi
index c3bf0c75d9b..bd44386036c 100644
--- a/man/programs.texi
+++ b/man/programs.texi
@@ -1965,8 +1965,34 @@ set with @code{set!} at top level in the file.
1965 1965
1966@item 1966@item
1967In Ada code, functions, procedures, packages, tasks, and types are 1967In Ada code, functions, procedures, packages, tasks, and types are
1968tags. Use the @samp{--packages-only} option to create tags for packages 1968tags. Use the @samp{--packages-only} option to create tags for
1969only. 1969packages only.
1970
1971With Ada, it is possible to have the same name used for different
1972entity kind (e.g. same name for a procedure and a function). Also,
1973for things like package, procedures and functions, there is the spec
1974(i.e. the interface) and the body (i.e. the implementation). To
1975facilitate the choice to the user, a tag value is appended with a
1976qualifier :
1977
1978@table @asis
1979@item function
1980 @kbd{/f}
1981@item procedure
1982 @kbd{/p}
1983@item package spec
1984 @kbd{/s}
1985@item package body
1986 @kbd{/b}
1987@item type
1988 @kbd{/t}
1989@item task
1990 @kbd{/k}
1991@end table
1992
1993So, as an example, @kbd{M-x find-tag bidule/b} will go directly to the
1994body of the package @var{bidule} while @kbd{M-x find-tag bidule} will
1995just search for any tag @var{bidule}.
1970 1996
1971@item 1997@item
1972In assembler code, labels appearing at the beginning of a line, 1998In assembler code, labels appearing at the beginning of a line,