A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

C

C - Static variable in class org.cesta.parsers.dot.DotLexer
 
C - Static variable in class org.cesta.parsers.dot.DotParser
 
C - Static variable in class org.cesta.parsers.dot.DotTree
 
C_BRACKET - Static variable in class org.cesta.parsers.dot.DotLexer
 
C_BRACKET - Static variable in class org.cesta.parsers.dot.DotParser
 
C_BRACKET - Static variable in class org.cesta.parsers.dot.DotTree
 
C_SQR_BRACKET - Static variable in class org.cesta.parsers.dot.DotLexer
 
C_SQR_BRACKET - Static variable in class org.cesta.parsers.dot.DotParser
 
C_SQR_BRACKET - Static variable in class org.cesta.parsers.dot.DotTree
 
CASE - Static variable in class org.cesta.parsers.java.CheckTransactionsParser
 
CASE - Static variable in class org.cesta.parsers.java.IdentifyBlocksParser
 
CASE - Static variable in class org.cesta.parsers.java.IfSwitchReplacementParser
 
CASE - Static variable in class org.cesta.parsers.java.JavaLexer
 
CASE - Static variable in class org.cesta.parsers.java.JavaParser
 
CASE - Static variable in class org.cesta.parsers.java.ShadowVariablesParser
 
CASE - Static variable in class org.cesta.parsers.java.ValidateStateTransitionsParser
 
CAST_EXPR - Static variable in class org.cesta.parsers.java.CheckTransactionsParser
 
CAST_EXPR - Static variable in class org.cesta.parsers.java.IdentifyBlocksParser
 
CAST_EXPR - Static variable in class org.cesta.parsers.java.IfSwitchReplacementParser
 
CAST_EXPR - Static variable in class org.cesta.parsers.java.JavaLexer
 
CAST_EXPR - Static variable in class org.cesta.parsers.java.JavaParser
 
CAST_EXPR - Static variable in class org.cesta.parsers.java.ShadowVariablesParser
 
CAST_EXPR - Static variable in class org.cesta.parsers.java.ValidateStateTransitionsParser
 
CATCH - Static variable in class org.cesta.parsers.java.CheckTransactionsParser
 
CATCH - Static variable in class org.cesta.parsers.java.IdentifyBlocksParser
 
CATCH - Static variable in class org.cesta.parsers.java.IfSwitchReplacementParser
 
CATCH - Static variable in class org.cesta.parsers.java.JavaLexer
 
CATCH - Static variable in class org.cesta.parsers.java.JavaParser
 
CATCH - Static variable in class org.cesta.parsers.java.ShadowVariablesParser
 
CATCH - Static variable in class org.cesta.parsers.java.ValidateStateTransitionsParser
 
CATCH_CLAUSE_LIST - Static variable in class org.cesta.parsers.java.CheckTransactionsParser
 
CATCH_CLAUSE_LIST - Static variable in class org.cesta.parsers.java.IdentifyBlocksParser
 
CATCH_CLAUSE_LIST - Static variable in class org.cesta.parsers.java.IfSwitchReplacementParser
 
CATCH_CLAUSE_LIST - Static variable in class org.cesta.parsers.java.JavaLexer
 
CATCH_CLAUSE_LIST - Static variable in class org.cesta.parsers.java.JavaParser
 
CATCH_CLAUSE_LIST - Static variable in class org.cesta.parsers.java.ShadowVariablesParser
 
CATCH_CLAUSE_LIST - Static variable in class org.cesta.parsers.java.ValidateStateTransitionsParser
 
catchClause() - Method in class org.cesta.parsers.java.CheckTransactionsParser
 
catchClause() - Method in class org.cesta.parsers.java.IdentifyBlocksParser
 
catchClause() - Method in class org.cesta.parsers.java.IfSwitchReplacementParser
 
catchClause() - Method in class org.cesta.parsers.java.JavaParser
 
catchClause() - Method in class org.cesta.parsers.java.ShadowVariablesParser
 
