Class AssertRewriter
- java.lang.Object
-
- org.benf.cfr.reader.bytecode.analysis.opgraph.op4rewriters.AssertRewriter
-
public class AssertRewriter extends java.lang.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 ClassFile
classFile
private boolean
switchExpressions
-
Constructor Summary
Constructors Constructor Description AssertRewriter(ClassFile classFile, Options options)
-
Method Summary
All Methods Instance Methods Concrete Methods 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)
-
-
-
Field Detail
-
classFile
private final ClassFile classFile
-
assertionStatic
private StaticVariable assertionStatic
-
switchExpressions
private final boolean switchExpressions
-
boolIjt
private InferredJavaType boolIjt
-
-
Method Detail
-
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)
-
-