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
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description void
collectTypeUsages(TypeUsageCollector collector)
Dumper
dump(Dumper dumper)
BytecodeLoc
getCombinedLoc()
StructuredStatement
informBlockHeirachy(java.util.Vector<BlockIdentifier> blockIdentifiers)
boolean
isRecursivelyStructured()
void
linearizeInto(java.util.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
-
-
-
-
Field Detail
-
conditionalExpression
private ConditionalExpression conditionalExpression
-
arg
private Expression arg
-
-
Constructor Detail
-
StructuredAssert
private StructuredAssert(BytecodeLoc loc, ConditionalExpression conditionalExpression, Expression arg)
-
-
Method Detail
-
mkStructuredAssert
public static StructuredAssert mkStructuredAssert(BytecodeLoc loc, ConditionalExpression conditionalExpression, Expression arg)
-
getCombinedLoc
public BytecodeLoc getCombinedLoc()
-
collectTypeUsages
public void collectTypeUsages(TypeUsageCollector collector)
-
informBlockHeirachy
public StructuredStatement informBlockHeirachy(java.util.Vector<BlockIdentifier> blockIdentifiers)
- Specified by:
informBlockHeirachy
in interfaceStructuredStatement
- Overrides:
informBlockHeirachy
in classAbstractStructuredStatement
-
transformStructuredChildren
public void transformStructuredChildren(StructuredStatementTransformer transformer, StructuredScope scope)
-
linearizeInto
public void linearizeInto(java.util.List<StructuredStatement> out)
-
traceLocalVariableScope
public void traceLocalVariableScope(LValueScopeDiscoverer scopeDiscoverer)
-
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
public void rewriteExpressions(ExpressionRewriter expressionRewriter)
-
-