public class AssertRewriter
extends java.lang.Object
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 |
Modifier and Type | Field and Description |
---|---|
private StaticVariable |
assertionStatic |
private InferredJavaType |
boolIjt |
private ClassFile |
classFile |
private boolean |
switchExpressions |
Constructor and Description |
---|
AssertRewriter(ClassFile classFile,
Options options) |
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) |
private final ClassFile classFile
private StaticVariable assertionStatic
private final boolean switchExpressions
private InferredJavaType boolIjt
public void sugarAsserts(Method staticInit)
private void rewriteMethods()
private Matcher<StructuredStatement> buildSwitchAssertMatcher(WildcardMatch wcm1)
private Matcher<StructuredStatement> buildStandardAssertMatcher(WildcardMatch wcm1)
private void handlePreConditionedAsserts(Op04StructuredStatement statements)
private void handleInfiniteAsserts(Op04StructuredStatement statements)