catchClause() - Method in class org.cesta.parsers.java.ValidateStateTransitionsParser
 
catches() - Method in class org.cesta.parsers.java.CheckTransactionsParser
 
catches() - Method in class org.cesta.parsers.java.IdentifyBlocksParser
 
catches() - Method in class org.cesta.parsers.java.IfSwitchReplacementParser
 
catches() - Method in class org.cesta.parsers.java.JavaParser
 
catches() - Method in class org.cesta.parsers.java.ShadowVariablesParser
 
catches() - Method in class org.cesta.parsers.java.ValidateStateTransitionsParser
 
CHAR - Static variable in class org.cesta.parsers.java.CheckTransactionsParser
 
CHAR - Static variable in class org.cesta.parsers.java.IdentifyBlocksParser
 
CHAR - Static variable in class org.cesta.parsers.java.IfSwitchReplacementParser
 
CHAR - Static variable in class org.cesta.parsers.java.JavaLexer
 
CHAR - Static variable in class org.cesta.parsers.java.JavaParser
 
CHAR - Static variable in class org.cesta.parsers.java.ShadowVariablesParser
 
CHAR - Static variable in class org.cesta.parsers.java.ValidateStateTransitionsParser
 
CHARACTER_LITERAL - Static variable in class org.cesta.parsers.java.CheckTransactionsParser
 
CHARACTER_LITERAL - Static variable in class org.cesta.parsers.java.IdentifyBlocksParser
 
CHARACTER_LITERAL - Static variable in class org.cesta.parsers.java.IfSwitchReplacementParser
 
CHARACTER_LITERAL - Static variable in class org.cesta.parsers.java.JavaLexer
 
CHARACTER_LITERAL - Static variable in class org.cesta.parsers.java.JavaParser
 
CHARACTER_LITERAL - Static variable in class org.cesta.parsers.java.ShadowVariablesParser
 
CHARACTER_LITERAL - Static variable in class org.cesta.parsers.java.ValidateStateTransitionsParser
 
checkSyntax(TokenStream) - Static method in class org.cesta.util.antlr.java.ANTLRJavaHelper
Try to parse source code and check for errors in transformations
CheckTransactions - Class in org.cesta.trans.java
This transformation is used to automatically detect and possibly repair problems with code, which is executed during the transactions.
CheckTransactions() - Constructor for class org.cesta.trans.java.CheckTransactions
 
CheckTransactionsParser - Class in org.cesta.parsers.java
This tree parser checks Java Card transactions, whether they contain some insecure constructions.
CheckTransactionsParser(TreeNodeStream) - Constructor for class org.cesta.parsers.java.CheckTransactionsParser
 
CheckTransactionsParser(TreeNodeStream, RecognizerSharedState) - Constructor for class org.cesta.parsers.java.CheckTransactionsParser
 
CheckTransactionsParser.annotation_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.annotation_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.annotation_return
 
CheckTransactionsParser.annotationDefaultValue_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.annotationDefaultValue_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.annotationDefaultValue_return
 
CheckTransactionsParser.annotationElementValue_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.annotationElementValue_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.annotationElementValue_return
 
CheckTransactionsParser.annotationInit_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.annotationInit_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.annotationInit_return
 
CheckTransactionsParser.annotationInitializer_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.annotationInitializer_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.annotationInitializer_return
 
CheckTransactionsParser.annotationInitializers_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.annotationInitializers_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.annotationInitializers_return
 
CheckTransactionsParser.annotationList_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.annotationList_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.annotationList_return
 
CheckTransactionsParser.annotationScopeDeclarations_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.annotationScopeDeclarations_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.annotationScopeDeclarations_return
 
CheckTransactionsParser.annotationTopLevelScope_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.annotationTopLevelScope_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.annotationTopLevelScope_return
 
CheckTransactionsParser.arguments_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.arguments_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.arguments_return
 
CheckTransactionsParser.arrayDeclarator_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.arrayDeclarator_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.arrayDeclarator_return
 
