|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcz.vutbr.fit.atomicity.RemoveAtomicity
public class RemoveAtomicity
This class implements a tool for removing violated atomicities from the set of atomicities to be checked.
The first argument represents the XML file that should be modify and the second arguments represents the file with the violated atomicities.
Constructor Summary | |
---|---|
RemoveAtomicity()
|
Method Summary | |
---|---|
static void |
main(java.lang.String[] args)
The main program. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public RemoveAtomicity()
Method Detail |
---|
public static void main(java.lang.String[] args)
The first argument represents the XML file that should be modify and the second arguments represents the file with the violated atomicities.
args
-
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |