Package org.benf.cfr.reader.bytecode.analysis.structured.statement

Class StructuredAssert

java.lang.Object

org.benf.cfr.reader.bytecode.analysis.structured.statement.AbstractStructuredStatement

org.benf.cfr.reader.bytecode.analysis.structured.statement.StructuredAssert

All Implemented Interfaces:

HasByteCodeLoc, Matcher<StructuredStatement>, StructuredStatement, Dumpable, TypeUsageCollectable

public class StructuredAssert
extends AbstractStructuredStatement

Field Summary

Fields

Modifier and Type	Field	Description
private Expression	arg
private ConditionalExpression	conditionalExpression

Constructor Summary

Constructors

Modifier	Constructor	Description
private	StructuredAssert(BytecodeLoc loc, ConditionalExpression conditionalExpression, Expression arg)

Method Summary

Modifier and Type	Method	Description
void	collectTypeUsages(TypeUsageCollector collector)
Dumper	dump(Dumper dumper)
BytecodeLoc	getCombinedLoc()
StructuredStatement	informBlockHeirachy(Vector<BlockIdentifier> blockIdentifiers)
boolean	isRecursivelyStructured()
void	linearizeInto(List<StructuredStatement> out)
boolean	match(MatchIterator<StructuredStatement> matchIterator, MatchResultCollector matchResultCollector)
static StructuredAssert	mkStructuredAssert(BytecodeLoc loc, ConditionalExpression conditionalExpression, Expression arg)
void	rewriteExpressions(ExpressionRewriter expressionRewriter)
void	traceLocalVariableScope(LValueScopeDiscoverer scopeDiscoverer)
void	transformStructuredChildren(StructuredStatementTransformer transformer, StructuredScope scope)

Methods inherited from class org.benf.cfr.reader.bytecode.analysis.structured.statement.AbstractStructuredStatement

addLoc, alwaysDefines, canDefine, canFall, claimBlock, fallsNopToNext, findCreatedHere, getBreakableBlockOrNull, getContainer, getInline, getLoc, inlineable, isEffectivelyNOP, isProperlyStructured, isScopeBlock, markCreator, setContainer, suggestName, supportsBreak, supportsContinueBreak, toString, transformStructuredChildrenInReverse

Methods inherited from class java.lang.Object

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

Field Details

conditionalExpression

private ConditionalExpression conditionalExpression

arg

private Expression arg

Constructor Details

StructuredAssert

private StructuredAssert(BytecodeLoc loc,
 ConditionalExpression conditionalExpression,
 Expression arg)

Method Details

mkStructuredAssert

public static StructuredAssert mkStructuredAssert(BytecodeLoc loc,
 ConditionalExpression conditionalExpression,
 Expression arg)

getCombinedLoc

public BytecodeLoc getCombinedLoc()

collectTypeUsages

public void collectTypeUsages(TypeUsageCollector collector)

dump

public Dumper dump(Dumper dumper)

informBlockHeirachy

public StructuredStatement informBlockHeirachy(Vector<BlockIdentifier> blockIdentifiers)

Specified by:

informBlockHeirachy in interface StructuredStatement

Overrides:

informBlockHeirachy in class AbstractStructuredStatement

transformStructuredChildren

public void transformStructuredChildren(StructuredStatementTransformer transformer,
 StructuredScope scope)

linearizeInto

public void linearizeInto(List<StructuredStatement> out)

traceLocalVariableScope

public void traceLocalVariableScope(LValueScopeDiscoverer scopeDiscoverer)

isRecursivelyStructured

public boolean isRecursivelyStructured()

Specified by:

isRecursivelyStructured in interface StructuredStatement

Overrides:

isRecursivelyStructured in class AbstractStructuredStatement

match

public boolean match(MatchIterator<StructuredStatement> matchIterator,
 MatchResultCollector matchResultCollector)

Specified by:

match in interface Matcher<StructuredStatement>

Overrides:

match in class AbstractStructuredStatement

rewriteExpressions

public void rewriteExpressions(ExpressionRewriter expressionRewriter)