📄 breakstmt.java
字号:
private Stmt targetStmt_compute() { return branchTarget(this); } protected int finallyList_visited = -1; protected boolean finallyList_computed = false; protected ArrayList finallyList_value; // Declared in BranchTarget.jrag at line 176 @SuppressWarnings({"unchecked", "cast"}) public ArrayList finallyList() { if(finallyList_computed) return finallyList_value; if(finallyList_visited == boundariesCrossed) throw new RuntimeException("Circular definition of attr: finallyList in class: "); finallyList_visited = boundariesCrossed; int num = boundariesCrossed; boolean isFinal = this.is$Final(); finallyList_value = finallyList_compute(); if(isFinal && num == boundariesCrossed) finallyList_computed = true; finallyList_visited = -1; return finallyList_value; } private ArrayList finallyList_compute() { ArrayList list = new ArrayList(); collectFinally(this, list); return list; } protected java.util.Map isDAafter_Variable_visited; // Declared in DefiniteAssignment.jrag at line 648 @SuppressWarnings({"unchecked", "cast"}) public boolean isDAafter(Variable v) { Object _parameters = v;if(isDAafter_Variable_visited == null) isDAafter_Variable_visited = new java.util.HashMap(4);if(isDAafter_Variable_values == null) isDAafter_Variable_values = new java.util.HashMap(4); if(isDAafter_Variable_values.containsKey(_parameters)) return ((Boolean)isDAafter_Variable_values.get(_parameters)).booleanValue(); if(new Integer(boundariesCrossed).equals(isDAafter_Variable_visited.get(_parameters))) throw new RuntimeException("Circular definition of attr: isDAafter in class: "); isDAafter_Variable_visited.put(_parameters, new Integer(boundariesCrossed)); int num = boundariesCrossed; boolean isFinal = this.is$Final(); boolean isDAafter_Variable_value = isDAafter_compute(v); if(isFinal && num == boundariesCrossed) isDAafter_Variable_values.put(_parameters, Boolean.valueOf(isDAafter_Variable_value)); isDAafter_Variable_visited.remove(_parameters); return isDAafter_Variable_value; } private boolean isDAafter_compute(Variable v) { return true; } protected java.util.Map isDUafterReachedFinallyBlocks_Variable_visited; protected java.util.Map isDUafterReachedFinallyBlocks_Variable_values; // Declared in DefiniteAssignment.jrag at line 925 @SuppressWarnings({"unchecked", "cast"}) public boolean isDUafterReachedFinallyBlocks(Variable v) { Object _parameters = v;if(isDUafterReachedFinallyBlocks_Variable_visited == null) isDUafterReachedFinallyBlocks_Variable_visited = new java.util.HashMap(4);if(isDUafterReachedFinallyBlocks_Variable_values == null) isDUafterReachedFinallyBlocks_Variable_values = new java.util.HashMap(4); if(isDUafterReachedFinallyBlocks_Variable_values.containsKey(_parameters)) return ((Boolean)isDUafterReachedFinallyBlocks_Variable_values.get(_parameters)).booleanValue(); if(new Integer(boundariesCrossed).equals(isDUafterReachedFinallyBlocks_Variable_visited.get(_parameters))) throw new RuntimeException("Circular definition of attr: isDUafterReachedFinallyBlocks in class: "); isDUafterReachedFinallyBlocks_Variable_visited.put(_parameters, new Integer(boundariesCrossed)); int num = boundariesCrossed; boolean isFinal = this.is$Final(); boolean isDUafterReachedFinallyBlocks_Variable_value = isDUafterReachedFinallyBlocks_compute(v); if(isFinal && num == boundariesCrossed) isDUafterReachedFinallyBlocks_Variable_values.put(_parameters, Boolean.valueOf(isDUafterReachedFinallyBlocks_Variable_value)); isDUafterReachedFinallyBlocks_Variable_visited.remove(_parameters); return isDUafterReachedFinallyBlocks_Variable_value; } private boolean isDUafterReachedFinallyBlocks_compute(Variable v) { if(!isDUbefore(v) && finallyList().isEmpty()) return false; for(Iterator iter = finallyList().iterator(); iter.hasNext(); ) { FinallyHost f = (FinallyHost)iter.next(); if(!f.isDUafterFinally(v)) return false; } return true; } protected java.util.Map isDAafterReachedFinallyBlocks_Variable_visited; protected java.util.Map isDAafterReachedFinallyBlocks_Variable_values; // Declared in DefiniteAssignment.jrag at line 957 @SuppressWarnings({"unchecked", "cast"}) public boolean isDAafterReachedFinallyBlocks(Variable v) { Object _parameters = v;if(isDAafterReachedFinallyBlocks_Variable_visited == null) isDAafterReachedFinallyBlocks_Variable_visited = new java.util.HashMap(4);if(isDAafterReachedFinallyBlocks_Variable_values == null) isDAafterReachedFinallyBlocks_Variable_values = new java.util.HashMap(4); if(isDAafterReachedFinallyBlocks_Variable_values.containsKey(_parameters)) return ((Boolean)isDAafterReachedFinallyBlocks_Variable_values.get(_parameters)).booleanValue(); if(new Integer(boundariesCrossed).equals(isDAafterReachedFinallyBlocks_Variable_visited.get(_parameters))) throw new RuntimeException("Circular definition of attr: isDAafterReachedFinallyBlocks in class: "); isDAafterReachedFinallyBlocks_Variable_visited.put(_parameters, new Integer(boundariesCrossed)); int num = boundariesCrossed; boolean isFinal = this.is$Final(); boolean isDAafterReachedFinallyBlocks_Variable_value = isDAafterReachedFinallyBlocks_compute(v); if(isFinal && num == boundariesCrossed) isDAafterReachedFinallyBlocks_Variable_values.put(_parameters, Boolean.valueOf(isDAafterReachedFinallyBlocks_Variable_value)); isDAafterReachedFinallyBlocks_Variable_visited.remove(_parameters); return isDAafterReachedFinallyBlocks_Variable_value; } private boolean isDAafterReachedFinallyBlocks_compute(Variable v) { if(isDAbefore(v)) return true; if(finallyList().isEmpty()) return false; for(Iterator iter = finallyList().iterator(); iter.hasNext(); ) { FinallyHost f = (FinallyHost)iter.next(); if(!f.isDAafterFinally(v)) return false; } return true; } protected java.util.Map isDUafter_Variable_visited; // Declared in DefiniteAssignment.jrag at line 1174 @SuppressWarnings({"unchecked", "cast"}) public boolean isDUafter(Variable v) { Object _parameters = v;if(isDUafter_Variable_visited == null) isDUafter_Variable_visited = new java.util.HashMap(4);if(isDUafter_Variable_values == null) isDUafter_Variable_values = new java.util.HashMap(4); if(isDUafter_Variable_values.containsKey(_parameters)) return ((Boolean)isDUafter_Variable_values.get(_parameters)).booleanValue(); if(new Integer(boundariesCrossed).equals(isDUafter_Variable_visited.get(_parameters))) throw new RuntimeException("Circular definition of attr: isDUafter in class: "); isDUafter_Variable_visited.put(_parameters, new Integer(boundariesCrossed)); int num = boundariesCrossed; boolean isFinal = this.is$Final(); boolean isDUafter_Variable_value = isDUafter_compute(v); if(isFinal && num == boundariesCrossed) isDUafter_Variable_values.put(_parameters, Boolean.valueOf(isDUafter_Variable_value)); isDUafter_Variable_visited.remove(_parameters); return isDUafter_Variable_value; } private boolean isDUafter_compute(Variable v) { return true; } protected int canCompleteNormally_visited = -1; // Declared in UnreachableStatements.jrag at line 105 @SuppressWarnings({"unchecked", "cast"}) public boolean canCompleteNormally() { if(canCompleteNormally_computed) return canCompleteNormally_value; if(canCompleteNormally_visited == boundariesCrossed) throw new RuntimeException("Circular definition of attr: canCompleteNormally in class: "); canCompleteNormally_visited = boundariesCrossed; int num = boundariesCrossed; boolean isFinal = this.is$Final(); canCompleteNormally_value = canCompleteNormally_compute(); if(isFinal && num == boundariesCrossed) canCompleteNormally_computed = true; canCompleteNormally_visited = -1; return canCompleteNormally_value; } private boolean canCompleteNormally_compute() { return false; } protected java.util.Map lookupLabel_String_visited; protected java.util.Map lookupLabel_String_values; // Declared in BranchTarget.jrag at line 169 @SuppressWarnings({"unchecked", "cast"}) public LabeledStmt lookupLabel(String name) { Object _parameters = name;if(lookupLabel_String_visited == null) lookupLabel_String_visited = new java.util.HashMap(4);if(lookupLabel_String_values == null) lookupLabel_String_values = new java.util.HashMap(4); if(lookupLabel_String_values.containsKey(_parameters)) return (LabeledStmt)lookupLabel_String_values.get(_parameters); if(new Integer(boundariesCrossed).equals(lookupLabel_String_visited.get(_parameters))) throw new RuntimeException("Circular definition of attr: lookupLabel in class: "); lookupLabel_String_visited.put(_parameters, new Integer(boundariesCrossed)); int num = boundariesCrossed; boolean isFinal = this.is$Final(); if(getParent() == null) throw new RuntimeException("Trying to evaluate attribute in subtree not attached to main tree"); LabeledStmt lookupLabel_String_value = getParent().Define_LabeledStmt_lookupLabel(this, null, name); if(isFinal && num == boundariesCrossed) lookupLabel_String_values.put(_parameters, lookupLabel_String_value); lookupLabel_String_visited.remove(_parameters); return lookupLabel_String_value; } protected int insideLoop_visited = -1; // Declared in NameCheck.jrag at line 360 @SuppressWarnings({"unchecked", "cast"}) public boolean insideLoop() { if(insideLoop_visited == boundariesCrossed) throw new RuntimeException("Circular definition of attr: insideLoop in class: "); insideLoop_visited = boundariesCrossed; if(getParent() == null) throw new RuntimeException("Trying to evaluate attribute in subtree not attached to main tree"); boolean insideLoop_value = getParent().Define_boolean_insideLoop(this, null); insideLoop_visited = -1; return insideLoop_value; } protected int insideSwitch_visited = -1; // Declared in NameCheck.jrag at line 369 @SuppressWarnings({"unchecked", "cast"}) public boolean insideSwitch() { if(insideSwitch_visited == boundariesCrossed) throw new RuntimeException("Circular definition of attr: insideSwitch in class: "); insideSwitch_visited = boundariesCrossed; if(getParent() == null) throw new RuntimeException("Trying to evaluate attribute in subtree not attached to main tree"); boolean insideSwitch_value = getParent().Define_boolean_insideSwitch(this, null); insideSwitch_visited = -1; return insideSwitch_value; }public ASTNode rewriteTo() { return super.rewriteTo();}}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -