Package jadx.core.dex.regions.conditions

Examples of jadx.core.dex.regions.conditions.IfCondition

73
74
75
76
77
78
79
80
81
82
83
84
85
86
  }

  @Test
  public void testSimplify() {
    // '!(!a || !b)' => 'a && b'
    IfCondition a = makeSimpleCondition();
    IfCondition b = makeSimpleCondition();
    IfCondition c = not(merge(Mode.OR, not(a), not(b)));
    IfCondition simp = simplify(c);

    assertEquals(simp.getMode(), Mode.AND);
    assertEquals(simp.first(), a);
    assertEquals(simp.second(), b);
  }
View Full Code Here
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
  }

  @Test
  public void testSimplify2() {
    // '(!a || !b) && !c' => '!((a && b) || c)'
    IfCondition a = makeSimpleCondition();
    IfCondition b = makeSimpleCondition();
    IfCondition c = makeSimpleCondition();
    IfCondition cond = merge(Mode.AND, merge(Mode.OR, not(a), not(b)), not(c));
    IfCondition simp = simplify(cond);

    assertEquals(simp.getMode(), Mode.NOT);
    IfCondition f = simp.first();
    assertEquals(f.getMode(), Mode.OR);
    assertEquals(f.first().getMode(), Mode.AND);
    assertEquals(f.first().first(), a);
    assertEquals(f.first().second(), b);
    assertEquals(f.second(), c);
  }
View Full Code Here
166
167
168
169
170
171
172
173
174
175
176
    LoopLabelAttr labelAttr = region.getInfo().getStart().get(AType.LOOP_LABEL);
    if (labelAttr != null) {
      code.startLine(mgen.getNameGen().getLoopLabel(labelAttr)).add(':');
    }

    IfCondition condition = region.getCondition();
    if (condition == null) {
      // infinite loop
      code.startLine("while (true) {");
      makeRegionIndent(code, region.getBody());
      code.startLine('}');
View Full Code Here
TOP

Related Classes of jadx.core.dex.regions.conditions.IfCondition

  • jadx.core.codegen.RegionGen
  • jadx.core.dex.instructions.IfNode
  • jadx.core.dex.instructions.InsnType
  • jadx.core.dex.nodes.InsnNode
  • jadx.core.dex.visitors.regions.IfMakerHelper
  • jadx.core.dex.visitors.regions.IfRegionVisitor
  • jadx.core.dex.visitors.regions.LoopRegionVisitor
  • jadx.core.dex.visitors.SimplifyVisitor
  • jadx.tests.functional.TestIfCondition
  • jadx.core.utils.exceptions.JadxRuntimeException
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.