summaryrefslogtreecommitdiffstats
path: root/src/org/jetbrains/java/decompiler/modules/decompiler/decompose/DominatorEngine.java
diff options
context:
space:
mode:
authorRoman Shevchenko <roman.shevchenko@jetbrains.com>2014-08-28 21:34:14 +0400
committerRoman Shevchenko <roman.shevchenko@jetbrains.com>2014-08-28 21:34:19 +0400
commit076e4393f25bf1ad1ff1bd2853153e2b595dd90b (patch)
treef1a17a12ea762525b5efbc0778b0945d906c68c9 /src/org/jetbrains/java/decompiler/modules/decompiler/decompose/DominatorEngine.java
parent663631f0456fcc245dd835889f86541d75161c53 (diff)
downloadfernflower-076e4393f25bf1ad1ff1bd2853153e2b595dd90b.tar
fernflower-076e4393f25bf1ad1ff1bd2853153e2b595dd90b.tar.gz
fernflower-076e4393f25bf1ad1ff1bd2853153e2b595dd90b.tar.lz
fernflower-076e4393f25bf1ad1ff1bd2853153e2b595dd90b.tar.xz
fernflower-076e4393f25bf1ad1ff1bd2853153e2b595dd90b.zip
java-decompiler: post-import cleanup (formatting and copyright)
Diffstat (limited to 'src/org/jetbrains/java/decompiler/modules/decompiler/decompose/DominatorEngine.java')
-rw-r--r--src/org/jetbrains/java/decompiler/modules/decompiler/decompose/DominatorEngine.java227
1 files changed, 114 insertions, 113 deletions
diff --git a/src/org/jetbrains/java/decompiler/modules/decompiler/decompose/DominatorEngine.java b/src/org/jetbrains/java/decompiler/modules/decompiler/decompose/DominatorEngine.java
index e17a271..b79c864 100644
--- a/src/org/jetbrains/java/decompiler/modules/decompiler/decompose/DominatorEngine.java
+++ b/src/org/jetbrains/java/decompiler/modules/decompiler/decompose/DominatorEngine.java
@@ -1,127 +1,128 @@
/*
- * Fernflower - The Analytical Java Decompiler
- * http://www.reversed-java.com
+ * Copyright 2000-2014 JetBrains s.r.o.
*
- * (C) 2008 - 2010, Stiver
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
*
- * This software is NEITHER public domain NOR free software
- * as per GNU License. See license.txt for more details.
+ * http://www.apache.org/licenses/LICENSE-2.0
*
- * This software is distributed WITHOUT ANY WARRANTY; without
- * even the implied warranty of MERCHANTABILITY or FITNESS FOR
- * A PARTICULAR PURPOSE.
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
*/
-
package org.jetbrains.java.decompiler.modules.decompiler.decompose;
-import java.util.List;
-
import org.jetbrains.java.decompiler.modules.decompiler.StatEdge;
import org.jetbrains.java.decompiler.modules.decompiler.stats.Statement;
import org.jetbrains.java.decompiler.util.VBStyleCollection;
+import java.util.List;
+
public class DominatorEngine {
- private Statement statement;
-
- private VBStyleCollection<Integer, Integer> colOrderedIDoms = new VBStyleCollection<Integer, Integer>();
-
-
- public DominatorEngine(Statement statement) {
- this.statement = statement;
- }
-
- public void initialize() {
- calcIDoms();
- }
-
- private void orderStatements() {
-
- for(Statement stat : statement.getReversePostOrderList()) {
- colOrderedIDoms.addWithKey(null, stat.id);
- }
-
- }
-
- private Integer getCommonIDom(Integer key1, Integer key2, VBStyleCollection<Integer, Integer> orderedIDoms) {
-
- if(key1 == null) {
- return key2;
- } else if(key2 == null) {
- return key1;
- }
-
- int index1 = orderedIDoms.getIndexByKey(key1);
- int index2 = orderedIDoms.getIndexByKey(key2);
-
- while(index1 != index2) {
- if(index1 > index2) {
- key1 = orderedIDoms.getWithKey(key1);
- index1 = orderedIDoms.getIndexByKey(key1);
- } else {
- key2 = orderedIDoms.getWithKey(key2);
- index2 = orderedIDoms.getIndexByKey(key2);
- }
- }
-
- return key1;
- }
-
- private void calcIDoms() {
-
- orderStatements();
-
- colOrderedIDoms.putWithKey(statement.getFirst().id, statement.getFirst().id);
-
- // exclude first statement
- List<Integer> lstIds = colOrderedIDoms.getLstKeys().subList(1, colOrderedIDoms.getLstKeys().size());
-
- for(;;) {
-
- boolean changed = false;
-
- for(Integer id : lstIds) {
-
- Statement stat = statement.getStats().getWithKey(id);
- Integer idom = null;
-
- for(StatEdge edge : stat.getAllPredecessorEdges()) {
- if(colOrderedIDoms.getWithKey(edge.getSource().id) != null) {
- idom = getCommonIDom(idom, edge.getSource().id, colOrderedIDoms);
- }
- }
-
- Integer oldidom = colOrderedIDoms.putWithKey(idom, id);
- if(!idom.equals(oldidom)) {
- changed = true;
- }
- }
-
- if(!changed) {
- break;
- }
- }
-
- }
-
- public VBStyleCollection<Integer, Integer> getOrderedIDoms() {
- return colOrderedIDoms;
- }
-
- public boolean isDominator(Integer node, Integer dom) {
-
- while(!node.equals(dom)) {
-
- Integer idom = colOrderedIDoms.getWithKey(node);
-
- if(idom.equals(node)) {
- return false; // root node
- } else {
- node = idom;
- }
- }
-
- return true;
- }
-
+ private Statement statement;
+
+ private VBStyleCollection<Integer, Integer> colOrderedIDoms = new VBStyleCollection<Integer, Integer>();
+
+
+ public DominatorEngine(Statement statement) {
+ this.statement = statement;
+ }
+
+ public void initialize() {
+ calcIDoms();
+ }
+
+ private void orderStatements() {
+
+ for (Statement stat : statement.getReversePostOrderList()) {
+ colOrderedIDoms.addWithKey(null, stat.id);
+ }
+ }
+
+ private Integer getCommonIDom(Integer key1, Integer key2, VBStyleCollection<Integer, Integer> orderedIDoms) {
+
+ if (key1 == null) {
+ return key2;
+ }
+ else if (key2 == null) {
+ return key1;
+ }
+
+ int index1 = orderedIDoms.getIndexByKey(key1);
+ int index2 = orderedIDoms.getIndexByKey(key2);
+
+ while (index1 != index2) {
+ if (index1 > index2) {
+ key1 = orderedIDoms.getWithKey(key1);
+ index1 = orderedIDoms.getIndexByKey(key1);
+ }
+ else {
+ key2 = orderedIDoms.getWithKey(key2);
+ index2 = orderedIDoms.getIndexByKey(key2);
+ }
+ }
+
+ return key1;
+ }
+
+ private void calcIDoms() {
+
+ orderStatements();
+
+ colOrderedIDoms.putWithKey(statement.getFirst().id, statement.getFirst().id);
+
+ // exclude first statement
+ List<Integer> lstIds = colOrderedIDoms.getLstKeys().subList(1, colOrderedIDoms.getLstKeys().size());
+
+ for (; ; ) {
+
+ boolean changed = false;
+
+ for (Integer id : lstIds) {
+
+ Statement stat = statement.getStats().getWithKey(id);
+ Integer idom = null;
+
+ for (StatEdge edge : stat.getAllPredecessorEdges()) {
+ if (colOrderedIDoms.getWithKey(edge.getSource().id) != null) {
+ idom = getCommonIDom(idom, edge.getSource().id, colOrderedIDoms);
+ }
+ }
+
+ Integer oldidom = colOrderedIDoms.putWithKey(idom, id);
+ if (!idom.equals(oldidom)) {
+ changed = true;
+ }
+ }
+
+ if (!changed) {
+ break;
+ }
+ }
+ }
+
+ public VBStyleCollection<Integer, Integer> getOrderedIDoms() {
+ return colOrderedIDoms;
+ }
+
+ public boolean isDominator(Integer node, Integer dom) {
+
+ while (!node.equals(dom)) {
+
+ Integer idom = colOrderedIDoms.getWithKey(node);
+
+ if (idom.equals(node)) {
+ return false; // root node
+ }
+ else {
+ node = idom;
+ }
+ }
+
+ return true;
+ }
}