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
-
Field Summary
Fields -
Constructor Summary
ConstructorsModifierConstructorDescriptionprivate
StructuredAssert
(BytecodeLoc loc, ConditionalExpression conditionalExpression, Expression arg) -
Method Summary
Modifier and TypeMethodDescriptionvoid
collectTypeUsages
(TypeUsageCollector collector) informBlockHeirachy
(Vector<BlockIdentifier> blockIdentifiers) boolean
void
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
-
Field Details
-
conditionalExpression
-
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
-
collectTypeUsages
-
dump
-
informBlockHeirachy
- Specified by:
informBlockHeirachy
in interfaceStructuredStatement
- Overrides:
informBlockHeirachy
in classAbstractStructuredStatement
-
transformStructuredChildren
public void transformStructuredChildren(StructuredStatementTransformer transformer, StructuredScope scope) -
linearizeInto
-
traceLocalVariableScope
-
isRecursivelyStructured
public boolean isRecursivelyStructured()- Specified by:
isRecursivelyStructured
in interfaceStructuredStatement
- Overrides:
isRecursivelyStructured
in classAbstractStructuredStatement
-
match
public boolean match(MatchIterator<StructuredStatement> matchIterator, MatchResultCollector matchResultCollector) - Specified by:
match
in interfaceMatcher<StructuredStatement>
- Overrides:
match
in classAbstractStructuredStatement
-
rewriteExpressions
-