JarCasting
JarCasting JarCasting

rv-monitor-rt

The runtime library for rv-monitor

Лицензия

Лицензия
Группа

Группа

com.runtimeverification.rvmonitor
Идентификатор

Идентификатор

rv-monitor-rt
Последняя версия

Последняя версия

1.4.0
Дата

Дата
Тип

Тип

jar
Описание

Описание

rv-monitor-rt
The runtime library for rv-monitor
Ссылка на сайт

Ссылка на сайт

https://github.com/runtimeverification/rv-monitor
Система контроля версий

Система контроля версий

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

Скачать rv-monitor-rt

Имя Файла Размер
rv-monitor-rt-1.4.0.pom
rv-monitor-rt-1.4.0.jar 223 KB
rv-monitor-rt-1.4.0-sources.jar 118 KB
rv-monitor-rt-1.4.0-javadoc.jar 868 KB
Обзор

Как подключить последнюю версию

<!-- https://jarcasting.com/artifacts/com.runtimeverification.rvmonitor/rv-monitor-rt/ -->
<dependency>
    <groupId>com.runtimeverification.rvmonitor</groupId>
    <artifactId>rv-monitor-rt</artifactId>
    <version>1.4.0</version>
</dependency>
// https://jarcasting.com/artifacts/com.runtimeverification.rvmonitor/rv-monitor-rt/
implementation 'com.runtimeverification.rvmonitor:rv-monitor-rt:1.4.0'
// https://jarcasting.com/artifacts/com.runtimeverification.rvmonitor/rv-monitor-rt/
implementation ("com.runtimeverification.rvmonitor:rv-monitor-rt:1.4.0")
'com.runtimeverification.rvmonitor:rv-monitor-rt:jar:1.4.0'
<dependency org="com.runtimeverification.rvmonitor" name="rv-monitor-rt" rev="1.4.0">
  <artifact name="rv-monitor-rt" type="jar" />
</dependency>
@Grapes(
@Grab(group='com.runtimeverification.rvmonitor', module='rv-monitor-rt', version='1.4.0')
)
libraryDependencies += "com.runtimeverification.rvmonitor" % "rv-monitor-rt" % "1.4.0"
[com.runtimeverification.rvmonitor/rv-monitor-rt "1.4.0"]

Зависимости

Библиотека не имеет зависимостей. Это самодостаточное приложение, которое не зависит ни от каких других библиотек.

Модули Проекта

Данный проект не имеет модулей.

Detailed Documentation

For detailed information on RV-Monitor and its use, please see http://runtimeverification.com/monitor/docs (also included in text form in the docs/ subfolder of this install).

Build and Installation

rv-monitor builds with maven (3.6 or newer), which will download other Java dependencies.

To build, run the command

mvn package

This puts the compiled tools in the directory target/release/rv-monitor You can move that directory elsewhere if you do not want to keep the source code unpacked. For convenience, please add target/release/rv-monitor/bin to your PATH.

Command Line Basics

To call rv-monitor with ease, please add RV-Monitor/bin to your PATH!

The rv-monitor script has the following usage:

 rv-monitor [-v] [-d <target directory>] <specification file or dir>

	-v option is verbose mode
	-d option is used to specify the target directory
    	where the resulting java code will be saved. It is optional.

For more options, type rv-monitor or rv-monitor -h

Running Examples

Before trying any examples, please ensure you’ve added the RV-Monitor/bin directory to your PATH and the RV-Monitor Runtime Library, as well as your current directory in your Java CLASSPATH.

The RV-Monitor Runtime Library is provided in this package in the rv-monitor/lib directory. A typical value of this is:

In Windows, rv-monitor\lib\rv-monitor-rt.jar

In Linux and Mac, rv-monitor/lib/rv-monitor-rt.jar

Add this to the left end of the CLASSPATH followed by ;. (in Windows) or :. (in Linux and Mac). The second part (:. i.e. this directory) is for ease of use.

This ensures easy use of 1) rv-monitor to generate monitoring libraries, 2) javac to compile the libraries together with your instrumented program, and 3) java to run the code in all the examples.

Note: for setting the classpath to already existing classpath you may want to use %CLASSPATH% (in Windows) or $CLASSPATH (in Linux and Mac). Similarly for PATH. e.g. CLASSPATH=$CLASSPATH:rv-monitor/lib/rv-monitor-rt.jar:.

To get started, here’s an example of monitoring via context free grammar.

In RV-Monitor/examples/java/CFG/HasNext, we call: $ rv-monitor rvm/HasNext.rvm $ javac rvm/HasNextRuntimeMonitor.java HasNext_1/HasNext_1.java $ java HasNext_1.HasNext_1

For more information on running examples, please see the web documentation on running examples at https://runtimeverification.com/monitor/docs (also included in text form in the docs/ subfolder of this install).

com.runtimeverification.rvmonitor

Runtime Verification Inc.

Версии библиотеки

Версия
1.4.0