org.sonar.java.symexec

Class SymbolicEvaluator.ExpressionVisitor

java.lang.Object

org.sonar.plugins.java.api.tree.BaseTreeVisitor

org.sonar.java.symexec.SymbolicEvaluator.ExpressionVisitor

All Implemented Interfaces:

TreeVisitor

Enclosing class:

SymbolicEvaluator

public class SymbolicEvaluator.ExpressionVisitor
extends BaseTreeVisitor

Constructor Summary

Constructors

Constructor and Description
SymbolicEvaluator.ExpressionVisitor()

Method Summary

Methods

Modifier and Type	Method and Description
SymbolicBooleanConstraint	evaluate(ExecutionState state, ExpressionTree tree)
void	visitArrayAccessExpression(ArrayAccessExpressionTree tree)
void	visitAssignmentExpression(AssignmentExpressionTree tree)
void	visitBinaryExpression(BinaryExpressionTree tree)
void	visitConditionalExpression(ConditionalExpressionTree tree)
void	visitIdentifier(IdentifierTree tree)
void	visitInstanceOf(InstanceOfTree tree)
void	visitLiteral(LiteralTree tree)
void	visitMemberSelectExpression(MemberSelectExpressionTree tree)
void	visitMethodInvocation(MethodInvocationTree tree)
void	visitUnaryExpression(UnaryExpressionTree tree)

Methods inherited from class org.sonar.plugins.java.api.tree.BaseTreeVisitor

scan, scan, scan, visitAnnotation, visitArrayDimension, visitArrayType, visitAssertStatement, visitBlock, visitBreakStatement, visitCaseGroup, visitCaseLabel, visitCatch, visitClass, visitCompilationUnit, visitContinueStatement, visitDoWhileStatement, visitEmptyStatement, visitEnumConstant, visitExpressionStatement, visitForEachStatement, visitForStatement, visitIfStatement, visitImport, visitLabeledStatement, visitLambdaExpression, visitMethod, visitMethodReference, visitModifier, visitNewArray, visitNewClass, visitOther, visitPackage, visitParameterizedType, visitParenthesized, visitPrimitiveType, visitReturnStatement, visitSwitchStatement, visitSynchronizedStatement, visitThrowStatement, visitTryStatement, visitTypeArguments, visitTypeCast, visitTypeParameter, visitTypeParameters, visitUnionType, visitVariable, visitWhileStatement, visitWildcard

Methods inherited from class java.lang.Object

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

Constructor Detail

SymbolicEvaluator.ExpressionVisitor

public SymbolicEvaluator.ExpressionVisitor()

Method Detail

evaluate

public SymbolicBooleanConstraint evaluate(ExecutionState state,
                                 ExpressionTree tree)

visitArrayAccessExpression

public final void visitArrayAccessExpression(ArrayAccessExpressionTree tree)

Specified by:

visitArrayAccessExpression in interface TreeVisitor

Overrides:

visitArrayAccessExpression in class BaseTreeVisitor

visitAssignmentExpression

public final void visitAssignmentExpression(AssignmentExpressionTree tree)

Specified by:

visitAssignmentExpression in interface TreeVisitor

Overrides:

visitAssignmentExpression in class BaseTreeVisitor

visitConditionalExpression

public final void visitConditionalExpression(ConditionalExpressionTree tree)

Specified by:

visitConditionalExpression in interface TreeVisitor

Overrides:

visitConditionalExpression in class BaseTreeVisitor

visitIdentifier

public void visitIdentifier(IdentifierTree tree)

Specified by:

visitIdentifier in interface TreeVisitor

Overrides:

visitIdentifier in class BaseTreeVisitor

visitInstanceOf

public final void visitInstanceOf(InstanceOfTree tree)

Specified by:

visitInstanceOf in interface TreeVisitor

Overrides:

visitInstanceOf in class BaseTreeVisitor

visitLiteral

public final void visitLiteral(LiteralTree tree)

Specified by:

visitLiteral in interface TreeVisitor

Overrides:

visitLiteral in class BaseTreeVisitor

visitMemberSelectExpression

public final void visitMemberSelectExpression(MemberSelectExpressionTree tree)

Specified by:

visitMemberSelectExpression in interface TreeVisitor

Overrides:

visitMemberSelectExpression in class BaseTreeVisitor

visitMethodInvocation

public final void visitMethodInvocation(MethodInvocationTree tree)

Specified by:

visitMethodInvocation in interface TreeVisitor

Overrides:

visitMethodInvocation in class BaseTreeVisitor

visitUnaryExpression

public final void visitUnaryExpression(UnaryExpressionTree tree)

Specified by:

visitUnaryExpression in interface TreeVisitor

Overrides:

visitUnaryExpression in class BaseTreeVisitor

visitBinaryExpression

public final void visitBinaryExpression(BinaryExpressionTree tree)

Specified by:

visitBinaryExpression in interface TreeVisitor

Overrides:

visitBinaryExpression in class BaseTreeVisitor