org.extendj.ast.BranchTargetStmt Maven / Gradle / Ivy
/* This file was generated with JastAdd2 (http://jastadd.org) version 2.3.0 */
package org.extendj.ast;
import java.util.Collection;
import java.util.Collections;
import java.util.HashSet;
import java.util.ArrayList;
import java.io.ByteArrayOutputStream;
import java.io.PrintStream;
import java.lang.reflect.InvocationTargetException;
import java.lang.reflect.Method;
import java.util.*;
import java.util.zip.*;
import java.io.*;
import java.io.BufferedInputStream;
import java.io.DataInputStream;
import org.jastadd.util.PrettyPrintable;
import org.jastadd.util.PrettyPrinter;
import java.io.FileNotFoundException;
import java.io.InputStream;
import org.jastadd.util.*;
import java.io.File;
import java.io.IOException;
import java.util.Set;
import beaver.*;
import java.util.concurrent.atomic.AtomicBoolean;
import java.util.concurrent.ConcurrentMap;
import java.util.concurrent.ConcurrentHashMap;
import java.util.concurrent.ConcurrentSkipListMap;
/**
* A statement that can be reached by {@code break} or {@code continue}.
* @ast node
* @declaredat /home/jesper/git/extendj/java4/grammar/Java.ast:289
* @astdecl BranchTargetStmt : Stmt;
* @production BranchTargetStmt : {@link Stmt};
*/
public abstract class BranchTargetStmt extends Stmt implements Cloneable {
/**
* @aspect BranchTarget
* @declaredat /home/jesper/git/extendj/java4/frontend/BranchTarget.jrag:112
*/
public void collectBranches(Collection c) {
c.addAll(escapedBranches());
}
/**
* @declaredat ASTNode:1
*/
public BranchTargetStmt() {
super();
}
/**
* Initializes the child array to the correct size.
* Initializes List and Opt nta children.
* @apilevel internal
* @ast method
* @declaredat ASTNode:10
*/
public void init$Children() {
}
/** @apilevel low-level
* @declaredat ASTNode:13
*/
protected int numChildren() {
return 0;
}
/**
* @apilevel internal
* @declaredat ASTNode:19
*/
public boolean mayHaveRewrite() {
return false;
}
/** @apilevel internal
* @declaredat ASTNode:23
*/
public void flushAttrCache() {
super.flushAttrCache();
reachableBreak_reset();
reachableContinue_reset();
targetBranches_reset();
escapedBranches_reset();
branches_reset();
targetContinues_reset();
targetBreaks_reset();
}
/** @apilevel internal
* @declaredat ASTNode:34
*/
public void flushCollectionCache() {
super.flushCollectionCache();
}
/** @apilevel internal
* @declaredat ASTNode:38
*/
public BranchTargetStmt clone() throws CloneNotSupportedException {
BranchTargetStmt node = (BranchTargetStmt) super.clone();
return node;
}
/**
* Create a deep copy of the AST subtree at this node.
* The copy is dangling, i.e. has no parent.
* @return dangling copy of the subtree at this node
* @apilevel low-level
* @deprecated Please use treeCopy or treeCopyNoTransform instead
* @declaredat ASTNode:49
*/
@Deprecated
public abstract BranchTargetStmt fullCopy();
/**
* Create a deep copy of the AST subtree at this node.
* The copy is dangling, i.e. has no parent.
* @return dangling copy of the subtree at this node
* @apilevel low-level
* @declaredat ASTNode:57
*/
public abstract BranchTargetStmt treeCopyNoTransform();
/**
* Create a deep copy of the AST subtree at this node.
* The subtree of this node is traversed to trigger rewrites before copy.
* The copy is dangling, i.e. has no parent.
* @return dangling copy of the subtree at this node
* @apilevel low-level
* @declaredat ASTNode:65
*/
public abstract BranchTargetStmt treeCopy();
/** @apilevel internal */
private void reachableBreak_reset() {
reachableBreak_computed = null;
}
/** @apilevel internal */
protected ASTState.Cycle reachableBreak_computed = null;
/** @apilevel internal */
protected boolean reachableBreak_value;
/**
* @attribute syn
* @aspect UnreachableStatements
* @declaredat /home/jesper/git/extendj/java4/frontend/UnreachableStatements.jrag:85
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="UnreachableStatements", declaredAt="/home/jesper/git/extendj/java4/frontend/UnreachableStatements.jrag:85")
public boolean reachableBreak() {
ASTState state = state();
if (reachableBreak_computed == ASTState.NON_CYCLE || reachableBreak_computed == state().cycle()) {
return reachableBreak_value;
}
reachableBreak_value = reachableBreak_compute();
if (state().inCircle()) {
reachableBreak_computed = state().cycle();
} else {
reachableBreak_computed = ASTState.NON_CYCLE;
}
return reachableBreak_value;
}
/** @apilevel internal */
private boolean reachableBreak_compute() {
for (BreakStmt stmt : targetBreaks()) {
if (stmt.reachable()) {
return true;
}
}
return false;
}
/** @apilevel internal */
private void reachableContinue_reset() {
reachableContinue_computed = null;
}
/** @apilevel internal */
protected ASTState.Cycle reachableContinue_computed = null;
/** @apilevel internal */
protected boolean reachableContinue_value;
/**
* @attribute syn
* @aspect UnreachableStatements
* @declaredat /home/jesper/git/extendj/java4/frontend/UnreachableStatements.jrag:140
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="UnreachableStatements", declaredAt="/home/jesper/git/extendj/java4/frontend/UnreachableStatements.jrag:140")
public boolean reachableContinue() {
ASTState state = state();
if (reachableContinue_computed == ASTState.NON_CYCLE || reachableContinue_computed == state().cycle()) {
return reachableContinue_value;
}
reachableContinue_value = reachableContinue_compute();
if (state().inCircle()) {
reachableContinue_computed = state().cycle();
} else {
reachableContinue_computed = ASTState.NON_CYCLE;
}
return reachableContinue_value;
}
/** @apilevel internal */
private boolean reachableContinue_compute() {
for (Stmt stmt : targetContinues()) {
if (stmt.reachable()) {
return true;
}
}
return false;
}
/** @apilevel internal */
private void targetBranches_reset() {
targetBranches_computed = null;
targetBranches_value = null;
}
/** @apilevel internal */
protected ASTState.Cycle targetBranches_computed = null;
/** @apilevel internal */
protected Collection targetBranches_value;
/**
* @attribute syn
* @aspect BranchTarget
* @declaredat /home/jesper/git/extendj/java4/frontend/BranchTarget.jrag:88
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="BranchTarget", declaredAt="/home/jesper/git/extendj/java4/frontend/BranchTarget.jrag:88")
public Collection targetBranches() {
ASTState state = state();
if (targetBranches_computed == ASTState.NON_CYCLE || targetBranches_computed == state().cycle()) {
return targetBranches_value;
}
targetBranches_value = targetBranches_compute();
if (state().inCircle()) {
targetBranches_computed = state().cycle();
} else {
targetBranches_computed = ASTState.NON_CYCLE;
}
return targetBranches_value;
}
/** @apilevel internal */
private Collection targetBranches_compute() {
Collection set = new HashSet();
for (Stmt branch : branches()) {
if (potentialTargetOf(branch)) {
set.add(branch);
}
}
return set;
}
/** @apilevel internal */
private void escapedBranches_reset() {
escapedBranches_computed = null;
escapedBranches_value = null;
}
/** @apilevel internal */
protected ASTState.Cycle escapedBranches_computed = null;
/** @apilevel internal */
protected Collection escapedBranches_value;
/**
* @attribute syn
* @aspect BranchTarget
* @declaredat /home/jesper/git/extendj/java4/frontend/BranchTarget.jrag:90
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="BranchTarget", declaredAt="/home/jesper/git/extendj/java4/frontend/BranchTarget.jrag:90")
public Collection escapedBranches() {
ASTState state = state();
if (escapedBranches_computed == ASTState.NON_CYCLE || escapedBranches_computed == state().cycle()) {
return escapedBranches_value;
}
escapedBranches_value = escapedBranches_compute();
if (state().inCircle()) {
escapedBranches_computed = state().cycle();
} else {
escapedBranches_computed = ASTState.NON_CYCLE;
}
return escapedBranches_value;
}
/** @apilevel internal */
private Collection escapedBranches_compute() {
Collection set = new HashSet();
for (Stmt branch : branches()) {
if (!potentialTargetOf(branch)) {
set.add(branch);
} else if (branch instanceof ReturnStmt) {
set.add(branch);
}
}
return set;
}
/** @apilevel internal */
private void branches_reset() {
branches_computed = null;
branches_value = null;
}
/** @apilevel internal */
protected ASTState.Cycle branches_computed = null;
/** @apilevel internal */
protected Collection branches_value;
/**
* @attribute syn
* @aspect BranchTarget
* @declaredat /home/jesper/git/extendj/java4/frontend/BranchTarget.jrag:92
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="BranchTarget", declaredAt="/home/jesper/git/extendj/java4/frontend/BranchTarget.jrag:92")
public Collection branches() {
ASTState state = state();
if (branches_computed == ASTState.NON_CYCLE || branches_computed == state().cycle()) {
return branches_value;
}
branches_value = branches_compute();
if (state().inCircle()) {
branches_computed = state().cycle();
} else {
branches_computed = ASTState.NON_CYCLE;
}
return branches_value;
}
/** @apilevel internal */
private Collection branches_compute() {
Collection set = new HashSet();
super.collectBranches(set);
return set;
}
/**
* @return true if this statement is a potential
* branch target of the given branch statement.
* @attribute syn
* @aspect BranchTarget
* @declaredat /home/jesper/git/extendj/java4/frontend/BranchTarget.jrag:215
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="BranchTarget", declaredAt="/home/jesper/git/extendj/java4/frontend/BranchTarget.jrag:215")
public boolean potentialTargetOf(Stmt branch) {
boolean potentialTargetOf_Stmt_value = false;
return potentialTargetOf_Stmt_value;
}
/** @apilevel internal */
private void targetContinues_reset() {
targetContinues_computed = null;
targetContinues_value = null;
}
/** @apilevel internal */
protected ASTState.Cycle targetContinues_computed = null;
/** @apilevel internal */
protected Collection targetContinues_value;
/**
* @attribute syn
* @aspect BranchTarget
* @declaredat /home/jesper/git/extendj/java4/frontend/BranchTarget.jrag:84
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="BranchTarget", declaredAt="/home/jesper/git/extendj/java4/frontend/BranchTarget.jrag:84")
public Collection targetContinues() {
ASTState state = state();
if (targetContinues_computed == ASTState.NON_CYCLE || targetContinues_computed == state().cycle()) {
return targetContinues_value;
}
targetContinues_value = targetContinues_compute();
if (state().inCircle()) {
targetContinues_computed = state().cycle();
} else {
targetContinues_computed = ASTState.NON_CYCLE;
}
return targetContinues_value;
}
/** @apilevel internal */
private Collection targetContinues_compute() {
Collection set = new HashSet();
for (Stmt branch : targetBranches()) {
if (branch instanceof ContinueStmt) {
set.add((ContinueStmt) branch);
}
}
if (getParent() instanceof LabeledStmt) {
for (Stmt branch : ((LabeledStmt) getParent()).targetBranches()) {
if (branch instanceof ContinueStmt) {
set.add((ContinueStmt) branch);
}
}
}
return set;
}
/** @apilevel internal */
private void targetBreaks_reset() {
targetBreaks_computed = null;
targetBreaks_value = null;
}
/** @apilevel internal */
protected ASTState.Cycle targetBreaks_computed = null;
/** @apilevel internal */
protected Collection targetBreaks_value;
/**
* @attribute syn
* @aspect BranchTarget
* @declaredat /home/jesper/git/extendj/java4/frontend/BranchTarget.jrag:86
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="BranchTarget", declaredAt="/home/jesper/git/extendj/java4/frontend/BranchTarget.jrag:86")
public Collection targetBreaks() {
ASTState state = state();
if (targetBreaks_computed == ASTState.NON_CYCLE || targetBreaks_computed == state().cycle()) {
return targetBreaks_value;
}
targetBreaks_value = targetBreaks_compute();
if (state().inCircle()) {
targetBreaks_computed = state().cycle();
} else {
targetBreaks_computed = ASTState.NON_CYCLE;
}
return targetBreaks_value;
}
/** @apilevel internal */
private Collection targetBreaks_compute() {
Collection set = new HashSet();
for (Stmt branch : targetBranches()) {
if (branch instanceof BreakStmt) {
set.add((BreakStmt) branch);
}
}
return set;
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/BranchTarget.jrag:273
* @apilevel internal
*/
public FinallyHost Define_enclosingFinally(ASTNode _callerNode, ASTNode _childNode, Stmt branch) {
int childIndex = this.getIndexOfChild(_callerNode);
return potentialTargetOf(branch) ? null : enclosingFinally(branch);
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/BranchTarget.jrag:273
* @apilevel internal
* @return {@code true} if this node has an equation for the inherited attribute enclosingFinally
*/
protected boolean canDefine_enclosingFinally(ASTNode _callerNode, ASTNode _childNode, Stmt branch) {
return true;
}
/**
* @declaredat /home/jesper/git/extendj/java4/backend/CreateBCode.jrag:1908
* @apilevel internal
*/
public boolean Define_leavesMonitor(ASTNode _callerNode, ASTNode _childNode, Stmt branch, SynchronizedStmt monitor) {
int childIndex = this.getIndexOfChild(_callerNode);
{
if (potentialTargetOf(branch)) {
return false;
} else {
return leavesMonitor(branch, monitor);
}
}
}
/**
* @declaredat /home/jesper/git/extendj/java4/backend/CreateBCode.jrag:1908
* @apilevel internal
* @return {@code true} if this node has an equation for the inherited attribute leavesMonitor
*/
protected boolean canDefine_leavesMonitor(ASTNode _callerNode, ASTNode _childNode, Stmt branch, SynchronizedStmt monitor) {
return true;
}
/** @apilevel internal */
public ASTNode rewriteTo() {
return super.rewriteTo();
}
/** @apilevel internal */
public boolean canRewrite() {
return false;
}
}