New README.md

@seriousamlqz, @yzhang90, @grosu Please review

@grosu, please assign someone who knows better than me to write the Static Weaving Section: I don't use that option.
Yes.  Besides fixing all the English mistakes.

Grigore


________________________________
From: Owolabi Legunsen [notifications@github.com]
Sent: Sunday, September 28, 2014 5:35 PM
To: runtimeverification/javamop
Cc: Rosu, Grigore
Subject: Re: [javamop] New README.md (#89)


In README.md:

> -The resulting monitoring code is piped to standard output, in XML format.
> +In this mode, the user can generate a instrumentation (.aj) file and
> +a java library(.java) file to be weaved into the original program. The instrumentation
> +file includes the pointcuts and advice which will be used by the AspectJ compiler (ajc) to
> +instrument the code. The advice in the instrumentation file will call the functions
> +provided in the java library. For simplicity, we append the java library to the
> +instrumentation file so that JavaMop generates a single .aj file. Once JavaMOP is correctly installed (see the INSTALL.md file in this directory), this can be achieved by running the following command:
> +
> +```javamop [-v] [-d <target directory>] [-merge] [-n aspectName] <properties>```
> +
> +The optional ```[-v]``` generates the file and the library in verbose mode and ```[-d <target directory>]``` will store
> +all output files to the user specified directory which must exist prior to issuing the command above.
> + ```<properties>``` refers to one or more property (i.e. *.mop) files, or a directory containing
> +such property files. By default, one .aj file is generated for each JavaMOP specification. When
> +```[-merge]``` is set, JavaMOP will generate a combined .aj file for monitoring multiple properties
> +simultaneously. This should be used with the `[-n aspectName]` option, so that the merged monitor file


maybe we should just explain the simplest command that works?

—
Reply to this email directly or view it on GitHub<https://github.com/runtimeverification/javamop/pull/89/files#r18133247>.