org.cesta.trans.java
Class CheckTransactions

java.lang.Object
  org.cesta.trans.AbstractTransformation
      org.cesta.trans.java.AbstractRewriteTransformation
          org.cesta.trans.java.CheckTransactions

All Implemented Interfaces:

Transformation

public class CheckTransactions
extends AbstractRewriteTransformation

This transformation is used to automatically detect and possibly repair problems with code, which is executed during the transactions.

Parameters:

Name	Type	Default	Description
nonatomicMethods	String (special)	Util.arrayFillNonAtomic and Util.arrayCopyNonAtomic. For details see source code."	Qualified names of methods (regular expressions), that should be considered non-atomic ("," is delimiter). If modified variable is not in the first argument, please append correct number by ":" to the method name (first argument is 0).
startMethods	String (regexp)	JCSystem.beginTransaction	Qualified name of methods, that should be considered as starts of transactions.
endMethods	String (regexp)	JCSystem.commitTransaction and JCSystem.abortTransaction.	Qualified name of methods, that should be considered as ends of transactions.

Basic parameters are inherited from AbstractRewriteTransformation.

Author:

Tobias Smolka

Field Summary

Fields inherited from class org.cesta.trans.java.AbstractRewriteTransformation

tokens, tree

Fields inherited from class org.cesta.trans.AbstractTransformation

logger

Constructor Summary

CheckTransactions()

Method Summary

java.util.Map<java.lang.String,java.lang.Object>	getDefaultParams() Returns default parameters
void	transform(MappedFile filePair) Transforms single file

Methods inherited from class org.cesta.trans.java.AbstractRewriteTransformation

execute, prepareTreeNodeStream, registerTemplateGroupLoader

Methods inherited from class org.cesta.trans.AbstractTransformation

addMappedFile, clearParams, getMappedFiles, getParam, getParam, getParamB, getParamB, getParams, getParamS, getParamS, setMappedFiles, setParam, setParams

Methods inherited from class java.lang.Object

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

Constructor Detail

CheckTransactions

public CheckTransactions()

Method Detail

transform

public void transform(MappedFile filePair)
               throws TransformationException

Transforms single file

Specified by:

transform in class AbstractRewriteTransformation

Parameters:

filePair - File pair (input/output) to transform

Throws:

TransformationException - In case transformation failed

getDefaultParams

public java.util.Map<java.lang.String,java.lang.Object> getDefaultParams()

Returns default parameters

Overrides:

getDefaultParams in class AbstractRewriteTransformation

Returns:

map of parameters