Uses of Class
org.cesta.trans.java.AbstractRewriteTransformation

Packages that use AbstractRewriteTransformation

org.cesta.trans.java

Classes for Java transformations.

Uses of AbstractRewriteTransformation in org.cesta.trans.java

Subclasses of AbstractRewriteTransformation in org.cesta.trans.java

class	CheckTransactions This transformation is used to automatically detect and possibly repair problems with code, which is executed during the transactions.
class	IfSwitchReplacement This transfromation replaces potentially vulnerable if constructions to semantically equivalent switch with randomized execution.
class	ShadowVariables This transformation adds protection against memory fault induction.
class	ValidateStateTransitions Transformation, which can check state transitions in class according to rules defined in GraphViz's DOT language.