CheckTransactionsParser.arrayDeclaratorList_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.arrayDeclaratorList_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.arrayDeclaratorList_return
 
CheckTransactionsParser.arrayInitializer_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.arrayInitializer_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.arrayInitializer_return
 
CheckTransactionsParser.arrayTypeDeclarator_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.arrayTypeDeclarator_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.arrayTypeDeclarator_return
 
CheckTransactionsParser.block_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.block_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.block_return
 
CheckTransactionsParser.blockStatement_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.blockStatement_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.blockStatement_return
 
CheckTransactionsParser.bound_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.bound_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.bound_return
 
CheckTransactionsParser.catchClause_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.catchClause_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.catchClause_return
 
CheckTransactionsParser.catches_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.catches_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.catches_return
 
CheckTransactionsParser.classScopeDeclarations_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.classScopeDeclarations_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.classScopeDeclarations_return
 
CheckTransactionsParser.classTopLevelScope_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.classTopLevelScope_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.classTopLevelScope_return
 
CheckTransactionsParser.enumConstant_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.enumConstant_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.enumConstant_return
 
CheckTransactionsParser.enumTopLevelScope_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.enumTopLevelScope_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.enumTopLevelScope_return
 
CheckTransactionsParser.explicitConstructorCall_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.explicitConstructorCall_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.explicitConstructorCall_return
 
CheckTransactionsParser.expr_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.expr_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.expr_return
 
CheckTransactionsParser.expression_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.expression_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.expression_return
 
CheckTransactionsParser.extendsClause_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.extendsClause_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.extendsClause_return
 
CheckTransactionsParser.forCondition_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.forCondition_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.forCondition_return
 
CheckTransactionsParser.forInit_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.forInit_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.forInit_return
 
CheckTransactionsParser.formalParameterList_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.formalParameterList_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.formalParameterList_return
 
CheckTransactionsParser.formalParameterStandardDecl_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.formalParameterStandardDecl_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.formalParameterStandardDecl_return
 
CheckTransactionsParser.formalParameterVarargDecl_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.formalParameterVarargDecl_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.formalParameterVarargDecl_return
 
CheckTransactionsParser.forUpdater_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.forUpdater_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.forUpdater_return
 
CheckTransactionsParser.genericTypeArgument_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.genericTypeArgument_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.genericTypeArgument_return
 
CheckTransactionsParser.genericTypeArgumentList_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.genericTypeArgumentList_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.genericTypeArgumentList_return
 
CheckTransactionsParser.genericTypeParameter_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.genericTypeParameter_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.genericTypeParameter_return
 
CheckTransactionsParser.genericTypeParameterList_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.genericTypeParameterList_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.genericTypeParameterList_return
 
CheckTransactionsParser.genericWildcardBoundType_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.genericWildcardBoundType_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.genericWildcardBoundType_return
 
CheckTransactionsParser.implementsClause_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.implementsClause_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.implementsClause_return
 
CheckTransactionsParser.importDeclaration_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.importDeclaration_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.importDeclaration_return
 
CheckTransactionsParser.innerNewExpression_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.innerNewExpression_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.innerNewExpression_return
 
CheckTransactionsParser.interfaceScopeDeclarations_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.interfaceScopeDeclarations_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.interfaceScopeDeclarations_return
 
CheckTransactionsParser.interfaceTopLevelScope_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.interfaceTopLevelScope_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.interfaceTopLevelScope_return
 
CheckTransactionsParser.javaSource_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.javaSource_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.javaSource_return
 
CheckTransactionsParser.javaSource_scope - Class in org.cesta.parsers.java
 
CheckTransactionsParser.javaSource_scope() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.javaSource_scope
 
CheckTransactionsParser.literal_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.literal_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.literal_return
 
CheckTransactionsParser.localModifier_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.localModifier_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.localModifier_return
 
CheckTransactionsParser.localModifierList_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.localModifierList_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.localModifierList_return
 
