Package spoon.support.reflect.eval

Class VisitorPartialEvaluator

java.lang.Object

spoon.reflect.visitor.CtScanner

spoon.support.reflect.eval.VisitorPartialEvaluator

All Implemented Interfaces:

PartialEvaluator, CtVisitor

public class VisitorPartialEvaluator
extends CtScanner
implements PartialEvaluator

Simplifies an AST by performing all operations that are statically known and changes the AST accordingly (eg "0+1" -> "1") This visitor implements a simple partial evaluator for the program compile-time metamodel.

Constructor Summary

Constructors

Constructor	Description
VisitorPartialEvaluator()

Method Summary

Modifier and Type	Method	Description
<R extends CtElement> R	evaluate(R element)	Partially evaluates an element and all its sub-elements.
protected void	exit(CtElement e)	This method is called by the scanner when exiting a scanned element.
<T> void	visitCtAnnotationFieldAccess(CtAnnotationFieldAccess<T> annotationFieldAccess)	Visits a field of an annotation.
<T, A extends T> void	visitCtAssignment(CtAssignment<T,A> variableAssignment)	Visits an assignment.
<T> void	visitCtBinaryOperator(CtBinaryOperator<T> operator)	Visits a binary operator.
<R> void	visitCtBlock(CtBlock<R> block)	Visits a block of code.
void	visitCtCatch(CtCatch catchBlock)	Visits a catch clause.
<T> void	visitCtCatchVariable(CtCatchVariable<T> catchVariable)	Visits a catch variable declaration.
<T> void	visitCtConditional(CtConditional<T> conditional)	Visits a conditional expression
void	visitCtDo(CtDo doLoop)	Visits a do loop.
<T> void	visitCtField(CtField<T> f)	Visits a field declaration.
<T> void	visitCtFieldRead(CtFieldRead<T> fieldRead)	Visits a field read access.
<T> void	visitCtFieldWrite(CtFieldWrite<T> fieldWrite)	Visits a field write access.
void	visitCtFor(CtFor forLoop)	Visits a for loop.
void	visitCtIf(CtIf ifElement)	Visits an if statement.
<T> void	visitCtInvocation(CtInvocation<T> invocation)	Visits an executable invocation.
<T> void	visitCtLiteral(CtLiteral<T> ctLiteral)	Visits a literal expression.
<T> void	visitCtLocalVariable(CtLocalVariable<T> localVariable)	Visits a local variable declaration.
<R> void	visitCtReturn(CtReturn<R> returnStatement)	Visits a return statement.
void	visitCtSynchronized(CtSynchronized synchro)	Visits a synchronized modifier.
void	visitCtThrow(CtThrow throwStatement)	Visits a throw statement.
<T> void	visitCtUnaryOperator(CtUnaryOperator<T> operator)	Visits a unary operator.
<T> void	visitCtVariableRead(CtVariableRead<T> variableRead)	Visits a variable read access.
<T> void	visitCtVariableWrite(CtVariableWrite<T> variableWrite)	Visits a variable write access.
void	visitCtWhile(CtWhile whileLoop)	Visits a while loop.

Methods inherited from class spoon.reflect.visitor.CtScanner

