Class AssertRewriter

java.lang.Object

org.benf.cfr.reader.bytecode.analysis.opgraph.op4rewriters.AssertRewriter

public class AssertRewriter
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
(package private) static class	AssertRewriter.AssertionTrackingControlFlowSwitchExpressionTransformer
private class	AssertRewriter.AssertUseCollector
private class	AssertRewriter.AssertVarCollector
(package private) static class	AssertRewriter.ControlFlowSwitchExpressionTransformer
private class	AssertRewriter.SwitchAssertUseCollector

Field Summary

Fields

Modifier and Type	Field	Description
private StaticVariable	assertionStatic
private InferredJavaType	boolIjt
private final ClassFile	classFile
private final boolean	switchExpressions

Constructor Summary

Constructors

Constructor	Description
AssertRewriter(ClassFile classFile, Options options)

Method Summary

Modifier and Type	Method	Description
private Matcher<StructuredStatement>	buildStandardAssertMatcher(WildcardMatch wcm1)
private Matcher<StructuredStatement>	buildSwitchAssertMatcher(WildcardMatch wcm1)
private void	handleInfiniteAsserts(Op04StructuredStatement statements)
private void	handlePreConditionedAsserts(Op04StructuredStatement statements)
private void	rewriteMethods()
void	sugarAsserts(Method staticInit)

Methods inherited from class Object

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

Field Details

classFile

private final ClassFile classFile

assertionStatic

private StaticVariable assertionStatic

switchExpressions

private final boolean switchExpressions

boolIjt

private InferredJavaType boolIjt

Constructor Details

AssertRewriter

public AssertRewriter(ClassFile classFile,
 Options options)

Method Details

sugarAsserts

public void sugarAsserts(Method staticInit)

rewriteMethods

private void rewriteMethods()

buildSwitchAssertMatcher

private Matcher<StructuredStatement> buildSwitchAssertMatcher(WildcardMatch wcm1)

buildStandardAssertMatcher

private Matcher<StructuredStatement> buildStandardAssertMatcher(WildcardMatch wcm1)

handlePreConditionedAsserts

private void handlePreConditionedAsserts(Op04StructuredStatement statements)

handleInfiniteAsserts

private void handleInfiniteAsserts(Op04StructuredStatement statements)