CheckTransactionsParser.localVariableDeclaration_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.localVariableDeclaration_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.localVariableDeclaration_return
 
CheckTransactionsParser.methodCall_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.methodCall_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.methodCall_return
 
CheckTransactionsParser.methodScopeDeclarations_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.methodScopeDeclarations_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.methodScopeDeclarations_return
 
CheckTransactionsParser.methodScopeDeclarations_scope - Class in org.cesta.parsers.java
 
CheckTransactionsParser.methodScopeDeclarations_scope() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.methodScopeDeclarations_scope
 
CheckTransactionsParser.modifier_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.modifier_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.modifier_return
 
CheckTransactionsParser.modifierList_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.modifierList_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.modifierList_return
 
CheckTransactionsParser.modifyVariableExpression_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.modifyVariableExpression_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.modifyVariableExpression_return
 
CheckTransactionsParser.newArrayConstruction_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.newArrayConstruction_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.newArrayConstruction_return
 
CheckTransactionsParser.newExpression_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.newExpression_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.newExpression_return
 
CheckTransactionsParser.packageDeclaration_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.packageDeclaration_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.packageDeclaration_return
 
CheckTransactionsParser.parenthesizedExpression_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.parenthesizedExpression_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.parenthesizedExpression_return
 
CheckTransactionsParser.primaryExpression_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.primaryExpression_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.primaryExpression_return
 
CheckTransactionsParser.primitiveType_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.primitiveType_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.primitiveType_return
 
CheckTransactionsParser.qualifiedIdentifier_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.qualifiedIdentifier_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.qualifiedIdentifier_return
 
CheckTransactionsParser.qualifiedTypeIdent_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.qualifiedTypeIdent_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.qualifiedTypeIdent_return
 
CheckTransactionsParser.statement_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.statement_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.statement_return
 
CheckTransactionsParser.STAttrMap - Class in org.cesta.parsers.java
allows convenient multi-value initialization: "new STAttrMap().put(...).put(...)"
CheckTransactionsParser.STAttrMap() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.STAttrMap
 
CheckTransactionsParser.switchBlockLabels_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.switchBlockLabels_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.switchBlockLabels_return
 
CheckTransactionsParser.switchCaseLabel_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.switchCaseLabel_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.switchCaseLabel_return
 
CheckTransactionsParser.switchDefaultLabel_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.switchDefaultLabel_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.switchDefaultLabel_return
 
CheckTransactionsParser.throwsClause_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.throwsClause_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.throwsClause_return
 
CheckTransactionsParser.Transaction - Class in org.cesta.parsers.java
Class for modeling transactions
CheckTransactionsParser.Transaction() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.Transaction
 
CheckTransactionsParser.type_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.type_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.type_return
 
CheckTransactionsParser.typeDeclaration_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.typeDeclaration_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.typeDeclaration_return
 
CheckTransactionsParser.typeIdent_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.typeIdent_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.typeIdent_return
 
CheckTransactionsParser.Variable - Class in org.cesta.parsers.java
Class for modeling variables
CheckTransactionsParser.Variable(String, Object) - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.Variable
 
CheckTransactionsParser.variableDeclarator_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.variableDeclarator_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.variableDeclarator_return
 
CheckTransactionsParser.variableDeclaratorId_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.variableDeclaratorId_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.variableDeclaratorId_return
 
CheckTransactionsParser.variableDeclaratorList_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.variableDeclaratorList_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.variableDeclaratorList_return
 
CheckTransactionsParser.variableInitializer_return - Class in org.cesta.parsers.java
 
CheckTransactionsParser.variableInitializer_return() - Constructor for class org.cesta.parsers.java.CheckTransactionsParser.variableInitializer_return
 
CLASS - Static variable in class org.cesta.parsers.java.CheckTransactionsParser
 
CLASS - Static variable in class org.cesta.parsers.java.IdentifyBlocksParser
 
CLASS - Static variable in class org.cesta.parsers.java.IfSwitchReplacementParser
 