enter, scan, scan, scan, scan, scan, scan, scan, visitCtAnnotation, visitCtAnnotationMethod, visitCtAnnotationType, visitCtAnonymousExecutable, visitCtArrayRead, visitCtArrayTypeReference, visitCtArrayWrite, visitCtAssert, visitCtBreak, visitCtCase, visitCtCatchVariableReference, visitCtClass, visitCtCodeSnippetExpression, visitCtCodeSnippetStatement, visitCtComment, visitCtCompilationUnit, visitCtConstructor, visitCtConstructorCall, visitCtContinue, visitCtEnum, visitCtEnumValue, visitCtExecutableReference, visitCtExecutableReferenceExpression, visitCtFieldReference, visitCtForEach, visitCtImport, visitCtInterface, visitCtIntersectionTypeReference, visitCtJavaDoc, visitCtJavaDocTag, visitCtLambda, visitCtLocalVariableReference, visitCtMethod, visitCtModule, visitCtModuleReference, visitCtModuleRequirement, visitCtNewArray, visitCtNewClass, visitCtOperatorAssignment, visitCtPackage, visitCtPackageDeclaration, visitCtPackageExport, visitCtPackageReference, visitCtParameter, visitCtParameterReference, visitCtProvidedService, visitCtRecord, visitCtRecordComponent, visitCtStatementList, visitCtSuperAccess, visitCtSwitch, visitCtSwitchExpression, visitCtTextBlock, visitCtThisAccess, visitCtTry, visitCtTryWithResource, visitCtTypeAccess, visitCtTypeMemberWildcardImportReference, visitCtTypeParameter, visitCtTypeParameterReference, visitCtTypePattern, visitCtTypeReference, visitCtUnboundVariableReference, visitCtUsedService, visitCtWildcardReference, visitCtYieldStatement

Methods inherited from class java.lang.Object

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

Constructor Details

VisitorPartialEvaluator

public VisitorPartialEvaluator()

Method Details

exit

protected void exit(CtElement e)

Description copied from class: CtScanner

This method is called by the scanner when exiting a scanned element. To be overridden to implement specific scanners.

Overrides:

exit in class CtScanner

evaluate

public <R extends CtElement> R evaluate(R element)

Description copied from interface: PartialEvaluator

Partially evaluates an element and all its sub-elements.

Specified by:

evaluate in interface PartialEvaluator

Type Parameters:

R - the partially evaluated element type

Parameters:

element - the element to be partially evaluated

Returns:

the result of the partial evaluation

visitCtBinaryOperator

public <T> void visitCtBinaryOperator(CtBinaryOperator<T> operator)

Description copied from interface: CtVisitor

Visits a binary operator.

Specified by:

visitCtBinaryOperator in interface CtVisitor

Overrides:

visitCtBinaryOperator in class CtScanner

visitCtBlock

public <R> void visitCtBlock(CtBlock<R> block)

Description copied from interface: CtVisitor

Visits a block of code.

Specified by:

visitCtBlock in interface CtVisitor

Overrides:

visitCtBlock in class CtScanner

visitCtDo

public void visitCtDo(CtDo doLoop)

Description copied from interface: CtVisitor

Visits a do loop.

Specified by:

visitCtDo in interface CtVisitor

Overrides:

visitCtDo in class CtScanner

visitCtFieldRead

public <T> void visitCtFieldRead(CtFieldRead<T> fieldRead)

Description copied from interface: CtVisitor

Visits a field read access.

Specified by:

visitCtFieldRead in interface CtVisitor

Overrides:

visitCtFieldRead in class CtScanner

visitCtFieldWrite

public <T> void visitCtFieldWrite(CtFieldWrite<T> fieldWrite)

Description copied from interface: CtVisitor

Visits a field write access.

Specified by:

visitCtFieldWrite in interface CtVisitor

Overrides:

visitCtFieldWrite in class CtScanner

visitCtAnnotationFieldAccess

public <T> void visitCtAnnotationFieldAccess(CtAnnotationFieldAccess<T> annotationFieldAccess)

Description copied from interface: CtVisitor

Visits a field of an annotation.

Specified by:

visitCtAnnotationFieldAccess in interface CtVisitor

Overrides:

visitCtAnnotationFieldAccess in class CtScanner

visitCtFor

public void visitCtFor(CtFor forLoop)

Description copied from interface: CtVisitor

Visits a for loop.

Specified by:

visitCtFor in interface CtVisitor

Overrides:

visitCtFor in class CtScanner

visitCtIf

public void visitCtIf(CtIf ifElement)

Description copied from interface: CtVisitor

Visits an if statement.

Specified by:

visitCtIf in interface CtVisitor

Overrides:

visitCtIf in class CtScanner

visitCtInvocation

public <T> void visitCtInvocation(CtInvocation<T> invocation)

Description copied from interface: CtVisitor

