org.benf.cfr.reader.bytecode.analysis.parse.lvalue

Class StackSSALabel

java.lang.Object

org.benf.cfr.reader.bytecode.analysis.parse.lvalue.AbstractLValue

org.benf.cfr.reader.bytecode.analysis.parse.lvalue.StackSSALabel

All Implemented Interfaces:

LValue, DeepCloneable<LValue>, Dumpable, DumpableWithPrecedence, TypeUsageCollectable

Direct Known Subclasses:

WildcardMatch.StackLabelWildCard

public class StackSSALabel
extends AbstractLValue

Nested Class Summary

Nested classes/interfaces inherited from interface org.benf.cfr.reader.bytecode.analysis.parse.LValue

LValue.Creation

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	StackSSALabel(InferredJavaType inferredJavaType)
	StackSSALabel(long id, StackEntry stackEntry)

Method Summary

Modifier and Type	Method and Description
LValue	applyExpressionRewriter(ExpressionRewriter expressionRewriter, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer, ExpressionRewriterFlags flags)
boolean	canThrow(ExceptionCheck caught)
<Statement> void	collectLValueAssignments(Expression rhsAssigned, StatementContainer<Statement> statementContainer, LValueAssignmentCollector<Statement> lValueAssigmentCollector)
SSAIdentifiers<LValue>	collectVariableMutation(SSAIdentifierFactory<LValue,?> ssaIdentifierFactory)
LValue	deepClone(CloneHelper cloneHelper)
Dumper	dump(Dumper d, boolean defines)
Dumper	dumpInner(Dumper d)
boolean	equals(Object o)
int	getNumberOfCreators()
Precedence	getPrecedence()
StackEntry	getStackEntry()
int	hashCode()
boolean	isFinal()
boolean	isVar()
void	markFinal()
void	markVar()
LValue	replaceSingleUsageLValues(LValueRewriter lValueRewriter, SSAIdentifiers ssaIdentifiers, StatementContainer statementContainer)

Methods inherited from class org.benf.cfr.reader.bytecode.analysis.parse.lvalue.AbstractLValue

collectLValueUsage, collectTypeUsages, doesBlackListLValueReplacement, dump, dumpWithOuterPrecedence, getAnnotatedCreationType, getInferredJavaType, outerDeepClone, toString, validIterator

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

StackSSALabel

public StackSSALabel(long id,
                     StackEntry stackEntry)

StackSSALabel

protected StackSSALabel(InferredJavaType inferredJavaType)

Method Detail

markFinal

public void markFinal()

isFinal

public boolean isFinal()

markVar

public void markVar()

isVar

public boolean isVar()

getPrecedence

public Precedence getPrecedence()

Specified by:

getPrecedence in interface DumpableWithPrecedence

Specified by:

getPrecedence in class AbstractLValue

dump

public Dumper dump(Dumper d,
                   boolean defines)

Specified by:

dump in interface LValue

Overrides:

dump in class AbstractLValue

dumpInner

public Dumper dumpInner(Dumper d)

Specified by:

dumpInner in class AbstractLValue

getNumberOfCreators

public int getNumberOfCreators()

deepClone

public LValue deepClone(CloneHelper cloneHelper)

canThrow

public boolean canThrow(ExceptionCheck caught)

Specified by:

canThrow in interface LValue

Overrides:

canThrow in class AbstractLValue

collectLValueAssignments

public <Statement> void collectLValueAssignments(Expression rhsAssigned,
                                                 StatementContainer<Statement> statementContainer,
                                                 LValueAssignmentCollector<Statement> lValueAssigmentCollector)

collectVariableMutation

public SSAIdentifiers<LValue> collectVariableMutation(SSAIdentifierFactory<LValue,?> ssaIdentifierFactory)

replaceSingleUsageLValues

public LValue replaceSingleUsageLValues(LValueRewriter lValueRewriter,
                                        SSAIdentifiers ssaIdentifiers,
                                        StatementContainer statementContainer)

applyExpressionRewriter

public LValue applyExpressionRewriter(ExpressionRewriter expressionRewriter,
                                      SSAIdentifiers ssaIdentifiers,
                                      StatementContainer statementContainer,
                                      ExpressionRewriterFlags flags)

getStackEntry

public StackEntry getStackEntry()

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object o)

Overrides:

equals in class Object