Uses of Class
org.cesta.parsers.java.AbstractTreeParser

Packages that use AbstractTreeParser
org.cesta.parsers.java Classes for parsing and transforming Java files. 
 

Uses of AbstractTreeParser in org.cesta.parsers.java
 

Subclasses of AbstractTreeParser in org.cesta.parsers.java
 class CheckTransactionsParser
          This tree parser checks Java Card transactions, whether they contain some insecure constructions.
 class IdentifyBlocksParser
          This tree parser makes sure, that all blocks with or statements have a unique label.
 class IfSwitchReplacementParser
          This tree parser replaces possibly vulnerable if constructions to semantically equivalent switch constructions.
 class ShadowVariablesParser
          This tree rewrite parser provides protection against error induction.
 class ValidateStateTransitionsParser
          Validate state transformation adds code, that will automatically check state of applet during its lifetime according to defined graph via DOT grammar.