Visits an executable invocation.

Specified by:

visitCtInvocation in interface CtVisitor

Overrides:

visitCtInvocation in class CtScanner

visitCtField

public <T> void visitCtField(CtField<T> f)

Description copied from interface: CtVisitor

Visits a field declaration.

Specified by:

visitCtField in interface CtVisitor

Overrides:

visitCtField in class CtScanner

visitCtLiteral

public <T> void visitCtLiteral(CtLiteral<T> ctLiteral)

Description copied from interface: CtVisitor

Visits a literal expression.

Specified by:

visitCtLiteral in interface CtVisitor

Overrides:

visitCtLiteral in class CtScanner

visitCtLocalVariable

public <T> void visitCtLocalVariable(CtLocalVariable<T> localVariable)

Description copied from interface: CtVisitor

Visits a local variable declaration.

Specified by:

visitCtLocalVariable in interface CtVisitor

Overrides:

visitCtLocalVariable in class CtScanner

visitCtCatchVariable

public <T> void visitCtCatchVariable(CtCatchVariable<T> catchVariable)

Description copied from interface: CtVisitor

Visits a catch variable declaration.

Specified by:

visitCtCatchVariable in interface CtVisitor

Overrides:

visitCtCatchVariable in class CtScanner

visitCtReturn

public <R> void visitCtReturn(CtReturn<R> returnStatement)

Description copied from interface: CtVisitor

Visits a return statement.

Specified by:

visitCtReturn in interface CtVisitor

Overrides:

visitCtReturn in class CtScanner

visitCtSynchronized

public void visitCtSynchronized(CtSynchronized synchro)

Description copied from interface: CtVisitor

Visits a synchronized modifier.

Specified by:

visitCtSynchronized in interface CtVisitor

Overrides:

visitCtSynchronized in class CtScanner

visitCtThrow

public void visitCtThrow(CtThrow throwStatement)

Description copied from interface: CtVisitor

Visits a throw statement.

Specified by:

visitCtThrow in interface CtVisitor

Overrides:

visitCtThrow in class CtScanner

visitCtCatch

public void visitCtCatch(CtCatch catchBlock)

Description copied from interface: CtVisitor

Visits a catch clause.

Specified by:

visitCtCatch in interface CtVisitor

Overrides:

visitCtCatch in class CtScanner

visitCtUnaryOperator

public <T> void visitCtUnaryOperator(CtUnaryOperator<T> operator)

Description copied from interface: CtVisitor

Visits a unary operator.

Specified by:

visitCtUnaryOperator in interface CtVisitor

Overrides:

visitCtUnaryOperator in class CtScanner

visitCtVariableRead

public <T> void visitCtVariableRead(CtVariableRead<T> variableRead)

Description copied from interface: CtVisitor

Visits a variable read access.

Specified by:

visitCtVariableRead in interface CtVisitor

Overrides:

visitCtVariableRead in class CtScanner

visitCtVariableWrite

public <T> void visitCtVariableWrite(CtVariableWrite<T> variableWrite)

Description copied from interface: CtVisitor

Visits a variable write access.

Specified by:

visitCtVariableWrite in interface CtVisitor

Overrides:

visitCtVariableWrite in class CtScanner

visitCtAssignment

public <T,
A extends T> void visitCtAssignment(CtAssignment<T,A> variableAssignment)

Description copied from interface: CtVisitor

Visits an assignment.

Specified by:

visitCtAssignment in interface CtVisitor

Overrides:

visitCtAssignment in class CtScanner

visitCtWhile

public void visitCtWhile(CtWhile whileLoop)

Description copied from interface: CtVisitor

Visits a while loop.

Specified by:

visitCtWhile in interface CtVisitor

Overrides:

visitCtWhile in class CtScanner

visitCtConditional

public <T> void visitCtConditional(CtConditional<T> conditional)

Description copied from interface: CtVisitor

Visits a conditional expression

Specified by:

visitCtConditional in interface CtVisitor

Overrides:

visitCtConditional in class CtScanner