CLASS - Static variable in class org.cesta.parsers.java.JavaLexer
 
CLASS - Static variable in class org.cesta.parsers.java.JavaParser
 
CLASS - Static variable in class org.cesta.parsers.java.ShadowVariablesParser
 
CLASS - Static variable in class org.cesta.parsers.java.ValidateStateTransitionsParser
 
CLASS_CONSTRUCTOR_CALL - Static variable in class org.cesta.parsers.java.CheckTransactionsParser
 
CLASS_CONSTRUCTOR_CALL - Static variable in class org.cesta.parsers.java.IdentifyBlocksParser
 
CLASS_CONSTRUCTOR_CALL - Static variable in class org.cesta.parsers.java.IfSwitchReplacementParser
 
CLASS_CONSTRUCTOR_CALL - Static variable in class org.cesta.parsers.java.JavaLexer
 
CLASS_CONSTRUCTOR_CALL - Static variable in class org.cesta.parsers.java.JavaParser
 
CLASS_CONSTRUCTOR_CALL - Static variable in class org.cesta.parsers.java.ShadowVariablesParser
 
CLASS_CONSTRUCTOR_CALL - Static variable in class org.cesta.parsers.java.ValidateStateTransitionsParser
 
CLASS_INSTANCE_INITIALIZER - Static variable in class org.cesta.parsers.java.CheckTransactionsParser
 
CLASS_INSTANCE_INITIALIZER - Static variable in class org.cesta.parsers.java.IdentifyBlocksParser
 
CLASS_INSTANCE_INITIALIZER - Static variable in class org.cesta.parsers.java.IfSwitchReplacementParser
 
CLASS_INSTANCE_INITIALIZER - Static variable in class org.cesta.parsers.java.JavaLexer
 
CLASS_INSTANCE_INITIALIZER - Static variable in class org.cesta.parsers.java.JavaParser
 
CLASS_INSTANCE_INITIALIZER - Static variable in class org.cesta.parsers.java.ShadowVariablesParser
 
CLASS_INSTANCE_INITIALIZER - Static variable in class org.cesta.parsers.java.ValidateStateTransitionsParser
 
CLASS_STATIC_INITIALIZER - Static variable in class org.cesta.parsers.java.CheckTransactionsParser
 
CLASS_STATIC_INITIALIZER - Static variable in class org.cesta.parsers.java.IdentifyBlocksParser
 
CLASS_STATIC_INITIALIZER - Static variable in class org.cesta.parsers.java.IfSwitchReplacementParser
 
CLASS_STATIC_INITIALIZER - Static variable in class org.cesta.parsers.java.JavaLexer
 
CLASS_STATIC_INITIALIZER - Static variable in class org.cesta.parsers.java.JavaParser
 
CLASS_STATIC_INITIALIZER - Static variable in class org.cesta.parsers.java.ShadowVariablesParser
 
CLASS_STATIC_INITIALIZER - Static variable in class org.cesta.parsers.java.ValidateStateTransitionsParser
 
CLASS_TOP_LEVEL_SCOPE - Static variable in class org.cesta.parsers.java.CheckTransactionsParser
 
CLASS_TOP_LEVEL_SCOPE - Static variable in class org.cesta.parsers.java.IdentifyBlocksParser
 
CLASS_TOP_LEVEL_SCOPE - Static variable in class org.cesta.parsers.java.IfSwitchReplacementParser
 
CLASS_TOP_LEVEL_SCOPE - Static variable in class org.cesta.parsers.java.JavaLexer
 
CLASS_TOP_LEVEL_SCOPE - Static variable in class org.cesta.parsers.java.JavaParser
 
CLASS_TOP_LEVEL_SCOPE - Static variable in class org.cesta.parsers.java.ShadowVariablesParser
 
CLASS_TOP_LEVEL_SCOPE - Static variable in class org.cesta.parsers.java.ValidateStateTransitionsParser
 
