uk.ac.man.cs.rainbow.rapa
Class Examples

java.lang.Object
  |
  +--uk.ac.man.cs.rainbow.rapa.Examples

public class Examples

extends Object

Method Summary

static ProcessTerm	asyncSum(Value value, Type ty) An asynchronous sum using Green components.
static ProcessTerm	deadlock() A deadlocking example.
static ProcessTerm	div2(Value n, Type ty) The Div2 example in Green components.
static ProcessTerm	fib() Fibonacci number generator using Green components.
static void	main(String[] args) Main program to run examples.
static ProcessTerm	mathNetwork(boolean use4way) Network with lots of processing.
static ProcessTerm	probes() Probes need testing too.
static ProcessTerm	simpleGreenLoop(Value value, Type type) A very basic loop using Green components.
static ProcessTerm	streamDoubler(Value value, Type type) A stream doubler using Green components.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

simpleGreenLoop

public static ProcessTerm simpleGreenLoop(Value value,
                                          Type type)

A very basic loop using Green components.

streamDoubler

public static ProcessTerm streamDoubler(Value value,
                                        Type type)

A stream doubler using Green components.

asyncSum

public static ProcessTerm asyncSum(Value value,
                                   Type ty)

An asynchronous sum using Green components. Used to check correct behaviour of postponed actions.

fib

public static ProcessTerm fib()

Fibonacci number generator using Green components.

mathNetwork

public static ProcessTerm mathNetwork(boolean use4way)

Network with lots of processing. Used to check performance of action product resolution.

div2

public static ProcessTerm div2(Value n,
                               Type ty)

The Div2 example in Green components. Used for checking the abstract interpretation engine.

deadlock

public static ProcessTerm deadlock()

A deadlocking example.

probes

public static ProcessTerm probes()

Probes need testing too.

main

public static void main(String[] args)

Main program to run examples. Options are:

• -pair - Just converts RAPA to GCL and prints both.
• -unique - Prints out the unique entities in the GCL.
• -abs absFile - Applies the abstraction defined in the given file to the GCL and prints out the resulting abstract state graph.
• -latex latexFile - Tries to generate L^AT_EX for the GCL and write it to the given file.

Designs must be one of all, core, loop, double, sum, fib, mathnet, div2, deadlock, or probes.