Class InfiniteAssertRewriter

java.lang.Object

org.benf.cfr.reader.bytecode.analysis.opgraph.op4rewriters.transformers.InfiniteAssertRewriter

All Implemented Interfaces:

StructuredStatementTransformer

public class InfiniteAssertRewriter
extends Object
implements StructuredStatementTransformer

Field Summary

Fields

Modifier and Type	Field	Description
private final Expression	match1
private final Expression	match2
private final StructuredStatement	thrw
private final WildcardMatch	wcm1

Constructor Summary

Constructors

Constructor	Description
InfiniteAssertRewriter(StaticVariable assertionStatic)

Method Summary

Modifier and Type	Method	Description
private boolean	checkThrow(StructuredStatement thrw)
private void	replaceThrow(Op04StructuredStatement thrw, Op04StructuredStatement whil, BlockIdentifier ident, ConditionalExpression cond)
void	transform(Op04StructuredStatement root)
StructuredStatement	transform(StructuredStatement in, StructuredScope scope)

Methods inherited from class Object

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

Field Details

wcm1

private final WildcardMatch wcm1

match1

private final Expression match1

match2

private final Expression match2

thrw

private final StructuredStatement thrw

Constructor Details

InfiniteAssertRewriter

public InfiniteAssertRewriter(StaticVariable assertionStatic)

Method Details

transform

public void transform(Op04StructuredStatement root)

transform

public StructuredStatement transform(StructuredStatement in,
 StructuredScope scope)

Specified by:

transform in interface StructuredStatementTransformer

replaceThrow

private void replaceThrow(Op04StructuredStatement thrw,
 Op04StructuredStatement whil,
 BlockIdentifier ident,
 ConditionalExpression cond)

checkThrow

private boolean checkThrow(StructuredStatement thrw)