org.extendj.ast.ConstructorDecl 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 org.jastadd.util.PrettyPrintable;
import org.jastadd.util.PrettyPrinter;
import org.jastadd.util.*;
import java.io.File;
import java.io.FileNotFoundException;
import java.io.InputStream;
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;
import java.io.BufferedInputStream;
import java.io.DataInputStream;
/**
* @ast node
* @declaredat /home/jesper/git/extendj/java4/grammar/Java.ast:163
* @astdecl ConstructorDecl : BodyDecl ::= Modifiers Parameter:ParameterDeclaration* Exception:Access* [ParsedConstructorInvocation:Stmt] Block ImplicitConstructorInvocation:Stmt;
* @production ConstructorDecl : {@link BodyDecl} ::= {@link Modifiers} <ID:String> Parameter:{@link ParameterDeclaration}* Exception:{@link Access}* [ParsedConstructorInvocation:{@link Stmt}] {@link Block} ImplicitConstructorInvocation:{@link Stmt};
*/
public class ConstructorDecl extends BodyDecl implements Cloneable, ExceptionHolder {
/**
* @aspect Java4PrettyPrint
* @declaredat /home/jesper/git/extendj/java4/frontend/PrettyPrint.jadd:259
*/
public void prettyPrint(PrettyPrinter out) {
if (!isImplicitConstructor()) {
if (hasDocComment()) {
out.print(docComment());
}
if (!out.isNewLine()) {
out.println();
}
out.print(getModifiers());
out.print(getID());
out.print("(");
out.join(getParameterList(), new PrettyPrinter.Joiner() {
@Override
public void printSeparator(PrettyPrinter out) {
out.print(", ");
}
});
out.print(")");
if (hasExceptions()) {
out.print(" throws ");
out.join(getExceptionList(), new PrettyPrinter.Joiner() {
@Override
public void printSeparator(PrettyPrinter out) {
out.print(", ");
}
});
}
out.print(" {");
out.println();
out.indent(1);
out.print(getParsedConstructorInvocationOpt());
if (!out.isNewLine()) {
out.println();
}
out.indent(1);
out.join(blockStmts(), new PrettyPrinter.Joiner() {
@Override
public void printSeparator(PrettyPrinter out) {
out.println();
}
});
if (!out.isNewLine()) {
out.println();
}
out.print("}");
}
}
/**
* @aspect ConstructorDecl
* @declaredat /home/jesper/git/extendj/java4/frontend/LookupConstructor.jrag:202
*/
public boolean applicable(List argList) {
if (getNumParameter() != argList.getNumChild()) {
return false;
}
for (int i = 0; i < getNumParameter(); i++) {
TypeDecl arg = argList.getChild(i).type();
TypeDecl parameter = getParameter(i).type();
if (!arg.instanceOf(parameter)) {
return false;
}
}
return true;
}
/**
* Flag to indicate if this constructor is an auto-generated
* default constructor. Implicit constructors are not pretty
* printed.
* @aspect ImplicitConstructor
* @declaredat /home/jesper/git/extendj/java4/frontend/LookupConstructor.jrag:233
*/
private boolean isImplicitConstructor = false;
/**
* Set the default constructor flag. Causes this constructor
* to not be pretty printed.
* @aspect ImplicitConstructor
* @declaredat /home/jesper/git/extendj/java4/frontend/LookupConstructor.jrag:239
*/
public void setImplicitConstructor() {
isImplicitConstructor = true;
}
/**
* @aspect LookupParTypeDecl
* @declaredat /home/jesper/git/extendj/java5/frontend/Generics.jrag:1449
*/
public BodyDecl signatureCopy() {
return new ConstructorDeclSubstituted(
getModifiers().treeCopyNoTransform(),
getID(),
getParameterList().treeCopyNoTransform(),
getExceptionList().treeCopyNoTransform(),
new Opt(),
new Block(),
this);
}
/**
* @aspect LookupParTypeDecl
* @declaredat /home/jesper/git/extendj/java5/frontend/Generics.jrag:1546
*/
public BodyDecl erasedCopy() {
return new ConstructorDeclSubstituted(
getModifiers().treeCopyNoTransform(),
getID(),
erasedParameterList(getParameterList()),
erasedAccessList(getExceptionList()),
new Opt(),
new Block(),
this);
}
/**
* @aspect GenerateClassfile
* @declaredat /home/jesper/git/extendj/java4/backend/GenerateClassfile.jrag:298
*/
public void generateMethod(DataOutputStream out, ConstantPool cp)
throws IOException {
out.writeChar(flags());
out.writeChar(cp.addUtf8(""));
out.writeChar(cp.addUtf8(descName()));
out.writeChar(attributes().size());
for (Attribute attribute : attributes()) {
attribute.emit(out);
}
}
/**
* @aspect GenerateClassfile
* @declaredat /home/jesper/git/extendj/java4/backend/GenerateClassfile.jrag:318
*/
public void touchMethod(ConstantPool cp) {
cp.addUtf8("");
cp.addUtf8(descName());
attributes();
}
/**
* @aspect CreateBCode
* @declaredat /home/jesper/git/extendj/java4/backend/CreateBCode.jrag:168
*/
private void generateBytecodes(CodeGeneration gen) {
int label = gen.variableScopeLabel();
int paramLength = 1;
gen.addLocalVariableEntryAtCurrentPC("this", hostType(), 0, label);
gen.addParameter(0, VerificationTypes.UNINITIALIZED_THIS);
if (needsEnclosing()) {
gen.addLocalVariableEntryAtCurrentPC("this$0", enclosing(), 1, label);
gen.addParameter(1, enclosing());
}
if (needsSuperEnclosing()) {
gen.addLocalVariableEntryAtCurrentPC("this$1", superEnclosing(), 2, label);
gen.addParameter(2, superEnclosing());
}
for (ParameterDeclaration p : getParameterList()) {
paramLength += p.type().variableSize();
if (paramLength > 255) {
throw new Error("parameter list too large");
}
gen.addLocalVariableEntryAtCurrentPC(p.name(), p.type(), p.localNum(), label);
gen.addParameter(p.localNum(), p.type());
}
int nextLocal = offsetFirstEnclosingVariable();
for (Variable var : hostType().enclosingVariables()) {
paramLength += var.type().variableSize();
if (paramLength > 255) {
throw new Error("parameter list too large, not enough room for enclosing variables");
}
gen.addLocalVariableEntryAtCurrentPC("val$" + var.name(), var.type(), nextLocal, label);
gen.addParameter(nextLocal, var.type());
nextLocal += var.type().variableSize();
}
createBCode(gen);
gen.RETURN();
gen.addVariableScopeLabel(label);
}
/**
* @aspect CreateBCode
* @declaredat /home/jesper/git/extendj/java4/backend/CreateBCode.jrag:215
*/
public void refined_CreateBCode_ConstructorDecl_createBCode(CodeGeneration gen) {
try {
boolean needsInit = true;
if (hasConstructorInvocation()) {
getConstructorInvocation().createBCode(gen);
Stmt stmt = getConstructorInvocation();
if (stmt instanceof ExprStmt) {
ExprStmt exprStmt = (ExprStmt) stmt;
Expr expr = exprStmt.getExpr();
if (!expr.isSuperConstructorAccess()) {
needsInit = false;
}
}
}
gen.initializedThis(0, hostType());
if (needsEnclosing()) {
gen.ALOAD(0, hostType());
gen.ALOAD(1, enclosing());
String classname = hostType().constantPoolName();
String name = "this$0";
int index = gen.constantPool().addFieldref(classname, name, enclosing());
gen.PUTFIELD(index);
}
int localIndex = offsetFirstEnclosingVariable();
for (Variable v : hostType().enclosingVariables()) {
gen.ALOAD(0, hostType());
v.type().emitLoadLocal(gen, localIndex);
String classname = hostType().constantPoolName();
String name = "val$" + v.name();
int index = gen.constantPool().addFieldref(classname, name, v.type());
gen.PUTFIELD(index);
localIndex += v.type().variableSize();
}
if (needsInit) {
TypeDecl typeDecl = hostType();
for (BodyDecl b : typeDecl.getBodyDeclList()) {
if (b instanceof FieldDecl) {
FieldDecl field = (FieldDecl) b;
if (!field.isStatic()) {
for (FieldDeclarator decl : field.getDeclaratorList()) {
if (decl.hasInit()) {
gen.ALOAD(0, hostType());
decl.emitInitializerBCode(gen);
decl.emitStoreField(gen, hostType());
}
}
}
} else if (b instanceof InstanceInitializer) {
b.createBCode(gen);
}
}
}
getBlock().createBCode(gen);
} catch (Error e) {
System.err.println(hostType().typeName() + ": " + this);
throw e;
}
}
/**
* @aspect InnerClasses
* @declaredat /home/jesper/git/extendj/java4/backend/InnerClasses.jrag:544
*/
protected List createAccessorParameters() {
List parameters = new List();
for (ParameterDeclaration param : getParameterList()) {
parameters.add(new ParameterDeclaration(param.type(), param.name()));
}
parameters.add(new ParameterDeclaration(
hostType().createBoundAccess(),
"p" + getNumParameter()));
return parameters;
}
/**
* @aspect CodeGeneration
* @declaredat /home/jesper/git/extendj/java4/backend/CodeGeneration.jrag:327
*/
public void emitInvokeConstructor(CodeGeneration gen) {
int numArg = 1 + getNumParameter() + hostType().enclosingVariables().size();
if (hostType().needsEnclosing()) {
numArg += 1;
}
if (hostType().needsSuperEnclosing()) {
numArg += 1;
}
String classname = hostType().constantPoolName();
String desc = descName();
String name = "";
int index = gen.constantPool().addMethodref(classname, name, desc);
gen.INVOKESPECIAL_void(index, numArg);
}
/**
* @declaredat ASTNode:1
*/
public ConstructorDecl() {
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() {
children = new ASTNode[6];
setChild(new List(), 1);
setChild(new List(), 2);
setChild(new Opt(), 3);
}
/**
* @declaredat ASTNode:16
*/
@ASTNodeAnnotation.Constructor(
name = {"Modifiers", "ID", "Parameter", "Exception", "ParsedConstructorInvocation", "Block"},
type = {"Modifiers", "String", "List", "List", "Opt", "Block"},
kind = {"Child", "Token", "List", "List", "Opt", "Child"}
)
public ConstructorDecl(Modifiers p0, String p1, List p2, List p3, Opt p4, Block p5) {
setChild(p0, 0);
setID(p1);
setChild(p2, 1);
setChild(p3, 2);
setChild(p4, 3);
setChild(p5, 4);
}
/**
* @declaredat ASTNode:29
*/
public ConstructorDecl(Modifiers p0, beaver.Symbol p1, List p2, List p3, Opt p4, Block p5) {
setChild(p0, 0);
setID(p1);
setChild(p2, 1);
setChild(p3, 2);
setChild(p4, 3);
setChild(p5, 4);
}
/** @apilevel low-level
* @declaredat ASTNode:38
*/
protected int numChildren() {
return 5;
}
/**
* @apilevel internal
* @declaredat ASTNode:44
*/
public boolean mayHaveRewrite() {
return false;
}
/** @apilevel internal
* @declaredat ASTNode:48
*/
public void flushAttrCache() {
super.flushAttrCache();
name_reset();
signature_reset();
sameSignature_ConstructorDecl_reset();
lessSpecificThan_ConstructorDecl_reset();
getImplicitConstructorInvocation_reset();
circularThisInvocation_ConstructorDecl_reset();
throwsException_TypeDecl_reset();
accessibleFrom_TypeDecl_reset();
assignedAfter_Variable_reset();
unassignedAfter_Variable_reset();
parameterDeclaration_String_reset();
transformed_reset();
transformedEnumConstructor_reset();
sourceConstructorDecl_reset();
bytecodes_ConstantPool_reset();
offsetBeforeParameters_reset();
offsetFirstEnclosingVariable_reset();
localIndexOfEnclosingVariable_Variable_reset();
offsetAfterParameters_reset();
flags_reset();
attributes_reset();
descName_reset();
handlesException_TypeDecl_reset();
}
/** @apilevel internal
* @declaredat ASTNode:75
*/
public void flushCollectionCache() {
super.flushCollectionCache();
}
/** @apilevel internal
* @declaredat ASTNode:79
*/
public ConstructorDecl clone() throws CloneNotSupportedException {
ConstructorDecl node = (ConstructorDecl) super.clone();
return node;
}
/** @apilevel internal
* @declaredat ASTNode:84
*/
public ConstructorDecl copy() {
try {
ConstructorDecl node = (ConstructorDecl) clone();
node.parent = null;
if (children != null) {
node.children = (ASTNode[]) children.clone();
}
return node;
} catch (CloneNotSupportedException e) {
throw new Error("Error: clone not supported for " + getClass().getName());
}
}
/**
* 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:103
*/
@Deprecated
public ConstructorDecl fullCopy() {
return treeCopyNoTransform();
}
/**
* 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:113
*/
public ConstructorDecl treeCopyNoTransform() {
ConstructorDecl tree = (ConstructorDecl) copy();
if (children != null) {
for (int i = 0; i < children.length; ++i) {
switch (i) {
case 5:
tree.children[i] = null;
continue;
}
ASTNode child = (ASTNode) children[i];
if (child != null) {
child = child.treeCopyNoTransform();
tree.setChild(child, i);
}
}
}
return tree;
}
/**
* 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:138
*/
public ConstructorDecl treeCopy() {
ConstructorDecl tree = (ConstructorDecl) copy();
if (children != null) {
for (int i = 0; i < children.length; ++i) {
switch (i) {
case 5:
tree.children[i] = null;
continue;
}
ASTNode child = (ASTNode) getChild(i);
if (child != null) {
child = child.treeCopy();
tree.setChild(child, i);
}
}
}
return tree;
}
/** @apilevel internal
* @declaredat ASTNode:157
*/
protected boolean is$Equal(ASTNode node) {
return super.is$Equal(node) && (tokenString_ID == ((ConstructorDecl) node).tokenString_ID);
}
/**
* Replaces the Modifiers child.
* @param node The new node to replace the Modifiers child.
* @apilevel high-level
*/
public void setModifiers(Modifiers node) {
setChild(node, 0);
}
/**
* Retrieves the Modifiers child.
* @return The current node used as the Modifiers child.
* @apilevel high-level
*/
@ASTNodeAnnotation.Child(name="Modifiers")
public Modifiers getModifiers() {
return (Modifiers) getChild(0);
}
/**
* Retrieves the Modifiers child.
* This method does not invoke AST transformations.
* @return The current node used as the Modifiers child.
* @apilevel low-level
*/
public Modifiers getModifiersNoTransform() {
return (Modifiers) getChildNoTransform(0);
}
/**
* Replaces the lexeme ID.
* @param value The new value for the lexeme ID.
* @apilevel high-level
*/
public void setID(String value) {
tokenString_ID = value;
}
/** @apilevel internal
*/
protected String tokenString_ID;
/**
*/
public int IDstart;
/**
*/
public int IDend;
/**
* JastAdd-internal setter for lexeme ID using the Beaver parser.
* @param symbol Symbol containing the new value for the lexeme ID
* @apilevel internal
*/
public void setID(beaver.Symbol symbol) {
if (symbol.value != null && !(symbol.value instanceof String))
throw new UnsupportedOperationException("setID is only valid for String lexemes");
tokenString_ID = (String)symbol.value;
IDstart = symbol.getStart();
IDend = symbol.getEnd();
}
/**
* Retrieves the value for the lexeme ID.
* @return The value for the lexeme ID.
* @apilevel high-level
*/
@ASTNodeAnnotation.Token(name="ID")
public String getID() {
return tokenString_ID != null ? tokenString_ID : "";
}
/**
* Replaces the Parameter list.
* @param list The new list node to be used as the Parameter list.
* @apilevel high-level
*/
public void setParameterList(List list) {
setChild(list, 1);
}
/**
* Retrieves the number of children in the Parameter list.
* @return Number of children in the Parameter list.
* @apilevel high-level
*/
public int getNumParameter() {
return getParameterList().getNumChild();
}
/**
* Retrieves the number of children in the Parameter list.
* Calling this method will not trigger rewrites.
* @return Number of children in the Parameter list.
* @apilevel low-level
*/
public int getNumParameterNoTransform() {
return getParameterListNoTransform().getNumChildNoTransform();
}
/**
* Retrieves the element at index {@code i} in the Parameter list.
* @param i Index of the element to return.
* @return The element at position {@code i} in the Parameter list.
* @apilevel high-level
*/
public ParameterDeclaration getParameter(int i) {
return (ParameterDeclaration) getParameterList().getChild(i);
}
/**
* Check whether the Parameter list has any children.
* @return {@code true} if it has at least one child, {@code false} otherwise.
* @apilevel high-level
*/
public boolean hasParameter() {
return getParameterList().getNumChild() != 0;
}
/**
* Append an element to the Parameter list.
* @param node The element to append to the Parameter list.
* @apilevel high-level
*/
public void addParameter(ParameterDeclaration node) {
List list = (parent == null) ? getParameterListNoTransform() : getParameterList();
list.addChild(node);
}
/** @apilevel low-level
*/
public void addParameterNoTransform(ParameterDeclaration node) {
List list = getParameterListNoTransform();
list.addChild(node);
}
/**
* Replaces the Parameter list element at index {@code i} with the new node {@code node}.
* @param node The new node to replace the old list element.
* @param i The list index of the node to be replaced.
* @apilevel high-level
*/
public void setParameter(ParameterDeclaration node, int i) {
List list = getParameterList();
list.setChild(node, i);
}
/**
* Retrieves the Parameter list.
* @return The node representing the Parameter list.
* @apilevel high-level
*/
@ASTNodeAnnotation.ListChild(name="Parameter")
public List getParameterList() {
List list = (List) getChild(1);
return list;
}
/**
* Retrieves the Parameter list.
* This method does not invoke AST transformations.
* @return The node representing the Parameter list.
* @apilevel low-level
*/
public List getParameterListNoTransform() {
return (List) getChildNoTransform(1);
}
/**
* @return the element at index {@code i} in the Parameter list without
* triggering rewrites.
*/
public ParameterDeclaration getParameterNoTransform(int i) {
return (ParameterDeclaration) getParameterListNoTransform().getChildNoTransform(i);
}
/**
* Retrieves the Parameter list.
* @return The node representing the Parameter list.
* @apilevel high-level
*/
public List getParameters() {
return getParameterList();
}
/**
* Retrieves the Parameter list.
* This method does not invoke AST transformations.
* @return The node representing the Parameter list.
* @apilevel low-level
*/
public List getParametersNoTransform() {
return getParameterListNoTransform();
}
/**
* Replaces the Exception list.
* @param list The new list node to be used as the Exception list.
* @apilevel high-level
*/
public void setExceptionList(List list) {
setChild(list, 2);
}
/**
* Retrieves the number of children in the Exception list.
* @return Number of children in the Exception list.
* @apilevel high-level
*/
public int getNumException() {
return getExceptionList().getNumChild();
}
/**
* Retrieves the number of children in the Exception list.
* Calling this method will not trigger rewrites.
* @return Number of children in the Exception list.
* @apilevel low-level
*/
public int getNumExceptionNoTransform() {
return getExceptionListNoTransform().getNumChildNoTransform();
}
/**
* Retrieves the element at index {@code i} in the Exception list.
* @param i Index of the element to return.
* @return The element at position {@code i} in the Exception list.
* @apilevel high-level
*/
public Access getException(int i) {
return (Access) getExceptionList().getChild(i);
}
/**
* Check whether the Exception list has any children.
* @return {@code true} if it has at least one child, {@code false} otherwise.
* @apilevel high-level
*/
public boolean hasException() {
return getExceptionList().getNumChild() != 0;
}
/**
* Append an element to the Exception list.
* @param node The element to append to the Exception list.
* @apilevel high-level
*/
public void addException(Access node) {
List list = (parent == null) ? getExceptionListNoTransform() : getExceptionList();
list.addChild(node);
}
/** @apilevel low-level
*/
public void addExceptionNoTransform(Access node) {
List list = getExceptionListNoTransform();
list.addChild(node);
}
/**
* Replaces the Exception list element at index {@code i} with the new node {@code node}.
* @param node The new node to replace the old list element.
* @param i The list index of the node to be replaced.
* @apilevel high-level
*/
public void setException(Access node, int i) {
List list = getExceptionList();
list.setChild(node, i);
}
/**
* Retrieves the Exception list.
* @return The node representing the Exception list.
* @apilevel high-level
*/
@ASTNodeAnnotation.ListChild(name="Exception")
public List getExceptionList() {
List list = (List) getChild(2);
return list;
}
/**
* Retrieves the Exception list.
* This method does not invoke AST transformations.
* @return The node representing the Exception list.
* @apilevel low-level
*/
public List getExceptionListNoTransform() {
return (List) getChildNoTransform(2);
}
/**
* @return the element at index {@code i} in the Exception list without
* triggering rewrites.
*/
public Access getExceptionNoTransform(int i) {
return (Access) getExceptionListNoTransform().getChildNoTransform(i);
}
/**
* Retrieves the Exception list.
* @return The node representing the Exception list.
* @apilevel high-level
*/
public List getExceptions() {
return getExceptionList();
}
/**
* Retrieves the Exception list.
* This method does not invoke AST transformations.
* @return The node representing the Exception list.
* @apilevel low-level
*/
public List getExceptionsNoTransform() {
return getExceptionListNoTransform();
}
/**
* Replaces the optional node for the ParsedConstructorInvocation child. This is the Opt
* node containing the child ParsedConstructorInvocation, not the actual child!
* @param opt The new node to be used as the optional node for the ParsedConstructorInvocation child.
* @apilevel low-level
*/
public void setParsedConstructorInvocationOpt(Opt opt) {
setChild(opt, 3);
}
/**
* Replaces the (optional) ParsedConstructorInvocation child.
* @param node The new node to be used as the ParsedConstructorInvocation child.
* @apilevel high-level
*/
public void setParsedConstructorInvocation(Stmt node) {
getParsedConstructorInvocationOpt().setChild(node, 0);
}
/**
* Check whether the optional ParsedConstructorInvocation child exists.
* @return {@code true} if the optional ParsedConstructorInvocation child exists, {@code false} if it does not.
* @apilevel high-level
*/
public boolean hasParsedConstructorInvocation() {
return getParsedConstructorInvocationOpt().getNumChild() != 0;
}
/**
* Retrieves the (optional) ParsedConstructorInvocation child.
* @return The ParsedConstructorInvocation child, if it exists. Returns {@code null} otherwise.
* @apilevel low-level
*/
public Stmt getParsedConstructorInvocation() {
return (Stmt) getParsedConstructorInvocationOpt().getChild(0);
}
/**
* Retrieves the optional node for the ParsedConstructorInvocation child. This is the Opt node containing the child ParsedConstructorInvocation, not the actual child!
* @return The optional node for child the ParsedConstructorInvocation child.
* @apilevel low-level
*/
@ASTNodeAnnotation.OptChild(name="ParsedConstructorInvocation")
public Opt getParsedConstructorInvocationOpt() {
return (Opt) getChild(3);
}
/**
* Retrieves the optional node for child ParsedConstructorInvocation. This is the Opt node containing the child ParsedConstructorInvocation, not the actual child!
* This method does not invoke AST transformations.
* @return The optional node for child ParsedConstructorInvocation.
* @apilevel low-level
*/
public Opt getParsedConstructorInvocationOptNoTransform() {
return (Opt) getChildNoTransform(3);
}
/**
* Replaces the Block child.
* @param node The new node to replace the Block child.
* @apilevel high-level
*/
public void setBlock(Block node) {
setChild(node, 4);
}
/**
* Retrieves the Block child.
* @return The current node used as the Block child.
* @apilevel high-level
*/
@ASTNodeAnnotation.Child(name="Block")
public Block getBlock() {
return (Block) getChild(4);
}
/**
* Retrieves the Block child.
* This method does not invoke AST transformations.
* @return The current node used as the Block child.
* @apilevel low-level
*/
public Block getBlockNoTransform() {
return (Block) getChildNoTransform(4);
}
/**
* Retrieves the ImplicitConstructorInvocation child.
* This method does not invoke AST transformations.
* @return The current node used as the ImplicitConstructorInvocation child.
* @apilevel low-level
*/
public Stmt getImplicitConstructorInvocationNoTransform() {
return (Stmt) getChildNoTransform(5);
}
/**
* Retrieves the child position of the optional child ImplicitConstructorInvocation.
* @return The the child position of the optional child ImplicitConstructorInvocation.
* @apilevel low-level
*/
protected int getImplicitConstructorInvocationChildPosition() {
return 5;
}
/**
* @aspect EnumsCodegen
* @declaredat /home/jesper/git/extendj/java5/backend/EnumsCodegen.jrag:289
*/
public void createBCode(CodeGeneration gen) {
if (transformed() != this) {
transformed().createBCode(gen);
} else {
refined_CreateBCode_ConstructorDecl_createBCode(gen);
}
}
/**
* @aspect ErrorCheck
* @declaredat /home/jesper/git/extendj/java4/frontend/ErrorCheck.jrag:320
*/
private boolean refined_ErrorCheck_ConstructorDecl_checkImplicitConstructorInvocation()
{ return !hasParsedConstructorInvocation() && !hostType().isObject(); }
/**
* @aspect Flags
* @declaredat /home/jesper/git/extendj/java4/backend/Flags.jrag:95
*/
private int refined_Flags_ConstructorDecl_flags()
{
int res = 0;
if (isPublic()) {
res |= Modifiers.ACC_PUBLIC;
}
if (isPrivate()) {
res |= Modifiers.ACC_PRIVATE;
}
if (isProtected()) {
res |= Modifiers.ACC_PROTECTED;
}
if (isSynthetic()) {
res |= Modifiers.ACC_SYNTHETIC;
}
return res;
}
/**
* @aspect Attributes
* @declaredat /home/jesper/git/extendj/java4/backend/Attributes.jrag:306
*/
private Collection refined_Attributes_ConstructorDecl_attributes()
{
Collection attributes = new ArrayList();
CodeGeneration bytecodes = bytecodes(hostType().constantPool());
attributes.add(new CodeAttribute(bytecodes, null));
if (getNumException() > 0) {
attributes.add(new ExceptionsAttribute(bytecodes, this));
}
if (getModifiers().isSynthetic()) {
attributes.add(new SyntheticAttribute(hostType().constantPool()));
}
return attributes;
}
/** @apilevel internal */
private void name_reset() {
name_computed = null;
name_value = null;
}
/** @apilevel internal */
protected ASTState.Cycle name_computed = null;
/** @apilevel internal */
protected String name_value;
/**
* @attribute syn
* @aspect ConstructorDecl
* @declaredat /home/jesper/git/extendj/java4/frontend/LookupConstructor.jrag:159
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="ConstructorDecl", declaredAt="/home/jesper/git/extendj/java4/frontend/LookupConstructor.jrag:159")
public String name() {
ASTState state = state();
if (name_computed == ASTState.NON_CYCLE || name_computed == state().cycle()) {
return name_value;
}
name_value = getID();
if (state().inCircle()) {
name_computed = state().cycle();
} else {
name_computed = ASTState.NON_CYCLE;
}
return name_value;
}
/** @apilevel internal */
private void signature_reset() {
signature_computed = null;
signature_value = null;
}
/** @apilevel internal */
protected ASTState.Cycle signature_computed = null;
/** @apilevel internal */
protected String signature_value;
/**
* @attribute syn
* @aspect ConstructorDecl
* @declaredat /home/jesper/git/extendj/java4/frontend/LookupConstructor.jrag:161
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="ConstructorDecl", declaredAt="/home/jesper/git/extendj/java4/frontend/LookupConstructor.jrag:161")
public String signature() {
ASTState state = state();
if (signature_computed == ASTState.NON_CYCLE || signature_computed == state().cycle()) {
return signature_value;
}
signature_value = signature_compute();
if (state().inCircle()) {
signature_computed = state().cycle();
} else {
signature_computed = ASTState.NON_CYCLE;
}
return signature_value;
}
/** @apilevel internal */
private String signature_compute() {
StringBuffer s = new StringBuffer();
s.append(name() + "(");
for (int i = 0; i < getNumParameter(); i++) {
s.append(getParameter(i).type().typeName());
if (i != getNumParameter() - 1) {
s.append(", ");
}
}
s.append(")");
return s.toString();
}
/** @apilevel internal */
private void sameSignature_ConstructorDecl_reset() {
sameSignature_ConstructorDecl_computed = null;
sameSignature_ConstructorDecl_values = null;
}
/** @apilevel internal */
protected java.util.Map sameSignature_ConstructorDecl_values;
/** @apilevel internal */
protected java.util.Map sameSignature_ConstructorDecl_computed;
/**
* @attribute syn
* @aspect ConstructorDecl
* @declaredat /home/jesper/git/extendj/java4/frontend/LookupConstructor.jrag:175
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="ConstructorDecl", declaredAt="/home/jesper/git/extendj/java4/frontend/LookupConstructor.jrag:175")
public boolean sameSignature(ConstructorDecl c) {
Object _parameters = c;
if (sameSignature_ConstructorDecl_computed == null) sameSignature_ConstructorDecl_computed = new java.util.HashMap(4);
if (sameSignature_ConstructorDecl_values == null) sameSignature_ConstructorDecl_values = new java.util.HashMap(4);
ASTState state = state();
if (sameSignature_ConstructorDecl_values.containsKey(_parameters)
&& sameSignature_ConstructorDecl_computed.containsKey(_parameters)
&& (sameSignature_ConstructorDecl_computed.get(_parameters) == ASTState.NON_CYCLE || sameSignature_ConstructorDecl_computed.get(_parameters) == state().cycle())) {
return (Boolean) sameSignature_ConstructorDecl_values.get(_parameters);
}
boolean sameSignature_ConstructorDecl_value = sameSignature_compute(c);
if (state().inCircle()) {
sameSignature_ConstructorDecl_values.put(_parameters, sameSignature_ConstructorDecl_value);
sameSignature_ConstructorDecl_computed.put(_parameters, state().cycle());
} else {
sameSignature_ConstructorDecl_values.put(_parameters, sameSignature_ConstructorDecl_value);
sameSignature_ConstructorDecl_computed.put(_parameters, ASTState.NON_CYCLE);
}
return sameSignature_ConstructorDecl_value;
}
/** @apilevel internal */
private boolean sameSignature_compute(ConstructorDecl c) {
if (!name().equals(c.name())) {
return false;
}
if (c.getNumParameter() != getNumParameter()) {
return false;
}
for (int i = 0; i < getNumParameter(); i++) {
if (!c.getParameter(i).type().equals(getParameter(i).type())) {
return false;
}
}
return true;
}
/**
* @attribute syn
* @aspect ConstructorDecl
* @declaredat /home/jesper/git/extendj/java4/frontend/LookupConstructor.jrag:190
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="ConstructorDecl", declaredAt="/home/jesper/git/extendj/java4/frontend/LookupConstructor.jrag:190")
public boolean moreSpecificThan(ConstructorDecl m) {
boolean moreSpecificThan_ConstructorDecl_value = m.lessSpecificThan(this) && !this.lessSpecificThan(m);
return moreSpecificThan_ConstructorDecl_value;
}
/** @apilevel internal */
private void lessSpecificThan_ConstructorDecl_reset() {
lessSpecificThan_ConstructorDecl_computed = null;
lessSpecificThan_ConstructorDecl_values = null;
}
/** @apilevel internal */
protected java.util.Map lessSpecificThan_ConstructorDecl_values;
/** @apilevel internal */
protected java.util.Map lessSpecificThan_ConstructorDecl_computed;
/**
* @attribute syn
* @aspect ConstructorDecl
* @declaredat /home/jesper/git/extendj/java4/frontend/LookupConstructor.jrag:193
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="ConstructorDecl", declaredAt="/home/jesper/git/extendj/java4/frontend/LookupConstructor.jrag:193")
public boolean lessSpecificThan(ConstructorDecl m) {
Object _parameters = m;
if (lessSpecificThan_ConstructorDecl_computed == null) lessSpecificThan_ConstructorDecl_computed = new java.util.HashMap(4);
if (lessSpecificThan_ConstructorDecl_values == null) lessSpecificThan_ConstructorDecl_values = new java.util.HashMap(4);
ASTState state = state();
if (lessSpecificThan_ConstructorDecl_values.containsKey(_parameters)
&& lessSpecificThan_ConstructorDecl_computed.containsKey(_parameters)
&& (lessSpecificThan_ConstructorDecl_computed.get(_parameters) == ASTState.NON_CYCLE || lessSpecificThan_ConstructorDecl_computed.get(_parameters) == state().cycle())) {
return (Boolean) lessSpecificThan_ConstructorDecl_values.get(_parameters);
}
boolean lessSpecificThan_ConstructorDecl_value = lessSpecificThan_compute(m);
if (state().inCircle()) {
lessSpecificThan_ConstructorDecl_values.put(_parameters, lessSpecificThan_ConstructorDecl_value);
lessSpecificThan_ConstructorDecl_computed.put(_parameters, state().cycle());
} else {
lessSpecificThan_ConstructorDecl_values.put(_parameters, lessSpecificThan_ConstructorDecl_value);
lessSpecificThan_ConstructorDecl_computed.put(_parameters, ASTState.NON_CYCLE);
}
return lessSpecificThan_ConstructorDecl_value;
}
/** @apilevel internal */
private boolean lessSpecificThan_compute(ConstructorDecl m) {
int numA = getNumParameter();
int numB = m.getNumParameter();
int num = Math.max(numA, numB);
for (int i = 0; i < num; i++) {
TypeDecl t1 = getParameter(Math.min(i, numA - 1)).type();
TypeDecl t2 = m.getParameter(Math.min(i, numB - 1)).type();
if (!t1.instanceOf(t2) && !t1.withinBounds(t2)) {
return true;
}
}
return false;
}
/**
* @return true if this is an auto-generated default constructor
* @attribute syn
* @aspect ImplicitConstructor
* @declaredat /home/jesper/git/extendj/java4/frontend/LookupConstructor.jrag:246
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="ImplicitConstructor", declaredAt="/home/jesper/git/extendj/java4/frontend/LookupConstructor.jrag:246")
public boolean isImplicitConstructor() {
boolean isImplicitConstructor_value = isImplicitConstructor;
return isImplicitConstructor_value;
}
/** @apilevel internal */
private void getImplicitConstructorInvocation_reset() {
getImplicitConstructorInvocation_computed = false;
getImplicitConstructorInvocation_value = null;
}
/** @apilevel internal */
protected boolean getImplicitConstructorInvocation_computed = false;
/** @apilevel internal */
protected Stmt getImplicitConstructorInvocation_value;
/**
* Nonterminal attribute for implicit constructor invocation.
* This is used when an explicit constructor invocation is missing
* in a constructor declaration.
*
* The implicit constructor invocation used to be inserted in the
* same node where the parsed constructor declaration was stored.
* This meant that it was impossible to distinguish a parsed constructor
* from an implicit one.
* @attribute syn nta
* @aspect ImplicitConstructor
* @declaredat /home/jesper/git/extendj/java4/frontend/LookupConstructor.jrag:353
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN, isNTA=true)
@ASTNodeAnnotation.Source(aspect="ImplicitConstructor", declaredAt="/home/jesper/git/extendj/java4/frontend/LookupConstructor.jrag:353")
public Stmt getImplicitConstructorInvocation() {
ASTState state = state();
if (getImplicitConstructorInvocation_computed) {
return (Stmt) getChild(getImplicitConstructorInvocationChildPosition());
}
state().enterLazyAttribute();
getImplicitConstructorInvocation_value = new ExprStmt(new SuperConstructorAccess("super", new List()));
setChild(getImplicitConstructorInvocation_value, getImplicitConstructorInvocationChildPosition());
getImplicitConstructorInvocation_computed = true;
state().leaveLazyAttribute();
Stmt node = (Stmt) this.getChild(getImplicitConstructorInvocationChildPosition());
return node;
}
/**
* Test if there is an explicit or implicit constructor invocation available.
* This should be false only if the host type is java.lang.Object.
* @return {@code true} if there is a constructor invocation.
* @attribute syn
* @aspect ImplicitConstructor
* @declaredat /home/jesper/git/extendj/java4/frontend/LookupConstructor.jrag:361
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="ImplicitConstructor", declaredAt="/home/jesper/git/extendj/java4/frontend/LookupConstructor.jrag:361")
public boolean hasConstructorInvocation() {
boolean hasConstructorInvocation_value = hasParsedConstructorInvocation() || !hostType().isObject();
return hasConstructorInvocation_value;
}
/**
* @attribute syn
* @aspect ImplicitConstructor
* @declaredat /home/jesper/git/extendj/java4/frontend/LookupConstructor.jrag:364
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="ImplicitConstructor", declaredAt="/home/jesper/git/extendj/java4/frontend/LookupConstructor.jrag:364")
public Stmt getConstructorInvocation() {
{
if (hasParsedConstructorInvocation()) {
return getParsedConstructorInvocation();
} else {
return getImplicitConstructorInvocation();
}
}
}
/**
* @attribute syn
* @aspect NameCheck
* @declaredat /home/jesper/git/extendj/java4/frontend/NameCheck.jrag:106
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="NameCheck", declaredAt="/home/jesper/git/extendj/java4/frontend/NameCheck.jrag:106")
public Collection nameProblems() {
{
Collection problems = new LinkedList();
// 8.8
if (!hostType().name().equals(name())) {
problems.add(errorf(
"constructor %s does not have the same name as the simple name of the host class %s",
name(), hostType().name()));
}
// 8.8.2
if (hostType().lookupConstructor(this) != this) {
problems.add(errorf("constructor with signature %s is multiply declared in type %s",
signature(), hostType().typeName()));
}
if (circularThisInvocation(this)) {
problems.add(errorf("The constructor %s may not directly or indirectly invoke itself",
signature()));
}
return problems;
}
}
/** @apilevel internal */
private void circularThisInvocation_ConstructorDecl_reset() {
circularThisInvocation_ConstructorDecl_computed = null;
circularThisInvocation_ConstructorDecl_values = null;
}
/** @apilevel internal */
protected java.util.Map circularThisInvocation_ConstructorDecl_values;
/** @apilevel internal */
protected java.util.Map circularThisInvocation_ConstructorDecl_computed;
/**
* @return {@code true} if this constructor (possibly indirectly) calls the given constructor.
* @attribute syn
* @aspect NameCheck
* @declaredat /home/jesper/git/extendj/java4/frontend/NameCheck.jrag:131
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="NameCheck", declaredAt="/home/jesper/git/extendj/java4/frontend/NameCheck.jrag:131")
public boolean circularThisInvocation(ConstructorDecl decl) {
Object _parameters = decl;
if (circularThisInvocation_ConstructorDecl_computed == null) circularThisInvocation_ConstructorDecl_computed = new java.util.HashMap(4);
if (circularThisInvocation_ConstructorDecl_values == null) circularThisInvocation_ConstructorDecl_values = new java.util.HashMap(4);
ASTState state = state();
if (circularThisInvocation_ConstructorDecl_values.containsKey(_parameters)
&& circularThisInvocation_ConstructorDecl_computed.containsKey(_parameters)
&& (circularThisInvocation_ConstructorDecl_computed.get(_parameters) == ASTState.NON_CYCLE || circularThisInvocation_ConstructorDecl_computed.get(_parameters) == state().cycle())) {
return (Boolean) circularThisInvocation_ConstructorDecl_values.get(_parameters);
}
boolean circularThisInvocation_ConstructorDecl_value = circularThisInvocation_compute(decl);
if (state().inCircle()) {
circularThisInvocation_ConstructorDecl_values.put(_parameters, circularThisInvocation_ConstructorDecl_value);
circularThisInvocation_ConstructorDecl_computed.put(_parameters, state().cycle());
} else {
circularThisInvocation_ConstructorDecl_values.put(_parameters, circularThisInvocation_ConstructorDecl_value);
circularThisInvocation_ConstructorDecl_computed.put(_parameters, ASTState.NON_CYCLE);
}
return circularThisInvocation_ConstructorDecl_value;
}
/** @apilevel internal */
private boolean circularThisInvocation_compute(ConstructorDecl decl) {
if (hasConstructorInvocation()) {
Expr e = ((ExprStmt) getConstructorInvocation()).getExpr();
if (e instanceof ConstructorAccess) {
ConstructorDecl constructorDecl = ((ConstructorAccess) e).decl();
if (constructorDecl == decl) {
return true;
}
return constructorDecl.circularThisInvocation(decl);
}
}
return false;
}
/**
* @attribute syn
* @aspect TypeAnalysis
* @declaredat /home/jesper/git/extendj/java4/frontend/TypeAnalysis.jrag:289
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="TypeAnalysis", declaredAt="/home/jesper/git/extendj/java4/frontend/TypeAnalysis.jrag:289")
public TypeDecl type() {
TypeDecl type_value = unknownType();
return type_value;
}
/**
* @attribute syn
* @aspect TypeAnalysis
* @declaredat /home/jesper/git/extendj/java4/frontend/TypeAnalysis.jrag:292
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="TypeAnalysis", declaredAt="/home/jesper/git/extendj/java4/frontend/TypeAnalysis.jrag:292")
public boolean isVoid() {
boolean isVoid_value = true;
return isVoid_value;
}
/**
* @attribute syn
* @aspect TypeCheck
* @declaredat /home/jesper/git/extendj/java4/frontend/TypeCheck.jrag:566
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="TypeCheck", declaredAt="/home/jesper/git/extendj/java4/frontend/TypeCheck.jrag:566")
public Collection typeProblems() {
{
Collection problems = new LinkedList();
// 8.8.4 (8.4.4)
TypeDecl exceptionType = typeThrowable();
for (int i = 0; i < getNumException(); i++) {
TypeDecl typeDecl = getException(i).type();
if (!typeDecl.instanceOf(exceptionType)) {
problems.add(errorf("%s throws non throwable type %s", signature(), typeDecl.fullName()));
}
}
return problems;
}
}
/**
* @attribute syn
* @aspect PrettyPrintUtil
* @declaredat /home/jesper/git/extendj/java4/frontend/PrettyPrintUtil.jrag:248
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="PrettyPrintUtil", declaredAt="/home/jesper/git/extendj/java4/frontend/PrettyPrintUtil.jrag:248")
public boolean hasModifiers() {
boolean hasModifiers_value = getModifiers().getNumModifier() > 0;
return hasModifiers_value;
}
/**
* @attribute syn
* @aspect PrettyPrintUtil
* @declaredat /home/jesper/git/extendj/java4/frontend/PrettyPrintUtil.jrag:258
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="PrettyPrintUtil", declaredAt="/home/jesper/git/extendj/java4/frontend/PrettyPrintUtil.jrag:258")
public boolean hasExceptions() {
boolean hasExceptions_value = getNumException() > 0;
return hasExceptions_value;
}
/**
* @attribute syn
* @aspect PrettyPrintUtil
* @declaredat /home/jesper/git/extendj/java4/frontend/PrettyPrintUtil.jrag:260
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="PrettyPrintUtil", declaredAt="/home/jesper/git/extendj/java4/frontend/PrettyPrintUtil.jrag:260")
public List blockStmts() {
List blockStmts_value = getBlock().getStmtList();
return blockStmts_value;
}
/** @apilevel internal */
private void throwsException_TypeDecl_reset() {
throwsException_TypeDecl_computed = null;
throwsException_TypeDecl_values = null;
}
/** @apilevel internal */
protected java.util.Map throwsException_TypeDecl_values;
/** @apilevel internal */
protected java.util.Map throwsException_TypeDecl_computed;
/**
* @attribute syn
* @aspect ExceptionHandling
* @declaredat /home/jesper/git/extendj/java4/frontend/ExceptionHandling.jrag:222
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="ExceptionHandling", declaredAt="/home/jesper/git/extendj/java4/frontend/ExceptionHandling.jrag:222")
public boolean throwsException(TypeDecl exceptionType) {
Object _parameters = exceptionType;
if (throwsException_TypeDecl_computed == null) throwsException_TypeDecl_computed = new java.util.HashMap(4);
if (throwsException_TypeDecl_values == null) throwsException_TypeDecl_values = new java.util.HashMap(4);
ASTState state = state();
if (throwsException_TypeDecl_values.containsKey(_parameters)
&& throwsException_TypeDecl_computed.containsKey(_parameters)
&& (throwsException_TypeDecl_computed.get(_parameters) == ASTState.NON_CYCLE || throwsException_TypeDecl_computed.get(_parameters) == state().cycle())) {
return (Boolean) throwsException_TypeDecl_values.get(_parameters);
}
boolean throwsException_TypeDecl_value = throwsException_compute(exceptionType);
if (state().inCircle()) {
throwsException_TypeDecl_values.put(_parameters, throwsException_TypeDecl_value);
throwsException_TypeDecl_computed.put(_parameters, state().cycle());
} else {
throwsException_TypeDecl_values.put(_parameters, throwsException_TypeDecl_value);
throwsException_TypeDecl_computed.put(_parameters, ASTState.NON_CYCLE);
}
return throwsException_TypeDecl_value;
}
/** @apilevel internal */
private boolean throwsException_compute(TypeDecl exceptionType) {
for (Access exception : getExceptionList()) {
if (exceptionType.instanceOf(exception.type())) {
return true;
}
}
return false;
}
/** @apilevel internal */
private void accessibleFrom_TypeDecl_reset() {
accessibleFrom_TypeDecl_computed = null;
accessibleFrom_TypeDecl_values = null;
}
/** @apilevel internal */
protected java.util.Map accessibleFrom_TypeDecl_values;
/** @apilevel internal */
protected java.util.Map accessibleFrom_TypeDecl_computed;
/**
* @attribute syn
* @aspect AccessControl
* @declaredat /home/jesper/git/extendj/java4/frontend/AccessControl.jrag:122
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="AccessControl", declaredAt="/home/jesper/git/extendj/java4/frontend/AccessControl.jrag:122")
public boolean accessibleFrom(TypeDecl type) {
Object _parameters = type;
if (accessibleFrom_TypeDecl_computed == null) accessibleFrom_TypeDecl_computed = new java.util.HashMap(4);
if (accessibleFrom_TypeDecl_values == null) accessibleFrom_TypeDecl_values = new java.util.HashMap(4);
ASTState state = state();
if (accessibleFrom_TypeDecl_values.containsKey(_parameters)
&& accessibleFrom_TypeDecl_computed.containsKey(_parameters)
&& (accessibleFrom_TypeDecl_computed.get(_parameters) == ASTState.NON_CYCLE || accessibleFrom_TypeDecl_computed.get(_parameters) == state().cycle())) {
return (Boolean) accessibleFrom_TypeDecl_values.get(_parameters);
}
boolean accessibleFrom_TypeDecl_value = accessibleFrom_compute(type);
if (state().inCircle()) {
accessibleFrom_TypeDecl_values.put(_parameters, accessibleFrom_TypeDecl_value);
accessibleFrom_TypeDecl_computed.put(_parameters, state().cycle());
} else {
accessibleFrom_TypeDecl_values.put(_parameters, accessibleFrom_TypeDecl_value);
accessibleFrom_TypeDecl_computed.put(_parameters, ASTState.NON_CYCLE);
}
return accessibleFrom_TypeDecl_value;
}
/** @apilevel internal */
private boolean accessibleFrom_compute(TypeDecl type) {
if (!hostType().accessibleFrom(type)) {
return false;
} else if (isPublic()) {
return true;
} else if (isProtected()) {
return true;
} else if (isPrivate()) {
return hostType().topLevelType() == type.topLevelType();
} else {
return hostPackage().equals(type.hostPackage());
}
}
/**
* Attribute to determine if the implicit constructor invocation should
* be checked for semantic errors.
*
* @return {@code true} if this constructor declaration has an implicit
* constructor invocation
* @attribute syn
* @aspect ErrorCheck
* @declaredat /home/jesper/git/extendj/java4/frontend/ErrorCheck.jrag:320
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="ErrorCheck", declaredAt="/home/jesper/git/extendj/java4/frontend/ErrorCheck.jrag:320")
public boolean checkImplicitConstructorInvocation() {
boolean checkImplicitConstructorInvocation_value = !isOriginalEnumConstructor() && refined_ErrorCheck_ConstructorDecl_checkImplicitConstructorInvocation();
return checkImplicitConstructorInvocation_value;
}
/**
* Safe parameter type access.
*
* @return the type of the parameter at the given index, or
* UnknownType if there is not parameter at the given index.
* @attribute syn
* @aspect LookupMethod
* @declaredat /home/jesper/git/extendj/java4/frontend/LookupMethod.jrag:72
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="LookupMethod", declaredAt="/home/jesper/git/extendj/java4/frontend/LookupMethod.jrag:72")
public TypeDecl paramType(int index) {
TypeDecl paramType_int_value = index >= 0 && index < getNumParameter()
? getParameter(index).type()
: unknownType();
return paramType_int_value;
}
/** @apilevel internal */
private void assignedAfter_Variable_reset() {
assignedAfter_Variable_values = null;
}
protected java.util.Map assignedAfter_Variable_values;
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN, isCircular=true)
@ASTNodeAnnotation.Source(aspect="DefiniteAssignment", declaredAt="/home/jesper/git/extendj/java4/frontend/DefiniteAssignment.jrag:272")
public boolean assignedAfter(Variable v) {
Object _parameters = v;
if (assignedAfter_Variable_values == null) assignedAfter_Variable_values = new java.util.HashMap(4);
ASTState.CircularValue _value;
if (assignedAfter_Variable_values.containsKey(_parameters)) {
Object _cache = assignedAfter_Variable_values.get(_parameters);
if (!(_cache instanceof ASTState.CircularValue)) {
return (Boolean) _cache;
} else {
_value = (ASTState.CircularValue) _cache;
}
} else {
_value = new ASTState.CircularValue();
assignedAfter_Variable_values.put(_parameters, _value);
_value.value = true;
}
ASTState state = state();
if (!state.inCircle() || state.calledByLazyAttribute()) {
state.enterCircle();
boolean new_assignedAfter_Variable_value;
do {
_value.cycle = state.nextCycle();
new_assignedAfter_Variable_value = getBlock().assignedAfter(v) && getBlock().assignedAfterReturn(v);
if (((Boolean)_value.value) != new_assignedAfter_Variable_value) {
state.setChangeInCycle();
_value.value = new_assignedAfter_Variable_value;
}
} while (state.testAndClearChangeInCycle());
assignedAfter_Variable_values.put(_parameters, new_assignedAfter_Variable_value);
state.leaveCircle();
return new_assignedAfter_Variable_value;
} else if (_value.cycle != state.cycle()) {
_value.cycle = state.cycle();
boolean new_assignedAfter_Variable_value = getBlock().assignedAfter(v) && getBlock().assignedAfterReturn(v);
if (((Boolean)_value.value) != new_assignedAfter_Variable_value) {
state.setChangeInCycle();
_value.value = new_assignedAfter_Variable_value;
}
return new_assignedAfter_Variable_value;
} else {
return (Boolean) _value.value;
}
}
/** @apilevel internal */
private void unassignedAfter_Variable_reset() {
unassignedAfter_Variable_values = null;
}
protected java.util.Map unassignedAfter_Variable_values;
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN, isCircular=true)
@ASTNodeAnnotation.Source(aspect="DefiniteUnassignment", declaredAt="/home/jesper/git/extendj/java4/frontend/DefiniteAssignment.jrag:911")
public boolean unassignedAfter(Variable v) {
Object _parameters = v;
if (unassignedAfter_Variable_values == null) unassignedAfter_Variable_values = new java.util.HashMap(4);
ASTState.CircularValue _value;
if (unassignedAfter_Variable_values.containsKey(_parameters)) {
Object _cache = unassignedAfter_Variable_values.get(_parameters);
if (!(_cache instanceof ASTState.CircularValue)) {
return (Boolean) _cache;
} else {
_value = (ASTState.CircularValue) _cache;
}
} else {
_value = new ASTState.CircularValue();
unassignedAfter_Variable_values.put(_parameters, _value);
_value.value = true;
}
ASTState state = state();
if (!state.inCircle() || state.calledByLazyAttribute()) {
state.enterCircle();
boolean new_unassignedAfter_Variable_value;
do {
_value.cycle = state.nextCycle();
new_unassignedAfter_Variable_value = getBlock().unassignedAfter(v) && getBlock().unassignedAfterReturn(v);
if (((Boolean)_value.value) != new_unassignedAfter_Variable_value) {
state.setChangeInCycle();
_value.value = new_unassignedAfter_Variable_value;
}
} while (state.testAndClearChangeInCycle());
unassignedAfter_Variable_values.put(_parameters, new_unassignedAfter_Variable_value);
state.leaveCircle();
return new_unassignedAfter_Variable_value;
} else if (_value.cycle != state.cycle()) {
_value.cycle = state.cycle();
boolean new_unassignedAfter_Variable_value = getBlock().unassignedAfter(v) && getBlock().unassignedAfterReturn(v);
if (((Boolean)_value.value) != new_unassignedAfter_Variable_value) {
state.setChangeInCycle();
_value.value = new_unassignedAfter_Variable_value;
}
return new_unassignedAfter_Variable_value;
} else {
return (Boolean) _value.value;
}
}
/** @apilevel internal */
private void parameterDeclaration_String_reset() {
parameterDeclaration_String_computed = null;
parameterDeclaration_String_values = null;
}
/** @apilevel internal */
protected java.util.Map parameterDeclaration_String_values;
/** @apilevel internal */
protected java.util.Map parameterDeclaration_String_computed;
/**
* @attribute syn
* @aspect VariableScope
* @declaredat /home/jesper/git/extendj/java4/frontend/LookupVariable.jrag:183
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="VariableScope", declaredAt="/home/jesper/git/extendj/java4/frontend/LookupVariable.jrag:183")
public SimpleSet parameterDeclaration(String name) {
Object _parameters = name;
if (parameterDeclaration_String_computed == null) parameterDeclaration_String_computed = new java.util.HashMap(4);
if (parameterDeclaration_String_values == null) parameterDeclaration_String_values = new java.util.HashMap(4);
ASTState state = state();
if (parameterDeclaration_String_values.containsKey(_parameters)
&& parameterDeclaration_String_computed.containsKey(_parameters)
&& (parameterDeclaration_String_computed.get(_parameters) == ASTState.NON_CYCLE || parameterDeclaration_String_computed.get(_parameters) == state().cycle())) {
return (SimpleSet) parameterDeclaration_String_values.get(_parameters);
}
SimpleSet parameterDeclaration_String_value = parameterDeclaration_compute(name);
if (state().inCircle()) {
parameterDeclaration_String_values.put(_parameters, parameterDeclaration_String_value);
parameterDeclaration_String_computed.put(_parameters, state().cycle());
} else {
parameterDeclaration_String_values.put(_parameters, parameterDeclaration_String_value);
parameterDeclaration_String_computed.put(_parameters, ASTState.NON_CYCLE);
}
return parameterDeclaration_String_value;
}
/** @apilevel internal */
private SimpleSet parameterDeclaration_compute(String name) {
for (int i = 0; i < getNumParameter(); i++) {
if (getParameter(i).name().equals(name)) {
return (ParameterDeclaration) getParameter(i);
}
}
return emptySet();
}
/**
* @attribute syn
* @aspect Modifiers
* @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:252
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="Modifiers", declaredAt="/home/jesper/git/extendj/java4/frontend/Modifiers.jrag:252")
public boolean isSynthetic() {
boolean isSynthetic_value = getModifiers().isSynthetic();
return isSynthetic_value;
}
/**
* @attribute syn
* @aspect Modifiers
* @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:271
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="Modifiers", declaredAt="/home/jesper/git/extendj/java4/frontend/Modifiers.jrag:271")
public boolean isPublic() {
boolean isPublic_value = getModifiers().isPublic();
return isPublic_value;
}
/**
* @attribute syn
* @aspect Modifiers
* @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:272
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="Modifiers", declaredAt="/home/jesper/git/extendj/java4/frontend/Modifiers.jrag:272")
public boolean isPrivate() {
boolean isPrivate_value = getModifiers().isPrivate();
return isPrivate_value;
}
/**
* @attribute syn
* @aspect Modifiers
* @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:273
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="Modifiers", declaredAt="/home/jesper/git/extendj/java4/frontend/Modifiers.jrag:273")
public boolean isProtected() {
boolean isProtected_value = getModifiers().isProtected();
return isProtected_value;
}
/** @apilevel internal */
private void transformed_reset() {
transformed_computed = null;
transformed_value = null;
}
/** @apilevel internal */
protected ASTState.Cycle transformed_computed = null;
/** @apilevel internal */
protected ConstructorDecl transformed_value;
/**
* @attribute syn
* @aspect Enums
* @declaredat /home/jesper/git/extendj/java5/frontend/Enums.jrag:141
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="Enums", declaredAt="/home/jesper/git/extendj/java5/frontend/Enums.jrag:141")
public ConstructorDecl transformed() {
ASTState state = state();
if (transformed_computed == ASTState.NON_CYCLE || transformed_computed == state().cycle()) {
return transformed_value;
}
transformed_value = transformed_compute();
if (state().inCircle()) {
transformed_computed = state().cycle();
} else {
transformed_computed = ASTState.NON_CYCLE;
}
return transformed_value;
}
/** @apilevel internal */
private ConstructorDecl transformed_compute() {
if (isOriginalEnumConstructor()) {
return transformedEnumConstructor();
} else {
return this;
}
}
/** @apilevel internal */
private void transformedEnumConstructor_reset() {
transformedEnumConstructor_computed = false;
transformedEnumConstructor_value = null;
}
/** @apilevel internal */
protected boolean transformedEnumConstructor_computed = false;
/** @apilevel internal */
protected ConstructorDecl transformedEnumConstructor_value;
/**
* @attribute syn
* @aspect Enums
* @declaredat /home/jesper/git/extendj/java5/frontend/Enums.jrag:149
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN, isNTA=true)
@ASTNodeAnnotation.Source(aspect="Enums", declaredAt="/home/jesper/git/extendj/java5/frontend/Enums.jrag:149")
public ConstructorDecl transformedEnumConstructor() {
ASTState state = state();
if (transformedEnumConstructor_computed) {
return transformedEnumConstructor_value;
}
state().enterLazyAttribute();
transformedEnumConstructor_value = transformedEnumConstructor_compute();
transformedEnumConstructor_value.setParent(this);
transformedEnumConstructor_computed = true;
state().leaveLazyAttribute();
return transformedEnumConstructor_value;
}
/** @apilevel internal */
private ConstructorDecl transformedEnumConstructor_compute() {
List parameters = new List();
parameters.add(new ParameterDeclaration(new TypeAccess("java.lang", "String"), "@p0"));
parameters.add(new ParameterDeclaration(new TypeAccess("int"), "@p1"));
for (ParameterDeclaration param : getParameterList()) {
parameters.add(param.treeCopyNoTransform());
}
ConstructorAccess constructorInvocation;
List args = new List();
args.add(new VarAccess("@p0"));
args.add(new VarAccess("@p1"));
if (hasParsedConstructorInvocation()) {
ExprStmt invocation = (ExprStmt) getParsedConstructorInvocation();
ConstructorAccess access = (ConstructorAccess) invocation.getExpr();
for (Expr arg : access.getArgList()) {
args.add(arg.treeCopyNoTransform());
}
if (access instanceof SuperConstructorAccess) {
constructorInvocation = new SuperConstructorAccess("super", args);
} else {
constructorInvocation = new ConstructorAccess(access.getID(), args);
}
} else {
constructorInvocation = new SuperConstructorAccess("super", args);
}
return new ConstructorDecl(
getModifiers().treeCopyNoTransform(),
getID(),
parameters,
getExceptionList().treeCopyNoTransform(),
new Opt(new ExprStmt(constructorInvocation)),
getBlock().treeCopyNoTransform());
}
/**
* Check if the enum constructor has an incorrect access modifier
* @attribute syn
* @aspect Enums
* @declaredat /home/jesper/git/extendj/java5/frontend/Enums.jrag:594
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="Enums", declaredAt="/home/jesper/git/extendj/java5/frontend/Enums.jrag:594")
public Collection enumProblems() {
{
Collection problems = new LinkedList();
if (hostType().isEnumDecl()) {
if (isPublic()) {
problems.add(error("enum constructors can not be declared public"));
} else if (isProtected()) {
problems.add(error("enum constructors can not be declared public"));
}
if (hasParsedConstructorInvocation()) {
ExprStmt invocation = (ExprStmt) getParsedConstructorInvocation();
if (invocation.getExpr() instanceof SuperConstructorAccess) {
problems.add(error("can not call super() in enum constructor"));
}
}
}
return problems;
}
}
/**
* @attribute syn
* @aspect Annotations
* @declaredat /home/jesper/git/extendj/java5/frontend/Annotations.jrag:428
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="Annotations", declaredAt="/home/jesper/git/extendj/java5/frontend/Annotations.jrag:428")
public boolean hasAnnotationSuppressWarnings(String annot) {
boolean hasAnnotationSuppressWarnings_String_value = getModifiers().hasAnnotationSuppressWarnings(annot);
return hasAnnotationSuppressWarnings_String_value;
}
/**
* @attribute syn
* @aspect Annotations
* @declaredat /home/jesper/git/extendj/java5/frontend/Annotations.jrag:487
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="Annotations", declaredAt="/home/jesper/git/extendj/java5/frontend/Annotations.jrag:487")
public boolean isDeprecated() {
boolean isDeprecated_value = getModifiers().hasDeprecatedAnnotation();
return isDeprecated_value;
}
/**
* @attribute syn
* @aspect VariableArityParameters
* @declaredat /home/jesper/git/extendj/java5/frontend/VariableArityParameters.jrag:56
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="VariableArityParameters", declaredAt="/home/jesper/git/extendj/java5/frontend/VariableArityParameters.jrag:56")
public boolean isVariableArity() {
boolean isVariableArity_value = getNumParameter() == 0 ? false : getParameter(getNumParameter() - 1).isVariableArity();
return isVariableArity_value;
}
/**
* @attribute syn
* @aspect VariableArityParameters
* @declaredat /home/jesper/git/extendj/java5/frontend/VariableArityParameters.jrag:95
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="VariableArityParameters", declaredAt="/home/jesper/git/extendj/java5/frontend/VariableArityParameters.jrag:95")
public ParameterDeclaration lastParameter() {
ParameterDeclaration lastParameter_value = getParameter(getNumParameter() - 1);
return lastParameter_value;
}
/**
* @attribute syn
* @aspect LookupParTypeDecl
* @declaredat /home/jesper/git/extendj/java5/frontend/Generics.jrag:1715
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="LookupParTypeDecl", declaredAt="/home/jesper/git/extendj/java5/frontend/Generics.jrag:1715")
public boolean isSubstitutable() {
boolean isSubstitutable_value = true;
return isSubstitutable_value;
}
/** @apilevel internal */
private void sourceConstructorDecl_reset() {
sourceConstructorDecl_computed = null;
sourceConstructorDecl_value = null;
}
/** @apilevel internal */
protected ASTState.Cycle sourceConstructorDecl_computed = null;
/** @apilevel internal */
protected ConstructorDecl sourceConstructorDecl_value;
/**
* @attribute syn
* @aspect SourceDeclarations
* @declaredat /home/jesper/git/extendj/java5/frontend/Generics.jrag:1891
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="SourceDeclarations", declaredAt="/home/jesper/git/extendj/java5/frontend/Generics.jrag:1891")
public ConstructorDecl sourceConstructorDecl() {
ASTState state = state();
if (sourceConstructorDecl_computed == ASTState.NON_CYCLE || sourceConstructorDecl_computed == state().cycle()) {
return sourceConstructorDecl_value;
}
sourceConstructorDecl_value = this;
if (state().inCircle()) {
sourceConstructorDecl_computed = state().cycle();
} else {
sourceConstructorDecl_computed = ASTState.NON_CYCLE;
}
return sourceConstructorDecl_value;
}
/**
* @attribute syn
* @aspect MethodSignature15
* @declaredat /home/jesper/git/extendj/java5/frontend/MethodSignature.jrag:246
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="MethodSignature15", declaredAt="/home/jesper/git/extendj/java5/frontend/MethodSignature.jrag:246")
public boolean applicableBySubtyping(List argList) {
{
if (getNumParameter() != argList.getNumChild()) {
return false;
}
for (int i = 0; i < getNumParameter(); i++) {
TypeDecl arg = argList.getChild(i).type();
TypeDecl param = getParameter(i).type();
if (!arg.subtype(param)) {
return false;
}
}
return true;
}
}
/**
* @attribute syn
* @aspect MethodSignature15
* @declaredat /home/jesper/git/extendj/java5/frontend/MethodSignature.jrag:272
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="MethodSignature15", declaredAt="/home/jesper/git/extendj/java5/frontend/MethodSignature.jrag:272")
public boolean applicableByMethodInvocationConversion(List argList) {
{
if (getNumParameter() != argList.getNumChild()) {
return false;
}
for (int i = 0; i < getNumParameter(); i++) {
TypeDecl arg = argList.getChild(i).type();
if (!arg.methodInvocationConversionTo(getParameter(i).type())) {
return false;
}
}
return true;
}
}
/**
* @attribute syn
* @aspect MethodSignature15
* @declaredat /home/jesper/git/extendj/java5/frontend/MethodSignature.jrag:300
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="MethodSignature15", declaredAt="/home/jesper/git/extendj/java5/frontend/MethodSignature.jrag:300")
public boolean applicableVariableArity(List argList) {
{
for (int i = 0; i < getNumParameter() - 1; i++) {
TypeDecl arg = ((Expr) argList.getChild(i)).type();
if (!arg.methodInvocationConversionTo(getParameter(i).type())) {
return false;
}
}
for (int i = getNumParameter() - 1; i < argList.getNumChild(); i++) {
TypeDecl arg = ((Expr) argList.getChild(i)).type();
if (!arg.methodInvocationConversionTo(lastParameter().type().componentType())) {
return false;
}
}
return true;
}
}
/**
* Note: isGeneric must be called first to check if this declaration is generic.
* Otherwise this attribute will throw an error!
* @return original generic declaration of this constructor.
* @attribute syn
* @aspect MethodSignature15
* @declaredat /home/jesper/git/extendj/java5/frontend/MethodSignature.jrag:342
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="MethodSignature15", declaredAt="/home/jesper/git/extendj/java5/frontend/MethodSignature.jrag:342")
public GenericConstructorDecl genericDecl() {
{
throw new Error("can not evaulate generic declaration of non-generic constructor");
}
}
/**
* @attribute syn
* @aspect MethodSignature15
* @declaredat /home/jesper/git/extendj/java5/frontend/MethodSignature.jrag:516
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="MethodSignature15", declaredAt="/home/jesper/git/extendj/java5/frontend/MethodSignature.jrag:516")
public boolean potentiallyApplicable(List argList) {
{
if (isVariableArity() && !(argList.getNumChild() >= arity()-1)) {
return false;
}
if (!isVariableArity() && !(arity() == argList.getNumChild())) {
return false;
}
return true;
}
}
/**
* @attribute syn
* @aspect MethodSignature15
* @declaredat /home/jesper/git/extendj/java5/frontend/MethodSignature.jrag:526
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="MethodSignature15", declaredAt="/home/jesper/git/extendj/java5/frontend/MethodSignature.jrag:526")
public int arity() {
int arity_value = getNumParameter();
return arity_value;
}
/**
* @attribute syn
* @aspect GenerateClassfile
* @declaredat /home/jesper/git/extendj/java4/backend/GenerateClassfile.jrag:447
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="GenerateClassfile", declaredAt="/home/jesper/git/extendj/java4/backend/GenerateClassfile.jrag:447")
public boolean isMethodOrConstructor() {
boolean isMethodOrConstructor_value = true;
return isMethodOrConstructor_value;
}
/** @apilevel internal */
private void bytecodes_ConstantPool_reset() {
bytecodes_ConstantPool_computed = null;
bytecodes_ConstantPool_values = null;
}
/** @apilevel internal */
protected java.util.Map bytecodes_ConstantPool_values;
/** @apilevel internal */
protected java.util.Map bytecodes_ConstantPool_computed;
/**
* @attribute syn
* @aspect CreateBCode
* @declaredat /home/jesper/git/extendj/java4/backend/CreateBCode.jrag:153
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="CreateBCode", declaredAt="/home/jesper/git/extendj/java4/backend/CreateBCode.jrag:153")
public CodeGeneration bytecodes(ConstantPool constantPool) {
Object _parameters = constantPool;
if (bytecodes_ConstantPool_computed == null) bytecodes_ConstantPool_computed = new java.util.HashMap(4);
if (bytecodes_ConstantPool_values == null) bytecodes_ConstantPool_values = new java.util.HashMap(4);
ASTState state = state();
if (bytecodes_ConstantPool_values.containsKey(_parameters)
&& bytecodes_ConstantPool_computed.containsKey(_parameters)
&& (bytecodes_ConstantPool_computed.get(_parameters) == ASTState.NON_CYCLE || bytecodes_ConstantPool_computed.get(_parameters) == state().cycle())) {
return (CodeGeneration) bytecodes_ConstantPool_values.get(_parameters);
}
CodeGeneration bytecodes_ConstantPool_value = bytecodes_compute(constantPool);
if (state().inCircle()) {
bytecodes_ConstantPool_values.put(_parameters, bytecodes_ConstantPool_value);
bytecodes_ConstantPool_computed.put(_parameters, state().cycle());
} else {
bytecodes_ConstantPool_values.put(_parameters, bytecodes_ConstantPool_value);
bytecodes_ConstantPool_computed.put(_parameters, ASTState.NON_CYCLE);
}
return bytecodes_ConstantPool_value;
}
/** @apilevel internal */
private CodeGeneration bytecodes_compute(ConstantPool constantPool) {
CodeGeneration gen = new CodeGeneration(constantPool, this);
try {
generateBytecodes(gen);
} catch (CodeGeneration.JumpOffsetError e) {
// Retry with wide gotos.
gen = new CodeGeneration(constantPool, this, true);
generateBytecodes(gen);
} catch (Error e) {
System.err.println("Error while processing " + sourceLocation());
throw e;
}
return gen;
}
/**
* The constructor that is called in bytecode.
* @attribute syn
* @aspect CreateBCode
* @declaredat /home/jesper/git/extendj/java4/backend/CreateBCode.jrag:948
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="CreateBCode", declaredAt="/home/jesper/git/extendj/java4/backend/CreateBCode.jrag:948")
public ConstructorDecl bytecodeTarget() {
ConstructorDecl bytecodeTarget_value = this;
return bytecodeTarget_value;
}
/** @apilevel internal */
private void offsetBeforeParameters_reset() {
offsetBeforeParameters_computed = null;
}
/** @apilevel internal */
protected ASTState.Cycle offsetBeforeParameters_computed = null;
/** @apilevel internal */
protected int offsetBeforeParameters_value;
/**
* @attribute syn
* @aspect LocalNum
* @declaredat /home/jesper/git/extendj/java4/backend/LocalNum.jrag:112
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="LocalNum", declaredAt="/home/jesper/git/extendj/java4/backend/LocalNum.jrag:112")
public int offsetBeforeParameters() {
ASTState state = state();
if (offsetBeforeParameters_computed == ASTState.NON_CYCLE || offsetBeforeParameters_computed == state().cycle()) {
return offsetBeforeParameters_value;
}
offsetBeforeParameters_value = offsetBeforeParameters_compute();
if (state().inCircle()) {
offsetBeforeParameters_computed = state().cycle();
} else {
offsetBeforeParameters_computed = ASTState.NON_CYCLE;
}
return offsetBeforeParameters_value;
}
/** @apilevel internal */
private int offsetBeforeParameters_compute() {
int i = 1;
if (hostType().needsEnclosing()) {
i++;
}
if (hostType().needsSuperEnclosing()) {
i++;
}
return i;
}
/** @apilevel internal */
private void offsetFirstEnclosingVariable_reset() {
offsetFirstEnclosingVariable_computed = null;
}
/** @apilevel internal */
protected ASTState.Cycle offsetFirstEnclosingVariable_computed = null;
/** @apilevel internal */
protected int offsetFirstEnclosingVariable_value;
/**
* @attribute syn
* @aspect LocalNum
* @declaredat /home/jesper/git/extendj/java4/backend/LocalNum.jrag:123
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="LocalNum", declaredAt="/home/jesper/git/extendj/java4/backend/LocalNum.jrag:123")
public int offsetFirstEnclosingVariable() {
ASTState state = state();
if (offsetFirstEnclosingVariable_computed == ASTState.NON_CYCLE || offsetFirstEnclosingVariable_computed == state().cycle()) {
return offsetFirstEnclosingVariable_value;
}
offsetFirstEnclosingVariable_value = offsetFirstEnclosingVariable_compute();
if (state().inCircle()) {
offsetFirstEnclosingVariable_computed = state().cycle();
} else {
offsetFirstEnclosingVariable_computed = ASTState.NON_CYCLE;
}
return offsetFirstEnclosingVariable_value;
}
/** @apilevel internal */
private int offsetFirstEnclosingVariable_compute() {
int localIndex = offsetBeforeParameters();
for (ParameterDeclaration param : getParameterList()) {
localIndex += param.type().variableSize();
}
return localIndex;
}
/** @apilevel internal */
private void localIndexOfEnclosingVariable_Variable_reset() {
localIndexOfEnclosingVariable_Variable_computed = null;
localIndexOfEnclosingVariable_Variable_values = null;
}
/** @apilevel internal */
protected java.util.Map localIndexOfEnclosingVariable_Variable_values;
/** @apilevel internal */
protected java.util.Map localIndexOfEnclosingVariable_Variable_computed;
/**
* @attribute syn
* @aspect LocalNum
* @declaredat /home/jesper/git/extendj/java4/backend/LocalNum.jrag:131
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="LocalNum", declaredAt="/home/jesper/git/extendj/java4/backend/LocalNum.jrag:131")
public int localIndexOfEnclosingVariable(Variable v) {
Object _parameters = v;
if (localIndexOfEnclosingVariable_Variable_computed == null) localIndexOfEnclosingVariable_Variable_computed = new java.util.HashMap(4);
if (localIndexOfEnclosingVariable_Variable_values == null) localIndexOfEnclosingVariable_Variable_values = new java.util.HashMap(4);
ASTState state = state();
if (localIndexOfEnclosingVariable_Variable_values.containsKey(_parameters)
&& localIndexOfEnclosingVariable_Variable_computed.containsKey(_parameters)
&& (localIndexOfEnclosingVariable_Variable_computed.get(_parameters) == ASTState.NON_CYCLE || localIndexOfEnclosingVariable_Variable_computed.get(_parameters) == state().cycle())) {
return (Integer) localIndexOfEnclosingVariable_Variable_values.get(_parameters);
}
int localIndexOfEnclosingVariable_Variable_value = localIndexOfEnclosingVariable_compute(v);
if (state().inCircle()) {
localIndexOfEnclosingVariable_Variable_values.put(_parameters, localIndexOfEnclosingVariable_Variable_value);
localIndexOfEnclosingVariable_Variable_computed.put(_parameters, state().cycle());
} else {
localIndexOfEnclosingVariable_Variable_values.put(_parameters, localIndexOfEnclosingVariable_Variable_value);
localIndexOfEnclosingVariable_Variable_computed.put(_parameters, ASTState.NON_CYCLE);
}
return localIndexOfEnclosingVariable_Variable_value;
}
/** @apilevel internal */
private int localIndexOfEnclosingVariable_compute(Variable v) {
int localIndex = offsetFirstEnclosingVariable();
Iterator iter = hostType().enclosingVariables().iterator();
Variable varDecl = iter.next();
while (varDecl != v && iter.hasNext()) {
localIndex += varDecl.type().variableSize();
varDecl = iter.next();
}
return localIndex;
}
/** @apilevel internal */
private void offsetAfterParameters_reset() {
offsetAfterParameters_computed = null;
}
/** @apilevel internal */
protected ASTState.Cycle offsetAfterParameters_computed = null;
/** @apilevel internal */
protected int offsetAfterParameters_value;
/**
* @attribute syn
* @aspect LocalNum
* @declaredat /home/jesper/git/extendj/java4/backend/LocalNum.jrag:142
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="LocalNum", declaredAt="/home/jesper/git/extendj/java4/backend/LocalNum.jrag:142")
public int offsetAfterParameters() {
ASTState state = state();
if (offsetAfterParameters_computed == ASTState.NON_CYCLE || offsetAfterParameters_computed == state().cycle()) {
return offsetAfterParameters_value;
}
offsetAfterParameters_value = offsetAfterParameters_compute();
if (state().inCircle()) {
offsetAfterParameters_computed = state().cycle();
} else {
offsetAfterParameters_computed = ASTState.NON_CYCLE;
}
return offsetAfterParameters_value;
}
/** @apilevel internal */
private int offsetAfterParameters_compute() {
int localIndex = offsetFirstEnclosingVariable();
for (Variable var : hostType().enclosingVariables()) {
localIndex += var.type().variableSize();
}
return localIndex;
}
/**
* @attribute syn
* @aspect InnerClasses
* @declaredat /home/jesper/git/extendj/java4/backend/InnerClasses.jrag:483
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="InnerClasses", declaredAt="/home/jesper/git/extendj/java4/backend/InnerClasses.jrag:483")
public boolean needsEnclosing() {
boolean needsEnclosing_value = hostType().needsEnclosing();
return needsEnclosing_value;
}
/**
* @attribute syn
* @aspect InnerClasses
* @declaredat /home/jesper/git/extendj/java4/backend/InnerClasses.jrag:484
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="InnerClasses", declaredAt="/home/jesper/git/extendj/java4/backend/InnerClasses.jrag:484")
public boolean needsSuperEnclosing() {
boolean needsSuperEnclosing_value = hostType().needsSuperEnclosing();
return needsSuperEnclosing_value;
}
/**
* @attribute syn
* @aspect InnerClasses
* @declaredat /home/jesper/git/extendj/java4/backend/InnerClasses.jrag:486
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="InnerClasses", declaredAt="/home/jesper/git/extendj/java4/backend/InnerClasses.jrag:486")
public TypeDecl enclosing() {
TypeDecl enclosing_value = hostType().enclosing();
return enclosing_value;
}
/**
* @attribute syn
* @aspect InnerClasses
* @declaredat /home/jesper/git/extendj/java4/backend/InnerClasses.jrag:487
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="InnerClasses", declaredAt="/home/jesper/git/extendj/java4/backend/InnerClasses.jrag:487")
public TypeDecl superEnclosing() {
TypeDecl superEnclosing_value = hostType().superEnclosing();
return superEnclosing_value;
}
/**
* @attribute syn
* @aspect InnerClasses
* @declaredat /home/jesper/git/extendj/java4/backend/InnerClasses.jrag:517
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="InnerClasses", declaredAt="/home/jesper/git/extendj/java4/backend/InnerClasses.jrag:517")
public ConstructorDecl createAccessor() {
ConstructorDecl createAccessor_value = hostType().original().getAccessor(new ConstructorSignatureMapper(this));
return createAccessor_value;
}
/** @apilevel internal */
private void flags_reset() {
flags_computed = null;
}
/** @apilevel internal */
protected ASTState.Cycle flags_computed = null;
/** @apilevel internal */
protected int flags_value;
/**
* @attribute syn
* @aspect Flags
* @declaredat /home/jesper/git/extendj/java4/backend/Flags.jrag:95
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="Flags", declaredAt="/home/jesper/git/extendj/java4/backend/Flags.jrag:95")
public int flags() {
ASTState state = state();
if (flags_computed == ASTState.NON_CYCLE || flags_computed == state().cycle()) {
return flags_value;
}
flags_value = flags_compute();
if (state().inCircle()) {
flags_computed = state().cycle();
} else {
flags_computed = ASTState.NON_CYCLE;
}
return flags_value;
}
/** @apilevel internal */
private int flags_compute() {
int res = refined_Flags_ConstructorDecl_flags();
if (isVariableArity()) {
res |= Modifiers.ACC_VARARGS;
}
return res;
}
/** @apilevel internal */
private void attributes_reset() {
attributes_computed = null;
attributes_value = null;
}
/** @apilevel internal */
protected ASTState.Cycle attributes_computed = null;
/** @apilevel internal */
protected Collection attributes_value;
/**
* @attribute syn
* @aspect Attributes
* @declaredat /home/jesper/git/extendj/java4/backend/Attributes.jrag:274
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="Attributes", declaredAt="/home/jesper/git/extendj/java4/backend/Attributes.jrag:274")
public Collection attributes() {
ASTState state = state();
if (attributes_computed == ASTState.NON_CYCLE || attributes_computed == state().cycle()) {
return attributes_value;
}
attributes_value = attributes_compute();
if (state().inCircle()) {
attributes_computed = state().cycle();
} else {
attributes_computed = ASTState.NON_CYCLE;
}
return attributes_value;
}
/** @apilevel internal */
private Collection attributes_compute() {
Collection attributes = refined_Attributes_ConstructorDecl_attributes();
getModifiers().addRuntimeVisibleAnnotationsAttribute(attributes);
getModifiers().addRuntimeInvisibleAnnotationsAttribute(attributes);
return attributes;
}
/** @apilevel internal */
private void descName_reset() {
descName_computed = null;
descName_value = null;
}
/** @apilevel internal */
protected ASTState.Cycle descName_computed = null;
/** @apilevel internal */
protected String descName_value;
/**
* @attribute syn
* @aspect ConstantPoolNames
* @declaredat /home/jesper/git/extendj/java4/backend/ConstantPoolNames.jrag:133
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="ConstantPoolNames", declaredAt="/home/jesper/git/extendj/java4/backend/ConstantPoolNames.jrag:133")
public String descName() {
ASTState state = state();
if (descName_computed == ASTState.NON_CYCLE || descName_computed == state().cycle()) {
return descName_value;
}
descName_value = descName_compute();
if (state().inCircle()) {
descName_computed = state().cycle();
} else {
descName_computed = ASTState.NON_CYCLE;
}
return descName_value;
}
/** @apilevel internal */
private String descName_compute() {
StringBuilder b = new StringBuilder();
b.append("(");
// Add this$0 argument.
if (needsEnclosing()) {
b.append(enclosing().typeDescriptor());
}
if (needsSuperEnclosing()) {
b.append(superEnclosing().typeDescriptor());
}
// Add formal arguments.
for (ParameterDeclaration param : getParameterList()) {
b.append(param.type().typeDescriptor());
}
// Add enclosing variables.
for (Variable var : hostType().enclosingVariables()) {
b.append(var.type().typeDescriptor());
}
b.append(")V");
return b.toString();
}
/**
* @attribute syn
* @aspect GenericsCodegen
* @declaredat /home/jesper/git/extendj/java5/backend/GenericsCodegen.jrag:230
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="GenericsCodegen", declaredAt="/home/jesper/git/extendj/java5/backend/GenericsCodegen.jrag:230")
public ConstructorDecl erasedConstructor() {
ConstructorDecl erasedConstructor_value = this;
return erasedConstructor_value;
}
/**
* @attribute syn
* @aspect GenericsCodegen
* @declaredat /home/jesper/git/extendj/java5/backend/GenericsCodegen.jrag:433
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="GenericsCodegen", declaredAt="/home/jesper/git/extendj/java5/backend/GenericsCodegen.jrag:433")
public boolean needsSignatureAttribute() {
{
for (int i = 0; i < getNumParameter(); i++) {
if (getParameter(i).type().needsSignatureAttribute()) {
return true;
}
}
return false;
}
}
/**
* @attribute inh
* @aspect TypeAnalysis
* @declaredat /home/jesper/git/extendj/java4/frontend/TypeAnalysis.jrag:288
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.INH)
@ASTNodeAnnotation.Source(aspect="TypeAnalysis", declaredAt="/home/jesper/git/extendj/java4/frontend/TypeAnalysis.jrag:288")
public TypeDecl unknownType() {
TypeDecl unknownType_value = getParent().Define_unknownType(this, null);
return unknownType_value;
}
/**
* @attribute inh
* @aspect ExceptionHandling
* @declaredat /home/jesper/git/extendj/java4/frontend/ExceptionHandling.jrag:94
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.INH)
@ASTNodeAnnotation.Source(aspect="ExceptionHandling", declaredAt="/home/jesper/git/extendj/java4/frontend/ExceptionHandling.jrag:94")
public boolean handlesException(TypeDecl exceptionType) {
Object _parameters = exceptionType;
if (handlesException_TypeDecl_computed == null) handlesException_TypeDecl_computed = new java.util.HashMap(4);
if (handlesException_TypeDecl_values == null) handlesException_TypeDecl_values = new java.util.HashMap(4);
ASTState state = state();
if (handlesException_TypeDecl_values.containsKey(_parameters)
&& handlesException_TypeDecl_computed.containsKey(_parameters)
&& (handlesException_TypeDecl_computed.get(_parameters) == ASTState.NON_CYCLE || handlesException_TypeDecl_computed.get(_parameters) == state().cycle())) {
return (Boolean) handlesException_TypeDecl_values.get(_parameters);
}
boolean handlesException_TypeDecl_value = getParent().Define_handlesException(this, null, exceptionType);
if (state().inCircle()) {
handlesException_TypeDecl_values.put(_parameters, handlesException_TypeDecl_value);
handlesException_TypeDecl_computed.put(_parameters, state().cycle());
} else {
handlesException_TypeDecl_values.put(_parameters, handlesException_TypeDecl_value);
handlesException_TypeDecl_computed.put(_parameters, ASTState.NON_CYCLE);
}
return handlesException_TypeDecl_value;
}
/** @apilevel internal */
private void handlesException_TypeDecl_reset() {
handlesException_TypeDecl_computed = null;
handlesException_TypeDecl_values = null;
}
/** @apilevel internal */
protected java.util.Map handlesException_TypeDecl_values;
/** @apilevel internal */
protected java.util.Map handlesException_TypeDecl_computed;
/**
* @attribute inh
* @aspect Enums
* @declaredat /home/jesper/git/extendj/java5/frontend/Enums.jrag:130
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.INH)
@ASTNodeAnnotation.Source(aspect="Enums", declaredAt="/home/jesper/git/extendj/java5/frontend/Enums.jrag:130")
public boolean isOriginalEnumConstructor() {
boolean isOriginalEnumConstructor_value = getParent().Define_isOriginalEnumConstructor(this, null);
return isOriginalEnumConstructor_value;
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/TypeCheck.jrag:667
* @apilevel internal
*/
public TypeDecl Define_enclosingInstance(ASTNode _callerNode, ASTNode _childNode) {
if (getImplicitConstructorInvocationNoTransform() != null && _callerNode == getImplicitConstructorInvocation()) {
// @declaredat /home/jesper/git/extendj/java4/frontend/TypeCheck.jrag:688
return unknownType();
}
else if (_callerNode == getParsedConstructorInvocationOptNoTransform()) {
// @declaredat /home/jesper/git/extendj/java4/frontend/TypeCheck.jrag:686
return unknownType();
}
else {
return getParent().Define_enclosingInstance(this, _callerNode);
}
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/TypeCheck.jrag:667
* @apilevel internal
* @return {@code true} if this node has an equation for the inherited attribute enclosingInstance
*/
protected boolean canDefine_enclosingInstance(ASTNode _callerNode, ASTNode _childNode) {
return true;
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/VariableDeclaration.jrag:82
* @apilevel internal
*/
public boolean Define_isMethodParameter(ASTNode _callerNode, ASTNode _childNode) {
if (_callerNode == getParameterListNoTransform()) {
// @declaredat /home/jesper/git/extendj/java4/frontend/VariableDeclaration.jrag:89
int childIndex = _callerNode.getIndexOfChild(_childNode);
return false;
}
else {
return getParent().Define_isMethodParameter(this, _callerNode);
}
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/VariableDeclaration.jrag:82
* @apilevel internal
* @return {@code true} if this node has an equation for the inherited attribute isMethodParameter
*/
protected boolean canDefine_isMethodParameter(ASTNode _callerNode, ASTNode _childNode) {
return true;
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/VariableDeclaration.jrag:83
* @apilevel internal
*/
public boolean Define_isConstructorParameter(ASTNode _callerNode, ASTNode _childNode) {
if (_callerNode == getParameterListNoTransform()) {
// @declaredat /home/jesper/git/extendj/java4/frontend/VariableDeclaration.jrag:90
int childIndex = _callerNode.getIndexOfChild(_childNode);
return true;
}
else {
return getParent().Define_isConstructorParameter(this, _callerNode);
}
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/VariableDeclaration.jrag:83
* @apilevel internal
* @return {@code true} if this node has an equation for the inherited attribute isConstructorParameter
*/
protected boolean canDefine_isConstructorParameter(ASTNode _callerNode, ASTNode _childNode) {
return true;
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/VariableDeclaration.jrag:84
* @apilevel internal
*/
public boolean Define_isExceptionHandlerParameter(ASTNode _callerNode, ASTNode _childNode) {
if (_callerNode == getParameterListNoTransform()) {
// @declaredat /home/jesper/git/extendj/java4/frontend/VariableDeclaration.jrag:91
int childIndex = _callerNode.getIndexOfChild(_childNode);
return false;
}
else {
return getParent().Define_isExceptionHandlerParameter(this, _callerNode);
}
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/VariableDeclaration.jrag:84
* @apilevel internal
* @return {@code true} if this node has an equation for the inherited attribute isExceptionHandlerParameter
*/
protected boolean canDefine_isExceptionHandlerParameter(ASTNode _callerNode, ASTNode _childNode) {
return true;
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/SyntacticClassification.jrag:36
* @apilevel internal
*/
public NameType Define_nameType(ASTNode _callerNode, ASTNode _childNode) {
if (getImplicitConstructorInvocationNoTransform() != null && _callerNode == getImplicitConstructorInvocation()) {
// @declaredat /home/jesper/git/extendj/java4/frontend/SyntacticClassification.jrag:136
return NameType.EXPRESSION_NAME;
}
else if (_callerNode == getParsedConstructorInvocationOptNoTransform()) {
// @declaredat /home/jesper/git/extendj/java4/frontend/SyntacticClassification.jrag:135
return NameType.EXPRESSION_NAME;
}
else if (_callerNode == getExceptionListNoTransform()) {
// @declaredat /home/jesper/git/extendj/java4/frontend/SyntacticClassification.jrag:106
int childIndex = _callerNode.getIndexOfChild(_childNode);
return NameType.TYPE_NAME;
}
else if (_callerNode == getParameterListNoTransform()) {
// @declaredat /home/jesper/git/extendj/java4/frontend/SyntacticClassification.jrag:105
int childIndex = _callerNode.getIndexOfChild(_childNode);
return NameType.TYPE_NAME;
}
else {
return getParent().Define_nameType(this, _callerNode);
}
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/SyntacticClassification.jrag:36
* @apilevel internal
* @return {@code true} if this node has an equation for the inherited attribute nameType
*/
protected boolean canDefine_nameType(ASTNode _callerNode, ASTNode _childNode) {
return true;
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/UnreachableStatements.jrag:49
* @apilevel internal
*/
public boolean Define_reachable(ASTNode _callerNode, ASTNode _childNode) {
if (getBlockNoTransform() != null && _callerNode == getBlock()) {
// @declaredat /home/jesper/git/extendj/java4/frontend/UnreachableStatements.jrag:57
return hasParsedConstructorInvocation()
? getParsedConstructorInvocation().canCompleteNormally()
: true;
}
else if (getImplicitConstructorInvocationNoTransform() != null && _callerNode == getImplicitConstructorInvocation()) {
// @declaredat /home/jesper/git/extendj/java4/frontend/UnreachableStatements.jrag:53
return true;
}
else if (_callerNode == getParsedConstructorInvocationOptNoTransform()) {
// @declaredat /home/jesper/git/extendj/java4/frontend/UnreachableStatements.jrag:52
return true;
}
else {
return getParent().Define_reachable(this, _callerNode);
}
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/UnreachableStatements.jrag:49
* @apilevel internal
* @return {@code true} if this node has an equation for the inherited attribute reachable
*/
protected boolean canDefine_reachable(ASTNode _callerNode, ASTNode _childNode) {
return true;
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/ExceptionHandling.jrag:93
* @apilevel internal
*/
public boolean Define_handlesException(ASTNode _callerNode, ASTNode _childNode, TypeDecl exceptionType) {
if (getImplicitConstructorInvocationNoTransform() != null && _callerNode == getImplicitConstructorInvocation()) {
// @declaredat /home/jesper/git/extendj/java4/frontend/ExceptionHandling.jrag:219
return throwsException(exceptionType);
}
else if (_callerNode == getParsedConstructorInvocationOptNoTransform()) {
// @declaredat /home/jesper/git/extendj/java4/frontend/ExceptionHandling.jrag:216
return throwsException(exceptionType);
}
else if (getBlockNoTransform() != null && _callerNode == getBlock()) {
// @declaredat /home/jesper/git/extendj/java4/frontend/ExceptionHandling.jrag:213
return throwsException(exceptionType);
}
else {
return getParent().Define_handlesException(this, _callerNode, exceptionType);
}
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/ExceptionHandling.jrag:93
* @apilevel internal
* @return {@code true} if this node has an equation for the inherited attribute handlesException
*/
protected boolean canDefine_handlesException(ASTNode _callerNode, ASTNode _childNode, TypeDecl exceptionType) {
return true;
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/LookupMethod.jrag:116
* @apilevel internal
*/
public Collection Define_lookupMethod(ASTNode _callerNode, ASTNode _childNode, String name) {
if (getImplicitConstructorInvocationNoTransform() != null && _callerNode == getImplicitConstructorInvocation()) {
// @declaredat /home/jesper/git/extendj/java4/frontend/LookupMethod.jrag:167
{
Collection methods = new ArrayList();
for (MethodDecl m : lookupMethod(name)) {
if (!hostType().memberMethods(name).contains(m) || m.isStatic()) {
methods.add(m);
}
}
return methods;
}
}
else if (_callerNode == getParsedConstructorInvocationOptNoTransform()) {
// @declaredat /home/jesper/git/extendj/java4/frontend/LookupMethod.jrag:157
{
Collection methods = new ArrayList();
for (MethodDecl m : lookupMethod(name)) {
if (!hostType().memberMethods(name).contains(m) || m.isStatic()) {
methods.add(m);
}
}
return methods;
}
}
else {
return getParent().Define_lookupMethod(this, _callerNode, name);
}
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/LookupMethod.jrag:116
* @apilevel internal
* @return {@code true} if this node has an equation for the inherited attribute lookupMethod
*/
protected boolean canDefine_lookupMethod(ASTNode _callerNode, ASTNode _childNode, String name) {
return true;
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/DefiniteAssignment.jrag:256
* @apilevel internal
*/
public boolean Define_assignedBefore(ASTNode _callerNode, ASTNode _childNode, Variable v) {
if (getBlockNoTransform() != null && _callerNode == getBlock()) {
// @declaredat /home/jesper/git/extendj/java4/frontend/DefiniteAssignment.jrag:346
return getConstructorInvocation().assignedAfter(v);
}
else {
return super.Define_assignedBefore(_callerNode, _childNode, v);
}
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/DefiniteAssignment.jrag:256
* @apilevel internal
* @return {@code true} if this node has an equation for the inherited attribute assignedBefore
*/
protected boolean canDefine_assignedBefore(ASTNode _callerNode, ASTNode _childNode, Variable v) {
return true;
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/DefiniteAssignment.jrag:887
* @apilevel internal
*/
public boolean Define_unassignedBefore(ASTNode _callerNode, ASTNode _childNode, Variable v) {
if (getBlockNoTransform() != null && _callerNode == getBlock()) {
// @declaredat /home/jesper/git/extendj/java4/frontend/DefiniteAssignment.jrag:974
return getConstructorInvocation().unassignedAfter(v);
}
else {
return super.Define_unassignedBefore(_callerNode, _childNode, v);
}
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/DefiniteAssignment.jrag:887
* @apilevel internal
* @return {@code true} if this node has an equation for the inherited attribute unassignedBefore
*/
protected boolean canDefine_unassignedBefore(ASTNode _callerNode, ASTNode _childNode, Variable v) {
return true;
}
/**
* @declaredat /home/jesper/git/extendj/java5/frontend/EnhancedFor.jrag:138
* @apilevel internal
*/
public SimpleSet Define_lookupVariable(ASTNode _callerNode, ASTNode _childNode, String name) {
if (_callerNode == getParameterListNoTransform()) {
// @declaredat /home/jesper/git/extendj/java4/frontend/LookupVariable.jrag:112
int childIndex = _callerNode.getIndexOfChild(_childNode);
return parameterDeclaration(name);
}
else if (getImplicitConstructorInvocationNoTransform() != null && _callerNode == getImplicitConstructorInvocation()) {
// @declaredat /home/jesper/git/extendj/java4/frontend/LookupVariable.jrag:99
{
SimpleSet result = parameterDeclaration(name);
if (!result.isEmpty()) {
return result;
}
for (Variable v : lookupVariable(name)) {
if (!hostType().memberFields(name).contains(v) || v.isStatic()) {
result = result.add(v);
}
}
return result;
}
}
else if (_callerNode == getParsedConstructorInvocationOptNoTransform()) {
// @declaredat /home/jesper/git/extendj/java4/frontend/LookupVariable.jrag:86
{
SimpleSet result = parameterDeclaration(name);
if (!result.isEmpty()) {
return result;
}
for (Variable v : lookupVariable(name)) {
if (!hostType().memberFields(name).contains(v) || v.isStatic()) {
result = result.add(v);
}
}
return result;
}
}
else if (getBlockNoTransform() != null && _callerNode == getBlock()) {
// @declaredat /home/jesper/git/extendj/java4/frontend/LookupVariable.jrag:78
{
SimpleSet result = parameterDeclaration(name);
if (!result.isEmpty()) {
return result;
}
return lookupVariable(name);
}
}
else {
return getParent().Define_lookupVariable(this, _callerNode, name);
}
}
/**
* @declaredat /home/jesper/git/extendj/java5/frontend/EnhancedFor.jrag:138
* @apilevel internal
* @return {@code true} if this node has an equation for the inherited attribute lookupVariable
*/
protected boolean canDefine_lookupVariable(ASTNode _callerNode, ASTNode _childNode, String name) {
return true;
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/TypeHierarchyCheck.jrag:188
* @apilevel internal
*/
public boolean Define_inExplicitConstructorInvocation(ASTNode _callerNode, ASTNode _childNode) {
if (getImplicitConstructorInvocationNoTransform() != null && _callerNode == getImplicitConstructorInvocation()) {
// @declaredat /home/jesper/git/extendj/java4/frontend/TypeHierarchyCheck.jrag:194
return true;
}
else if (_callerNode == getParsedConstructorInvocationOptNoTransform()) {
// @declaredat /home/jesper/git/extendj/java4/frontend/TypeHierarchyCheck.jrag:193
return true;
}
else {
return getParent().Define_inExplicitConstructorInvocation(this, _callerNode);
}
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/TypeHierarchyCheck.jrag:188
* @apilevel internal
* @return {@code true} if this node has an equation for the inherited attribute inExplicitConstructorInvocation
*/
protected boolean canDefine_inExplicitConstructorInvocation(ASTNode _callerNode, ASTNode _childNode) {
return true;
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/TypeHierarchyCheck.jrag:196
* @apilevel internal
*/
public TypeDecl Define_enclosingExplicitConstructorHostType(ASTNode _callerNode, ASTNode _childNode) {
if (getImplicitConstructorInvocationNoTransform() != null && _callerNode == getImplicitConstructorInvocation()) {
// @declaredat /home/jesper/git/extendj/java4/frontend/TypeHierarchyCheck.jrag:204
return hostType();
}
else if (_callerNode == getParsedConstructorInvocationOptNoTransform()) {
// @declaredat /home/jesper/git/extendj/java4/frontend/TypeHierarchyCheck.jrag:202
return hostType();
}
else {
return getParent().Define_enclosingExplicitConstructorHostType(this, _callerNode);
}
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/TypeHierarchyCheck.jrag:196
* @apilevel internal
* @return {@code true} if this node has an equation for the inherited attribute enclosingExplicitConstructorHostType
*/
protected boolean canDefine_enclosingExplicitConstructorHostType(ASTNode _callerNode, ASTNode _childNode) {
return true;
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/TypeHierarchyCheck.jrag:207
* @apilevel internal
*/
public boolean Define_inStaticContext(ASTNode _callerNode, ASTNode _childNode) {
if (getImplicitConstructorInvocationNoTransform() != null && _callerNode == getImplicitConstructorInvocation()) {
// @declaredat /home/jesper/git/extendj/java4/frontend/TypeHierarchyCheck.jrag:218
return false;
}
else if (_callerNode == getParsedConstructorInvocationOptNoTransform()) {
// @declaredat /home/jesper/git/extendj/java4/frontend/TypeHierarchyCheck.jrag:217
return false;
}
else if (getBlockNoTransform() != null && _callerNode == getBlock()) {
// @declaredat /home/jesper/git/extendj/java4/frontend/TypeHierarchyCheck.jrag:216
return false;
}
else {
return getParent().Define_inStaticContext(this, _callerNode);
}
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/TypeHierarchyCheck.jrag:207
* @apilevel internal
* @return {@code true} if this node has an equation for the inherited attribute inStaticContext
*/
protected boolean canDefine_inStaticContext(ASTNode _callerNode, ASTNode _childNode) {
return true;
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:432
* @apilevel internal
*/
public boolean Define_mayBePublic(ASTNode _callerNode, ASTNode _childNode) {
if (getModifiersNoTransform() != null && _callerNode == getModifiers()) {
// @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:337
return true;
}
else {
return getParent().Define_mayBePublic(this, _callerNode);
}
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:432
* @apilevel internal
* @return {@code true} if this node has an equation for the inherited attribute mayBePublic
*/
protected boolean canDefine_mayBePublic(ASTNode _callerNode, ASTNode _childNode) {
return true;
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:434
* @apilevel internal
*/
public boolean Define_mayBeProtected(ASTNode _callerNode, ASTNode _childNode) {
if (getModifiersNoTransform() != null && _callerNode == getModifiers()) {
// @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:338
return true;
}
else {
return getParent().Define_mayBeProtected(this, _callerNode);
}
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:434
* @apilevel internal
* @return {@code true} if this node has an equation for the inherited attribute mayBeProtected
*/
protected boolean canDefine_mayBeProtected(ASTNode _callerNode, ASTNode _childNode) {
return true;
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:433
* @apilevel internal
*/
public boolean Define_mayBePrivate(ASTNode _callerNode, ASTNode _childNode) {
if (getModifiersNoTransform() != null && _callerNode == getModifiers()) {
// @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:339
return true;
}
else {
return getParent().Define_mayBePrivate(this, _callerNode);
}
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:433
* @apilevel internal
* @return {@code true} if this node has an equation for the inherited attribute mayBePrivate
*/
protected boolean canDefine_mayBePrivate(ASTNode _callerNode, ASTNode _childNode) {
return true;
}
/**
* @declaredat /home/jesper/git/extendj/java5/frontend/Enums.jrag:567
* @apilevel internal
*/
public boolean Define_inEnumInitializer(ASTNode _callerNode, ASTNode _childNode) {
int childIndex = this.getIndexOfChild(_callerNode);
return hostType().isEnumDecl();
}
/**
* @declaredat /home/jesper/git/extendj/java5/frontend/Enums.jrag:567
* @apilevel internal
* @return {@code true} if this node has an equation for the inherited attribute inEnumInitializer
*/
protected boolean canDefine_inEnumInitializer(ASTNode _callerNode, ASTNode _childNode) {
return true;
}
/**
* @declaredat /home/jesper/git/extendj/java5/frontend/Annotations.jrag:131
* @apilevel internal
*/
public boolean Define_mayUseAnnotationTarget(ASTNode _callerNode, ASTNode _childNode, String name) {
if (getModifiersNoTransform() != null && _callerNode == getModifiers()) {
// @declaredat /home/jesper/git/extendj/java5/frontend/Annotations.jrag:158
return name.equals("CONSTRUCTOR");
}
else {
return getParent().Define_mayUseAnnotationTarget(this, _callerNode, name);
}
}
/**
* @declaredat /home/jesper/git/extendj/java5/frontend/Annotations.jrag:131
* @apilevel internal
* @return {@code true} if this node has an equation for the inherited attribute mayUseAnnotationTarget
*/
protected boolean canDefine_mayUseAnnotationTarget(ASTNode _callerNode, ASTNode _childNode, String name) {
return true;
}
/**
* @declaredat /home/jesper/git/extendj/java5/frontend/VariableArityParameters.jrag:46
* @apilevel internal
*/
public boolean Define_variableArityValid(ASTNode _callerNode, ASTNode _childNode) {
if (_callerNode == getParameterListNoTransform()) {
// @declaredat /home/jesper/git/extendj/java5/frontend/VariableArityParameters.jrag:41
int i = _callerNode.getIndexOfChild(_childNode);
return i == getNumParameter() - 1;
}
else {
return getParent().Define_variableArityValid(this, _callerNode);
}
}
/**
* @declaredat /home/jesper/git/extendj/java5/frontend/VariableArityParameters.jrag:46
* @apilevel internal
* @return {@code true} if this node has an equation for the inherited attribute variableArityValid
*/
protected boolean canDefine_variableArityValid(ASTNode _callerNode, ASTNode _childNode) {
return true;
}
/**
* @declaredat /home/jesper/git/extendj/java5/frontend/Generics.jrag:860
* @apilevel internal
*/
public String Define_typeVariableContext(ASTNode _callerNode, ASTNode _childNode) {
int childIndex = this.getIndexOfChild(_callerNode);
return hostType().typeName() + "." + signature();
}
/**
* @declaredat /home/jesper/git/extendj/java5/frontend/Generics.jrag:860
* @apilevel internal
* @return {@code true} if this node has an equation for the inherited attribute typeVariableContext
*/
protected boolean canDefine_typeVariableContext(ASTNode _callerNode, ASTNode _childNode) {
return true;
}
/**
* @declaredat /home/jesper/git/extendj/java5/frontend/MethodSignature.jrag:426
* @apilevel internal
*/
public Block Define_enclosingBlock(ASTNode _callerNode, ASTNode _childNode) {
if (getImplicitConstructorInvocationNoTransform() != null && _callerNode == getImplicitConstructorInvocation()) {
// @declaredat /home/jesper/git/extendj/java5/frontend/MethodSignature.jrag:433
return getBlock();
}
else if (_callerNode == getParsedConstructorInvocationOptNoTransform()) {
// @declaredat /home/jesper/git/extendj/java5/frontend/MethodSignature.jrag:432
return getBlock();
}
else {
return getParent().Define_enclosingBlock(this, _callerNode);
}
}
/**
* @declaredat /home/jesper/git/extendj/java5/frontend/MethodSignature.jrag:426
* @apilevel internal
* @return {@code true} if this node has an equation for the inherited attribute enclosingBlock
*/
protected boolean canDefine_enclosingBlock(ASTNode _callerNode, ASTNode _childNode) {
return true;
}
/**
* @declaredat /home/jesper/git/extendj/java4/backend/LocalNum.jrag:63
* @apilevel internal
*/
public int Define_localNum(ASTNode _callerNode, ASTNode _childNode) {
if (getBlockNoTransform() != null && _callerNode == getBlock()) {
// @declaredat /home/jesper/git/extendj/java4/backend/LocalNum.jrag:159
return offsetAfterParameters();
}
else if (_callerNode == getParameterListNoTransform()) {
// @declaredat /home/jesper/git/extendj/java4/backend/LocalNum.jrag:150
int index = _callerNode.getIndexOfChild(_childNode);
{
if (index == 0) {
return offsetBeforeParameters();
} else {
ParameterDeclaration last = getParameter(index - 1);
return last.localNum() + last.type().variableSize();
}
}
}
else {
return getParent().Define_localNum(this, _callerNode);
}
}
/**
* @declaredat /home/jesper/git/extendj/java4/backend/LocalNum.jrag:63
* @apilevel internal
* @return {@code true} if this node has an equation for the inherited attribute localNum
*/
protected boolean canDefine_localNum(ASTNode _callerNode, ASTNode _childNode) {
return true;
}
/** @apilevel internal */
public ASTNode rewriteTo() {
return super.rewriteTo();
}
/** @apilevel internal */
public boolean canRewrite() {
return false;
}
/** @apilevel internal */
protected void collect_contributors_CompilationUnit_problems(CompilationUnit _root, java.util.Map> _map) {
// @declaredat /home/jesper/git/extendj/java4/frontend/NameCheck.jrag:104
{
java.util.Set contributors = _map.get(_root);
if (contributors == null) {
contributors = new java.util.LinkedHashSet();
_map.put((ASTNode) _root, contributors);
}
contributors.add(this);
}
// @declaredat /home/jesper/git/extendj/java4/frontend/TypeCheck.jrag:564
{
java.util.Set contributors = _map.get(_root);
if (contributors == null) {
contributors = new java.util.LinkedHashSet();
_map.put((ASTNode) _root, contributors);
}
contributors.add(this);
}
// @declaredat /home/jesper/git/extendj/java5/frontend/Enums.jrag:589
{
java.util.Set contributors = _map.get(_root);
if (contributors == null) {
contributors = new java.util.LinkedHashSet();
_map.put((ASTNode) _root, contributors);
}
contributors.add(this);
}
// Add problem contributions from the implicit constructor invocation NTA.
{
if (checkImplicitConstructorInvocation()) {
getImplicitConstructorInvocation().collect_contributors_CompilationUnit_problems(_root, _map);
}
super.collect_contributors_CompilationUnit_problems(_root, _map);
}
}
/** @apilevel internal */
protected void contributeTo_CompilationUnit_problems(LinkedList collection) {
super.contributeTo_CompilationUnit_problems(collection);
for (Problem value : nameProblems()) {
collection.add(value);
}
for (Problem value : typeProblems()) {
collection.add(value);
}
for (Problem value : enumProblems()) {
collection.add(value);
}
}
}