head     1.1;
branch   1.1.1;
access   ;
symbols  start:1.1.1.1 project:1.1.1;
locks    ; strict;
comment  @# @;


1.1
date     2009.07.09.02.51.48;  author yo2dh;  state Exp;
branches 1.1.1.1;
next     ;

1.1.1.1
date     2009.07.09.02.51.48;  author yo2dh;  state Exp;
branches ;
next     ;


desc
@@



1.1
log
@Initial revision
@
text
@Installation instructions
~~~~~~~~~~~~~~~~~~~~~~~~~

Put the following in your .emacs file:

(setq load-path (cons pam-directory load-path))
(autoload 'pam-analyze-file "pam-3" "Load Program Analysis Mode" t)

where 'pam-directory' is the directory in which you have placed
the .el files needed to implement PAM.

You also need to set two variables:

'pam-child-process-name' is the name of the program to run which
will analyze the source file.
'pam-child-process-args' is a list of arguments to send to the
above-named process.

Example 1 (for the Points-to-3 analysis):

(setq pam-child-process-name "sml-cm")
(setq pam-child-process-args
	 '("/home/cs/chrishtr/cc/Points-to-3/lib.c"
	   "@@SMLload=/home/cs/chrishtr/cc/Points-to-3/pampta.hppa-hpux"))

Example 2 (for the PTA-3 analysis):

(setq pam-child-process-name "sml-cm")
(setq pam-child-process-args
	 '("@@SMLload=/home/cs/chrishtr/cc/PTA-3/pampta.hppa-hpux"))

There are also five colors used by PAM which you can set.  They
can be set to any face defined in Emacs.  They are:

pam-color-1       -|
pam-color-2        |_____ Used by the particular analysis to highlight
pam-color-3        |      different types of text
pam-color-4       -|
pam-color-mouse   ------- For when the mouse goes over a link

Using PAM
~~~~~~~~~

Once you have loaded emacs, you can use 'M-x pam-analyze-file' to
analyze a particular file you specify.  After it is running, use
'M-x pam-reset' to end the analysis.
@


1.1.1.1
log
@CVS TEST
@
text
@@
