Class RedundantCastUtility.IsRedundantVisitor

java.lang.Object

com.strobel.decompiler.languages.java.ast.DepthFirstAstVisitor<Void,Void>

com.strobel.decompiler.languages.java.utilities.RedundantCastUtility.IsRedundantVisitor

All Implemented Interfaces:

IAstVisitor<Void,Void>

Direct Known Subclasses:

RedundantCastUtility.CastCollector

Enclosing class:

RedundantCastUtility

private static class RedundantCastUtility.IsRedundantVisitor
extends DepthFirstAstVisitor<Void,Void>

Field Summary

Fields

Modifier and Type	Field	Description
private final boolean	_isRecursive
private boolean	_isRedundant
private final Function<AstNode, ResolveResult>	_resolver

Constructor Summary

Constructors

Constructor	Description
IsRedundantVisitor(Function<AstNode, ResolveResult> resolver, boolean recursive)

Method Summary

Modifier and Type	Method	Description
protected void	addToResults(CastExpression cast, boolean force)
protected boolean	arrayAccessAtTheLeftSideOfAssignment(AstNode node)
private boolean	castChangesBinarySemantics(Expression operand, Expression otherOperand, Expression toCast, BinaryOperatorType operator)
protected boolean	checkResolveAfterRemoveCast(AstNode parent)
private ConversionType	getConversion(TypeReference target, TypeReference source, Expression value)	Determines the conversion type, taking lossiness into consideration for numeric conversions.
private ConversionType	getNumericConversion(TypeReference target, TypeReference source, Expression value)	Determines the numeric conversion type, taking lossiness into consideration.
protected TypeReference	getType(AstNode node)
protected List<TypeReference>	getTypes(AstNodeCollection<? extends AstNode> nodes)
protected boolean	isCastRedundantInReferenceExpression(TypeReference type, Expression operand)
boolean	isInPolymorphicCall(CastExpression cast)
private static boolean	isPolymorphicMethod(AstNode expression)
final boolean	isRedundant()
boolean	isTypeCastSemantic(CastExpression cast)
protected void	processAlreadyHasTypeCast(CastExpression cast)
private void	processArrayInitializer(ArrayInitializerExpression node)
protected void	processBinaryExpressionOperand(Expression operand, Expression other, BinaryOperatorType op, TypeReference resultType)
protected void	processCall(Expression e)
protected void	processPossibleTypeCast(Expression rightExpression, TypeReference leftType)
private static TypeReference	unbox(TypeReference t)
Void	visitAnonymousObjectCreationExpression(AnonymousObjectCreationExpression node, Void data)
Void	visitArrayInitializerExpression(ArrayInitializerExpression node, Void data)
Void	visitAssignmentExpression(AssignmentExpression node, Void data)
Void	visitBinaryOperatorExpression(BinaryOperatorExpression node, Void data)
Void	visitCastExpression(CastExpression node, Void data)
protected Void	visitChildren(AstNode node, Void data)
Void	visitFieldDeclaration(FieldDeclaration node, Void data)
Void	visitInvocationExpression(InvocationExpression node, Void data)
Void	visitObjectCreationExpression(ObjectCreationExpression node, Void data)
Void	visitReturnStatement(ReturnStatement node, Void data)
Void	visitVariableDeclaration(VariableDeclarationStatement node, Void data)

Methods inherited from class DepthFirstAstVisitor

shouldContinue, visitAnnotation, visitArrayCreationExpression, visitArraySpecifier, visitAssertStatement, visitBlockStatement, visitBreakStatement, visitBytecodeConstant, visitCaseLabel, visitCatchClause, visitClassOfExpression, visitComment, visitCompilationUnit, visitComposedType, visitConditionalExpression, visitConstructorDeclaration, visitContinueStatement, visitDoWhileStatement, visitEmptyStatement, visitEnumValueDeclaration, visitExpressionStatement, visitForEachStatement, visitForStatement, visitGotoStatement, visitIdentifier, visitIdentifierExpression, visitIfElseStatement, visitImportDeclaration, visitIndexerExpression, visitInitializerBlock, visitInlinedBytecode, visitInstanceOfExpression, visitIntersectionType, visitJavaTokenNode, visitLabeledStatement, visitLabelStatement, visitLambdaExpression, visitLocalTypeDeclarationStatement, visitMemberReferenceExpression, visitMethodDeclaration, visitMethodGroupExpression, visitModuleDeclaration, visitNewLine, visitNullReferenceExpression, visitPackageDeclaration, visitParameterDeclaration, visitParenthesizedExpression, visitPatternPlaceholder, visitPrimitiveExpression, visitSimpleType, visitSuperReferenceExpression, visitSwitchExpression, visitSwitchExpressionArm, visitSwitchSection, visitSwitchStatement, visitSynchronizedStatement, visitText, visitThisReferenceExpression, visitThrowStatement, visitTryCatchStatement, visitTypeDeclaration, visitTypeParameterDeclaration, visitTypeReference, visitUnaryOperatorExpression, visitUnionType, visitVariableInitializer, visitWhileStatement, visitWildcardType

Methods inherited from class Object

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

Field Details

_isRecursive

private final boolean _isRecursive

_resolver

private final Function<AstNode, ResolveResult> _resolver

_isRedundant

private boolean _isRedundant

Constructor Details

IsRedundantVisitor

IsRedundantVisitor(Function<AstNode, ResolveResult> resolver,
 boolean recursive)

