Man page for valhalla
NAME
valhalla - Mjolner BETA Source-Level Debugger (version 2.2)
SYNOPSIS
valhalla [options] [ executable ]
where executable is the name of the BETA application to be
executed and debugged.
AVAILABILITY
The Mjolner BETA Debugger is available as part of the
Mjolner BETA System from Mjolner Informatics.
DESCRIPTION
valhalla is the source level debugger for the Mjolner BETA
System. Valhalla includes the following functionality:
Program control
by setting breakpoints and single stepping on BETA
source level.
Static browsing
of program text by following semantic links. Semantic
links include super pattern relationships, SLOT bind-
ings, and links from name applications to the
corresponding declarations.
Dynamic browsing
of call chains and object states of the stopped BETA
program execution.
OPTIONS
-EXEC executable
-EXECNAME executable
executable is the name of the BETA program executable
to be executed and debugged.
-ENV name value
-ENVIRONMENT name value
Used to set environment variables for the debugged pro-
cess. Default is to hand over the environment. However,
by using the ENVIRONMENT command-line parameter, the
default values may be overridden.
-BOPT name value
-BOOLEANOPTION name value
Used to set the boolean option named name. Value should
be TRUE or FALSE. See Section BOOLEAN OPTIONS later for
details on available boolean options.
-CL parameter
-COMMLINE parameter
Used to give command line parameters to the process be-
ing debugged. One COMMLINE is needed for each command
lineparameter to be given to the debugged process.
-PID number
Used to inform valhalla that it is supposed to debug
the process with process id number. Used if valhalla is
started after the debugged process.
BOOLEAN OPTIONS
The following boolean options can be set (or unset) in the
above mentioned BOOLEANOPTION option. All boolean option
names below are non-case sensible.
ShortCodeNames
Whether to use truncated imperative names for code ex-
pressions shown on the stack. Default: TRUE.
ReadLabelsOnStartUp
Whether to read labels from executable at startup in-
stead of on demand. Default: FALSE.
DebugValhalla
Print out valhalla debugging information. Default:
FALSE.
AlwaysCurCode
Show current code on each process stop, even if no view
is currently open on that code. Default: TRUE.
CharRepOnALine
Whether char repetitions should be shown on a single
line. Default: FALSE.
InvisibleOrigins
Whether origins should initially be invisible in object
views. Default: TRUE.
NumberObjects
Whether objects should be given a serial number. De-
fault: TRUE.
ShortObjectTitles
Whether to use truncated pattern names (max 2 pattern
names in path) for object descriptions. Default: TRUE.
DragOutlineOnOpen
Whether a nested window is dragged on open, or is sim-
ply given a default size and position. Default: TRUE.
ENVIRONMENT
VALHALLAOPTS
May contain command line options to valhalla as defined
above. Command line options given on the command line
are given priority over command line options specified
in the VALHALLAOPTS environment variable.
SEE ALSO
beta(1) - BETA Compiler
betawc(1) - BETA fragment analyzer
betatar(1) - BETA tar(1) front-end
betafs(1) - Mjolner BETA Fragment Structure Lister
sif(1) - Hyper-Structure Editor
The Mjolner BETA System - Valhalla: The BETA Source-level
Debugger - User's Guide, Mjolner Informatics Report: MIA
92-12.
AUTHORS
Valhalla is developed by Mjolner Informatics as part of the
Mjolner BETA System.
Questions, bug-reports, etc. may be directed to
support@mjolner.dk if the local support organization cannot
find solutions to the problems.
For more information of the Mjolner BETA System, please con-
tact Mjolner Informatics, Science Park Aarhus, Gustav Wieds
Vej 10, DK-8000 Aarhus C, Denmark, phone: +45 86 20 20 00,
fax: +45 86 20 12 22, e-mail: info@mjolner.dk.