sofya.apps
Class AtomicityChecker

java.lang.Object
  sofya.apps.AtomicityChecker

public class AtomicityChecker
extends java.lang.Object

Runs a program and checks whether its methods satisfy the property of atomicity.

Version:

12/08/2005

Author:

Alex Kinneer

Constructor Summary

AtomicityChecker()

Method Summary

static void

main(java.lang.String[] argv) Entry point for the atomicity checker.

Methods inherited from class java.lang.Object

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

Constructor Detail

AtomicityChecker

public AtomicityChecker()

Method Detail

main

public static void main(java.lang.String[] argv)

Entry point for the atomicity checker.