Method Details

isRedundant

public final boolean isRedundant()

visitChildren

protected Void visitChildren(AstNode node,
 Void data)

Overrides:

visitChildren in class DepthFirstAstVisitor<Void,Void>

visitAssignmentExpression

public Void visitAssignmentExpression(AssignmentExpression node,
 Void data)

Specified by:

visitAssignmentExpression in interface IAstVisitor<Void,Void>

Overrides:

visitAssignmentExpression in class DepthFirstAstVisitor<Void,Void>

visitVariableDeclaration

public Void visitVariableDeclaration(VariableDeclarationStatement node,
 Void data)

Specified by:

visitVariableDeclaration in interface IAstVisitor<Void,Void>

Overrides:

visitVariableDeclaration in class DepthFirstAstVisitor<Void,Void>

visitFieldDeclaration

public Void visitFieldDeclaration(FieldDeclaration node,
 Void data)

Specified by:

visitFieldDeclaration in interface IAstVisitor<Void,Void>

Overrides:

visitFieldDeclaration in class DepthFirstAstVisitor<Void,Void>

visitReturnStatement

public Void visitReturnStatement(ReturnStatement node,
 Void data)

Specified by:

visitReturnStatement in interface IAstVisitor<Void,Void>

Overrides:

visitReturnStatement in class DepthFirstAstVisitor<Void,Void>

visitBinaryOperatorExpression

public Void visitBinaryOperatorExpression(BinaryOperatorExpression node,
 Void data)

Specified by:

visitBinaryOperatorExpression in interface IAstVisitor<Void,Void>

Overrides:

visitBinaryOperatorExpression in class DepthFirstAstVisitor<Void,Void>

visitInvocationExpression

public Void visitInvocationExpression(InvocationExpression node,
 Void data)

Specified by:

visitInvocationExpression in interface IAstVisitor<Void,Void>

Overrides:

visitInvocationExpression in class DepthFirstAstVisitor<Void,Void>

visitObjectCreationExpression

public Void visitObjectCreationExpression(ObjectCreationExpression node,
 Void data)

Specified by:

visitObjectCreationExpression in interface IAstVisitor<Void,Void>

Overrides:

visitObjectCreationExpression in class DepthFirstAstVisitor<Void,Void>

visitAnonymousObjectCreationExpression

public Void visitAnonymousObjectCreationExpression(AnonymousObjectCreationExpression node,
 Void data)

Specified by:

visitAnonymousObjectCreationExpression in interface IAstVisitor<Void,Void>

Overrides:

visitAnonymousObjectCreationExpression in class DepthFirstAstVisitor<Void,Void>

visitArrayInitializerExpression

public Void visitArrayInitializerExpression(ArrayInitializerExpression node,
 Void data)

Specified by:

visitArrayInitializerExpression in interface IAstVisitor<Void,Void>

Overrides:

visitArrayInitializerExpression in class DepthFirstAstVisitor<Void,Void>

processArrayInitializer

private void processArrayInitializer(ArrayInitializerExpression node)

visitCastExpression

public Void visitCastExpression(CastExpression node,
 Void data)

Specified by:

visitCastExpression in interface IAstVisitor<Void,Void>

Overrides:

visitCastExpression in class DepthFirstAstVisitor<Void,Void>

getType

protected TypeReference getType(AstNode node)

getTypes

@NotNull
protected List<TypeReference> getTypes(AstNodeCollection<? extends AstNode> nodes)

processPossibleTypeCast

protected void processPossibleTypeCast(Expression rightExpression,
 @Nullable
 TypeReference leftType)

addToResults

protected void addToResults(@NotNull
 CastExpression cast,
 boolean force)

processBinaryExpressionOperand

protected void processBinaryExpressionOperand(Expression operand,
 Expression other,
 BinaryOperatorType op,
 TypeReference resultType)

processCall

protected void processCall(@NotNull
 Expression e)

processAlreadyHasTypeCast

protected void processAlreadyHasTypeCast(CastExpression cast)

arrayAccessAtTheLeftSideOfAssignment

protected boolean arrayAccessAtTheLeftSideOfAssignment(AstNode node)

isCastRedundantInReferenceExpression

protected boolean isCastRedundantInReferenceExpression(TypeReference type,
 Expression operand)

checkResolveAfterRemoveCast

protected boolean checkResolveAfterRemoveCast(AstNode parent)

isTypeCastSemantic

public boolean isTypeCastSemantic(CastExpression cast)

unbox

private static TypeReference unbox(TypeReference t)

getConversion

private ConversionType getConversion(@NotNull
 TypeReference target,
 @NotNull
 TypeReference source,
 @Nullable
 Expression value)

Determines the conversion type, taking lossiness into consideration for numeric conversions. Returns ConversionType.NONE if a determination could not be made.

getNumericConversion

private ConversionType getNumericConversion(@NotNull
 TypeReference target,
 @NotNull
 TypeReference source,
 @Nullable
 Expression value)

Determines the numeric conversion type, taking lossiness into consideration. Returns ConversionType.NONE if a determination could not be made.

isInPolymorphicCall

public boolean isInPolymorphicCall(CastExpression cast)

isPolymorphicMethod

private static boolean isPolymorphicMethod(AstNode expression)

castChangesBinarySemantics

private boolean castChangesBinarySemantics(Expression operand,
 Expression otherOperand,
 Expression toCast,
 BinaryOperatorType operator)