cz.vutbr.fit.atomicity
Interface Atomicity

All Known Implementing Classes:
AtomicityDouble, AtomicityMulti, AtomicitySimple, AtomicityTriple

public interface Atomicity

Interface defines the basic operations which every atomicity should support.

Author:
zdenek

Method Summary
 void genXML(javax.xml.transform.sax.TransformerHandler hd, boolean learning)
          Generates XML apropriate record of the atomicity.
 Access[] getAtomEnds()
          Returns the array of ending Accesses.
 RaceDetector.Operation getBeginOp()
          Returns the access type of the atomicity begin operation.
 java.lang.String getKeyProgLocation()
          Returns ConTest program location of the start Access to the Atomicity.
 void incViolation()
          Calling of this method will safely increment tne counter of this atomicity violation - this value is used during the learning stage.
 RaceDetector.Operation isEnd(java.lang.String progLocation)
          Returns true if the given program location represents the end of the atomicity.
 java.lang.String toString()
          Returns string representation of the atomicity - suitable for users.
 

Method Detail

getKeyProgLocation

java.lang.String getKeyProgLocation()
Returns ConTest program location of the start Access to the Atomicity. This program location is used as the unique identification of this atomicity.

Returns:
program location

getBeginOp

RaceDetector.Operation getBeginOp()
Returns the access type of the atomicity begin operation. (read or write)

Returns:
access type

getAtomEnds

Access[] getAtomEnds()
Returns the array of ending Accesses.


incViolation

void incViolation()
Calling of this method will safely increment tne counter of this atomicity violation - this value is used during the learning stage.


isEnd

RaceDetector.Operation isEnd(java.lang.String progLocation)
Returns true if the given program location represents the end of the atomicity.

Parameters:
progLocation - ConTest program location.

genXML

void genXML(javax.xml.transform.sax.TransformerHandler hd,
            boolean learning)
            throws org.xml.sax.SAXException
Generates XML apropriate record of the atomicity. The record has to follow the atomicity.dtd definition.

Parameters:
hd -
learning - True if the violation count should be also written
Throws:
org.xml.sax.SAXException

toString

java.lang.String toString()
Returns string representation of the atomicity - suitable for users.

Overrides:
toString in class java.lang.Object