Difference between revisions of "JavaMOP and RVMonitor Usage"

From FSL
Jump to: navigation, search
(Created page with "==")
 
Line 1: Line 1:
==
+
= Prerequisite =
 +
=== Scala ===
 +
You can obtain scala(2.9.1 is preferred) from:
 +
 
 +
  http://www.scala-lang.org/
 +
 
 +
Don't forget to set SCALA_HOME environment to the path where you install the scala.
 +
 
 +
=== AspectJ ===
 +
You can either download AspectJ from the website:
 +
 
 +
  http://eclipse.org/aspectj/
 +
 
 +
Or git clone a modified AspectJ which is able to weave DaCapo 9.12 with 179 specifications:
 +
 
 +
  git clone -b javamop ssh://[your-id]@fslwork.cs.illinois.edu/home/clee83/repository/aspectj
 +
 
 +
For detailed information, please refer to:
 +
 
 +
  http://fsl.cs.illinois.edu/index.php/JavaMOPAgent
 +
 
 +
= RV Monitor =
 +
 
 +
=== Installation ===
 +
You can clone it from the github:
 +
 
 +
  https://github.com/runtimeverification/rv-monitor
 +
 
 +
Use "ant" to build it.
 +
After compilation, you will see several .jar files generated under $rv-monitor/lib. Among them:
 +
*rvmonitor.jar: rvmonitor which is used to generate library code with .rvm file.
 +
*rt.jar: runtime library used by generated library code. This jar file contains all the important data structures like AbstactMonitor, AbstractMonitorSet, Indexing Tree and so on.

Revision as of 04:02, 18 December 2013

Contents

Prerequisite

Scala

You can obtain scala(2.9.1 is preferred) from:

 http://www.scala-lang.org/

Don't forget to set SCALA_HOME environment to the path where you install the scala.

AspectJ

You can either download AspectJ from the website:

 http://eclipse.org/aspectj/

Or git clone a modified AspectJ which is able to weave DaCapo 9.12 with 179 specifications:

 git clone -b javamop ssh://[your-id]@fslwork.cs.illinois.edu/home/clee83/repository/aspectj

For detailed information, please refer to:

 http://fsl.cs.illinois.edu/index.php/JavaMOPAgent

RV Monitor

Installation

You can clone it from the github:

 https://github.com/runtimeverification/rv-monitor

Use "ant" to build it. After compilation, you will see several .jar files generated under $rv-monitor/lib. Among them:

  • rvmonitor.jar: rvmonitor which is used to generate library code with .rvm file.
  • rt.jar: runtime library used by generated library code. This jar file contains all the important data structures like AbstactMonitor, AbstractMonitorSet, Indexing Tree and so on.
Personal tools
Namespaces

Variants
Actions
Navigation