spoon.reflect.visitor

Class ModelConsistencyChecker

java.lang.Object

spoon.reflect.visitor.CtScanner

spoon.reflect.visitor.ModelConsistencyChecker

All Implemented Interfaces:

CtVisitor

public class ModelConsistencyChecker
extends CtScanner

This scanner checks that a program model is consistent with regards to the parent elements (children must have the right parent). This class can be used to validate that a program transformation does not harm the model integrity, and also to automatically fix it when possible.

Constructor Summary

Constructors

Constructor and Description
ModelConsistencyChecker(Environment environment, boolean fixInconsistencies, boolean fixNullParents) Creates a new model consistency checker.

Method Summary

Modifier and Type	Method and Description
void	enter(CtElement element) Enters an element.
protected void	exit(CtElement e) Exits an element.

Methods inherited from class spoon.reflect.visitor.CtScanner

scan, scan, scan, scan, scan, scan, scan, visitCtAnnotation, visitCtAnnotationFieldAccess, visitCtAnnotationMethod, visitCtAnnotationType, visitCtAnonymousExecutable, visitCtArrayRead, visitCtArrayTypeReference, visitCtArrayWrite, visitCtAssert, visitCtAssignment, visitCtBinaryOperator, visitCtBlock, visitCtBreak, visitCtCase, visitCtCatch, visitCtCatchVariable, visitCtCatchVariableReference, visitCtClass, visitCtCodeSnippetExpression, visitCtCodeSnippetStatement, visitCtComment, visitCtCompilationUnit, visitCtConditional, visitCtConstructor, visitCtConstructorCall, visitCtContinue, visitCtDo, visitCtEnum, visitCtEnumValue, visitCtExecutableReference, visitCtExecutableReferenceExpression, visitCtField, visitCtFieldRead, visitCtFieldReference, visitCtFieldWrite, visitCtFor, visitCtForEach, visitCtIf, visitCtImport, visitCtInterface, visitCtIntersectionTypeReference, visitCtInvocation, visitCtJavaDoc, visitCtJavaDocTag, visitCtLambda, visitCtLiteral, visitCtLocalVariable, visitCtLocalVariableReference, visitCtMethod, visitCtModule, visitCtModuleReference, visitCtModuleRequirement, visitCtNewArray, visitCtNewClass, visitCtOperatorAssignment, visitCtPackage, visitCtPackageDeclaration, visitCtPackageExport, visitCtPackageReference, visitCtParameter, visitCtParameterReference, visitCtProvidedService, visitCtReturn, visitCtStatementList, visitCtSuperAccess, visitCtSwitch, visitCtSwitchExpression, visitCtSynchronized, visitCtTextBlock, visitCtThisAccess, visitCtThrow, visitCtTry, visitCtTryWithResource, visitCtTypeAccess, visitCtTypeMemberWildcardImportReference, visitCtTypeParameter, visitCtTypeParameterReference, visitCtTypePattern, visitCtTypeReference, visitCtUnaryOperator, visitCtUnboundVariableReference, visitCtUsedService, visitCtVariableRead, visitCtVariableWrite, visitCtWhile, visitCtWildcardReference, visitCtYieldStatement

Methods inherited from class java.lang.Object

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

Constructor Detail

ModelConsistencyChecker

public ModelConsistencyChecker(Environment environment,
                               boolean fixInconsistencies,
                               boolean fixNullParents)

Creates a new model consistency checker.

Parameters:

environment - the environment where to report errors

fixInconsistencies - automatically fix the inconsistencies rather than reporting warnings (to report warnings, set this to false)

fixNullParents - automatically fix the null parents rather than reporting warnings (to report warnings, set this to false)

Method Detail

enter

public void enter(CtElement element)

Enters an element.

Overrides:

enter in class CtScanner

exit

protected void exit(CtElement e)

Exits an element.

Overrides:

exit in class CtScanner