AssertRewriter

public class AssertRewriter
extends java.lang.Object

Nested Classes
Modifier and Type	Class and 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`

Constructors
Constructor and Description
`AssertRewriter(ClassFile classFile, Options options)`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and 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 java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

private final boolean switchExpressions

public AssertRewriter(ClassFile classFile,
                      Options options)

public void sugarAsserts(Method staticInit)

private Matcher<StructuredStatement> buildSwitchAssertMatcher(WildcardMatch wcm1)

private Matcher<StructuredStatement> buildStandardAssertMatcher(WildcardMatch wcm1)

private void handlePreConditionedAsserts(Op04StructuredStatement statements)

private void handleInfiniteAsserts(Op04StructuredStatement statements)

Class AssertRewriter