classAdditionalCode(CommonTree) - Method in class org.cesta.parsers.java.IfSwitchReplacementParser
 
classAdditionalCode(CommonTree) - Method in class org.cesta.parsers.java.ShadowVariablesParser
 
classBody() - Method in class org.cesta.parsers.java.JavaParser
 
classDeclaration() - Method in class org.cesta.parsers.java.IfSwitchReplacementParser
 
classDeclaration() - Method in class org.cesta.parsers.java.ShadowVariablesParser
 
classDeclaration_stack - Variable in class org.cesta.parsers.java.IfSwitchReplacementParser
 
classDeclaration_stack - Variable in class org.cesta.parsers.java.ShadowVariablesParser
 
classExtendsClause() - Method in class org.cesta.parsers.java.JavaParser
 
classFieldDeclarator() - Method in class org.cesta.parsers.java.JavaParser
 
classFieldDeclaratorList() - Method in class org.cesta.parsers.java.JavaParser
 
classScopeDeclarations() - Method in class org.cesta.parsers.java.CheckTransactionsParser
 
classScopeDeclarations() - Method in class org.cesta.parsers.java.IdentifyBlocksParser
 
classScopeDeclarations() - Method in class org.cesta.parsers.java.IfSwitchReplacementParser
 
classScopeDeclarations() - Method in class org.cesta.parsers.java.JavaParser
 
classScopeDeclarations() - Method in class org.cesta.parsers.java.ShadowVariablesParser
 
classScopeDeclarations() - Method in class org.cesta.parsers.java.ValidateStateTransitionsParser
 
classTopLevelScope() - Method in class org.cesta.parsers.java.CheckTransactionsParser
 
classTopLevelScope() - Method in class org.cesta.parsers.java.IdentifyBlocksParser
 
classTopLevelScope() - Method in class org.cesta.parsers.java.IfSwitchReplacementParser
 
classTopLevelScope() - Method in class org.cesta.parsers.java.ShadowVariablesParser
 
classTopLevelScope() - Method in class org.cesta.parsers.java.ValidateStateTransitionsParser
 
classTypeDeclaration(CommonTree) - Method in class org.cesta.parsers.java.JavaParser
 
classVarDeclaration() - Method in class org.cesta.parsers.java.ValidateStateTransitionsParser
 
cleanupRewrite() - Method in class org.cesta.parsers.java.AbstractTreeParser
Should be called after every rewrite.
clearParams() - Method in class org.cesta.parsers.java.AbstractTreeParser
Clears all parameters
clearParams() - Method in class org.cesta.trans.AbstractTransformation
Clears all parameters
clearParams() - Method in interface org.cesta.trans.Transformation
Clears all parameters
close() - Method in class org.cesta.util.ant.TaskLogHandler
 
code - Variable in class org.cesta.util.LinearEncoder
 
CODE_15_10 - Static variable in class org.cesta.util.LinearEncoder
 
CODE_15_11 - Static variable in class org.cesta.util.LinearEncoder
 
CODE_15_14 - Static variable in class org.cesta.util.LinearEncoder
 
CODE_15_7 - Static variable in class org.cesta.util.LinearEncoder
 
COLON - Static variable in class org.cesta.parsers.dot.DotLexer
 
COLON - Static variable in class org.cesta.parsers.dot.DotParser
 
COLON - Static variable in class org.cesta.parsers.dot.DotTree
 
COLON - Static variable in class org.cesta.parsers.java.CheckTransactionsParser
 
COLON - Static variable in class org.cesta.parsers.java.IdentifyBlocksParser
 
COLON - Static variable in class org.cesta.parsers.java.IfSwitchReplacementParser
 
COLON - Static variable in class org.cesta.parsers.java.JavaLexer
 
COLON - Static variable in class org.cesta.parsers.java.JavaParser
 
COLON - Static variable in class org.cesta.parsers.java.ShadowVariablesParser
 
COLON - Static variable in class org.cesta.parsers.java.ValidateStateTransitionsParser
 
