Class AssertRewriter
java.lang.Object
org.benf.cfr.reader.bytecode.analysis.opgraph.op4rewriters.AssertRewriter
-
Nested Class Summary
Nested ClassesModifier and TypeClassDescription(package private) static class
private class
private class
(package private) static class
private class
-
Field Summary
FieldsModifier and TypeFieldDescriptionprivate StaticVariable
private InferredJavaType
private final ClassFile
private final boolean
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionprivate Matcher<StructuredStatement>
private Matcher<StructuredStatement>
private void
handleInfiniteAsserts
(Op04StructuredStatement statements) private void
handlePreConditionedAsserts
(Op04StructuredStatement statements) private void
void
sugarAsserts
(Method staticInit)
-
Field Details
-
classFile
-
assertionStatic
-
switchExpressions
private final boolean switchExpressions -
boolIjt
-
-
Constructor Details
-
AssertRewriter
-
-
Method Details
-
sugarAsserts
-
rewriteMethods
private void rewriteMethods() -
buildSwitchAssertMatcher
-
buildStandardAssertMatcher
-
handlePreConditionedAsserts
-
handleInfiniteAsserts
-