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

Class InfiniteAssertRewriter

java.lang.Object

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

All Implemented Interfaces:

StructuredStatementTransformer

public class InfiniteAssertRewriter
extends java.lang.Object
implements StructuredStatementTransformer

Field Summary

Fields

Modifier and Type	Field	Description
private Expression	match1
private Expression	match2
private StructuredStatement	thrw
private 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 java.lang.Object

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

Field Detail

wcm1

private final WildcardMatch wcm1

match1

private final Expression match1

match2

private final Expression match2

thrw

private final StructuredStatement thrw

Constructor Detail

InfiniteAssertRewriter

public InfiniteAssertRewriter(StaticVariable assertionStatic)

Method Detail

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)