COMMA - Static variable in class org.cesta.parsers.dot.DotLexer
 
COMMA - Static variable in class org.cesta.parsers.dot.DotParser
 
COMMA - Static variable in class org.cesta.parsers.dot.DotTree
 
COMMA - Static variable in class org.cesta.parsers.java.CheckTransactionsParser
 
COMMA - Static variable in class org.cesta.parsers.java.IdentifyBlocksParser
 
COMMA - Static variable in class org.cesta.parsers.java.IfSwitchReplacementParser
 
COMMA - Static variable in class org.cesta.parsers.java.JavaLexer
 
COMMA - Static variable in class org.cesta.parsers.java.JavaParser
 
COMMA - Static variable in class org.cesta.parsers.java.ShadowVariablesParser
 
COMMA - Static variable in class org.cesta.parsers.java.ValidateStateTransitionsParser
 
COMMENT - Static variable in class org.cesta.parsers.dot.DotLexer
 
COMMENT - Static variable in class org.cesta.parsers.dot.DotParser
 
COMMENT - Static variable in class org.cesta.parsers.dot.DotTree
 
COMMENT - Static variable in class org.cesta.parsers.java.CheckTransactionsParser
 
COMMENT - Static variable in class org.cesta.parsers.java.IdentifyBlocksParser
 
COMMENT - Static variable in class org.cesta.parsers.java.IfSwitchReplacementParser
 
COMMENT - Static variable in class org.cesta.parsers.java.JavaLexer
 
COMMENT - Static variable in class org.cesta.parsers.java.JavaParser
 
COMMENT - Static variable in class org.cesta.parsers.java.ShadowVariablesParser
 
COMMENT - Static variable in class org.cesta.parsers.java.ValidateStateTransitionsParser
 
compareTo(Object) - Method in class org.cesta.parsers.java.CheckTransactionsParser.Variable
 
compilationUnit() - Method in class org.cesta.parsers.java.JavaParser
 
conditionalExpression() - Method in class org.cesta.parsers.java.JavaParser
 
CONSTRUCTOR_DECL - Static variable in class org.cesta.parsers.java.CheckTransactionsParser
 
CONSTRUCTOR_DECL - Static variable in class org.cesta.parsers.java.IdentifyBlocksParser
 
CONSTRUCTOR_DECL - Static variable in class org.cesta.parsers.java.IfSwitchReplacementParser
 
CONSTRUCTOR_DECL - Static variable in class org.cesta.parsers.java.JavaLexer
 
CONSTRUCTOR_DECL - Static variable in class org.cesta.parsers.java.JavaParser
 
CONSTRUCTOR_DECL - Static variable in class org.cesta.parsers.java.ShadowVariablesParser
 
CONSTRUCTOR_DECL - Static variable in class org.cesta.parsers.java.ValidateStateTransitionsParser
 
constructorDeclaration() - Method in class org.cesta.parsers.java.IfSwitchReplacementParser
 
constructorDeclaration_stack - Variable in class org.cesta.parsers.java.IfSwitchReplacementParser
 
CONTINUE - Static variable in class org.cesta.parsers.java.CheckTransactionsParser
 
CONTINUE - Static variable in class org.cesta.parsers.java.IdentifyBlocksParser
 
CONTINUE - Static variable in class org.cesta.parsers.java.IfSwitchReplacementParser
 
CONTINUE - Static variable in class org.cesta.parsers.java.JavaLexer
 
CONTINUE - Static variable in class org.cesta.parsers.java.JavaParser
 
CONTINUE - Static variable in class org.cesta.parsers.java.ShadowVariablesParser
 
CONTINUE - Static variable in class org.cesta.parsers.java.ValidateStateTransitionsParser
 
createClasspath() - Method in class org.cesta.taskdefs.TransformationTask
The classpath to use when looking up a resource.
createMapper() - Method in class org.cesta.taskdefs.TransformationTask
Define the mapper to map source to destination files.

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z