org.extendj.ast.MethodDecl Maven / Gradle / Ivy
/* This file was generated with JastAdd2 (http://jastadd.org) version 2.3.0 */
package org.extendj.ast;
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.Collection;
import java.util.Collections;
import java.util.HashSet;
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.util.LinkedHashSet;
import java.util.*;
import org.jastadd.util.PrettyPrintable;
import org.jastadd.util.PrettyPrinter;
import java.util.zip.*;
import java.io.*;
import org.jastadd.util.*;
import java.io.BufferedInputStream;
import java.io.DataInputStream;
/**
* @ast node
* @declaredat /home/jesper/git/extendj/java4/grammar/Java.ast:212
* @astdecl MethodDecl : MemberDecl ::= Modifiers TypeAccess:Access Parameter:ParameterDeclaration* Exception:Access* [Block];
* @production MethodDecl : {@link MemberDecl} ::= {@link Modifiers} TypeAccess:{@link Access} <ID:String> Parameter:{@link ParameterDeclaration}* Exception:{@link Access}* [{@link Block}];
*/
public class MethodDecl extends MemberDecl implements Cloneable, SimpleSet, ExceptionHolder {
/**
* @aspect Java4PrettyPrint
* @declaredat /home/jesper/git/extendj/java4/frontend/PrettyPrint.jadd:471
*/
public void prettyPrint(PrettyPrinter out) {
if (!isSynthetic()) {
if (hasDocComment()) {
out.print(docComment());
}
if (!out.isNewLine()) {
out.println();
}
out.print(getModifiers());
out.print(getTypeAccess());
out.print(" ");
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(", ");
}
});
}
if (hasBlock()) {
out.print(" ");
out.print(getBlock());
} else {
out.print(";");
}
}
}
/**
* @aspect DataStructures
* @declaredat /home/jesper/git/extendj/java4/frontend/DataStructures.jrag:421
*/
@Override
public int size() {
return 1;
}
/**
* @aspect DataStructures
* @declaredat /home/jesper/git/extendj/java4/frontend/DataStructures.jrag:426
*/
@Override
public boolean isEmpty() {
return false;
}
/**
* @aspect DataStructures
* @declaredat /home/jesper/git/extendj/java4/frontend/DataStructures.jrag:431
*/
@Override
public SimpleSet add(MethodDecl o) {
return new SimpleSetImpl(this, o);
}
/**
* @aspect DataStructures
* @declaredat /home/jesper/git/extendj/java4/frontend/DataStructures.jrag:436
*/
@Override
public boolean contains(Object o) {
return this == o;
}
/**
* @aspect DataStructures
* @declaredat /home/jesper/git/extendj/java4/frontend/DataStructures.jrag:441
*/
@Override
public boolean isSingleton() {
return true;
}
/**
* @aspect DataStructures
* @declaredat /home/jesper/git/extendj/java4/frontend/DataStructures.jrag:446
*/
@Override
public boolean isSingleton(MethodDecl o) {
return contains(o);
}
/**
* @aspect DataStructures
* @declaredat /home/jesper/git/extendj/java4/frontend/DataStructures.jrag:451
*/
@Override
public MethodDecl singletonValue() {
return this;
}
/**
* @aspect DataStructures
* @declaredat /home/jesper/git/extendj/java4/frontend/DataStructures.jrag:456
*/
@Override
public boolean equals(Object o) {
return this == o;
}
/**
* @aspect DataStructures
* @declaredat /home/jesper/git/extendj/java4/frontend/DataStructures.jrag:461
*/
@Override
public Iterator iterator() {
return new SingleItemIterator(this);
}
/**
* @aspect BoundNames
* @declaredat /home/jesper/git/extendj/java4/frontend/BoundNames.jrag:95
*/
public Access createBoundAccess(List args) {
return createBoundAccess(args, hostType());
}
/**
* @aspect BoundNames
* @declaredat /home/jesper/git/extendj/java4/frontend/BoundNames.jrag:99
*/
public Access createBoundAccess(List args, TypeDecl hostType) {
if (isStatic()) {
return hostType().createQualifiedAccess().qualifiesAccess(
new BoundMethodAccess(name(), args, this, hostType));
} else {
return new BoundMethodAccess(name(), args, this, hostType);
}
}
/**
* @aspect PrettyPrintUtil
* @declaredat /home/jesper/git/extendj/java4/frontend/PrettyPrintUtil.jrag:121
*/
@Override public String toString() {
int numParams = 0;
StringBuilder params = new StringBuilder();
for (ParameterDeclaration param : getParameterListNoTransform()) {
if (numParams > 0) {
params.append(", ");
}
params.append(param.toString());
numParams += 1;
}
return String.format("%s %s(%s)",
getTypeAccessNoTransform().toString(),
getID(),
params);
}
/**
* @aspect LookupParTypeDecl
* @declaredat /home/jesper/git/extendj/java5/frontend/Generics.jrag:1437
*/
public BodyDecl signatureCopy() {
return new MethodDeclSubstituted(
getModifiers().treeCopyNoTransform(),
getTypeAccessNoTransform().treeCopyNoTransform(),
getID(),
getParameterList().treeCopyNoTransform(),
getExceptionList().treeCopyNoTransform(),
new Opt(),
this);
}
/**
* @aspect LookupParTypeDecl
* @declaredat /home/jesper/git/extendj/java5/frontend/Generics.jrag:1538
*/
public BodyDecl erasedCopy() {
return new MethodDeclSubstituted(
getModifiers().treeCopyNoTransform(),
getTypeAccess().erasedCopy(),
getID(),
erasedParameterList(getParameterList()),
erasedAccessList(getExceptionList()),
new Opt(),
this);
}
/**
* Checks that the argument exception is a subtype to all exceptions
* in the methods throws-clause. This takes the position of the type
* parameters into account.
* @aspect FunctionDescriptor
* @declaredat /home/jesper/git/extendj/java8/frontend/FunctionDescriptor.jrag:199
*/
public boolean subtypeThrowsClause(Access exception) {
boolean foundCompatible = false;
for (Access throwsException : getExceptionList()) {
if (exception.type().strictSubtype(throwsException.type())) {
foundCompatible = true;
break;
}
}
return foundCompatible;
}
/**
* Checks that the argument exception is a subtype to all exceptions
* in the methods throws-clause. Performs erasure on all types before
* comparing them.
* @aspect FunctionDescriptor
* @declaredat /home/jesper/git/extendj/java8/frontend/FunctionDescriptor.jrag:215
*/
public boolean subtypeThrowsClauseErased(Access exception) {
boolean foundCompatible = false;
for (Access throwsException : getExceptionList()) {
if (exception.type().erasure().strictSubtype(throwsException.type().erasure())) {
foundCompatible = true;
break;
}
}
return foundCompatible;
}
/**
* @aspect CreateBCode
* @declaredat /home/jesper/git/extendj/java4/backend/CreateBCode.jrag:129
*/
private void generateBytecodes(CodeGeneration gen) {
int label = gen.variableScopeLabel();
int paramLength = 0;
if (!isStatic()) {
paramLength += 1;
gen.addLocalVariableEntryAtCurrentPC("this", hostType(), 0, label);
gen.addParameter(0, hostType());
}
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());
}
createBCode(gen);
if (type().isVoid() && (!hasBlock() || getBlock().canCompleteNormally())) {
// TODO(joqvist): use deadcode elimination to remove redundant RETURN.
gen.RETURN();
}
gen.addVariableScopeLabel(label);
}
/**
* @aspect CreateBCode
* @declaredat /home/jesper/git/extendj/java4/backend/CreateBCode.jrag:204
*/
public void createBCode(CodeGeneration gen) {
try {
if (hasBlock()) {
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:268
*/
protected Stmt createAccessorStmt() {
List argumentList = new List();
for (ParameterDeclaration param : getParameterList()) {
argumentList.add(new VarAccess(param.name()));
}
Access access = new BoundMethodAccess(name(), argumentList, this);
if (!isStatic()) {
access = new ThisAccess().qualifiesAccess(access);
}
return isVoid() ? (Stmt) new ExprStmt(access) : new ReturnStmt(new Opt(access));
}
/** Create a static super accessor binding.
* @aspect InnerClasses
* @declaredat /home/jesper/git/extendj/java4/backend/InnerClasses.jrag:291
*/
public Access createBoundSuperAccessor(List args) {
if (isStatic()) {
return hostType().createQualifiedAccess().qualifiesAccess(
new BoundMethodAccess(name(), args, this)
.setSuperAccessor());
} else {
return new BoundMethodAccess(name(), args, this)
.setSuperAccessor();
}
}
/**
* @aspect GenerateClassfile
* @declaredat /home/jesper/git/extendj/java4/backend/GenerateClassfile.jrag:289
*/
public void generateMethod(DataOutputStream out, ConstantPool cp) throws IOException {
out.writeChar(flags());
out.writeChar(cp.addUtf8(name()));
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:313
*/
public void touchMethod(ConstantPool cp) {
cp.addUtf8(name());
cp.addUtf8(descName());
attributes();
}
/**
* @aspect CodeGeneration
* @declaredat /home/jesper/git/extendj/java4/backend/CodeGeneration.jrag:318
*/
public void emitInvokeSpecialMethod(CodeGeneration gen, TypeDecl hostType) {
String classname = hostType.constantPoolName();
String desc = descName();
String name = name();
int index = gen.constantPool().addMethodref(classname, name, desc);
int numArg = 1 + getNumParameter();
gen.INVOKESPECIAL(index, numArg, type());
}
/**
* @aspect AnnotationsCodegen
* @declaredat /home/jesper/git/extendj/java5/backend/AnnotationsCodegen.jrag:134
*/
public void addRuntimeVisibleParameterAnnotationsAttribute(
Collection attributes) {
boolean foundVisibleAnnotations = false;
Collection> annotations =
new ArrayList>(getNumParameter());
for (int i = 0; i < getNumParameter(); i++) {
Collection a = getParameter(i).getModifiers().runtimeVisibleAnnotations();
if (!a.isEmpty()) {
foundVisibleAnnotations = true;
}
annotations.add(a);
}
if (foundVisibleAnnotations) {
attributes.add(new ParameterAnnotationsAttribute(hostType().constantPool(), annotations,
"RuntimeVisibleParameterAnnotations"));
}
}
/**
* @aspect AnnotationsCodegen
* @declaredat /home/jesper/git/extendj/java5/backend/AnnotationsCodegen.jrag:163
*/
public void addRuntimeInvisibleParameterAnnotationsAttribute(
Collection attributes) {
boolean foundInvisibleAnnotations = false;
Collection> annotations =
new ArrayList>(getNumParameter());
for (int i = 0; i < getNumParameter(); i++) {
Collection a = getParameter(i).getModifiers().runtimeInvisibleAnnotations();
if (!a.isEmpty()) {
foundInvisibleAnnotations = true;
}
annotations.add(a);
}
if (foundInvisibleAnnotations) {
attributes.add(new ParameterAnnotationsAttribute(hostType().constantPool(), annotations,
"RuntimeInvisibleParameterAnnotations"));
}
}
/**
* @declaredat ASTNode:1
*/
public MethodDecl() {
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[5];
setChild(new List(), 2);
setChild(new List(), 3);
setChild(new Opt(), 4);
}
/**
* @declaredat ASTNode:16
*/
@ASTNodeAnnotation.Constructor(
name = {"Modifiers", "TypeAccess", "ID", "Parameter", "Exception", "Block"},
type = {"Modifiers", "Access", "String", "List", "List", "Opt"},
kind = {"Child", "Child", "Token", "List", "List", "Opt"}
)
public MethodDecl(Modifiers p0, Access p1, String p2, List p3, List p4, Opt p5) {
setChild(p0, 0);
setChild(p1, 1);
setID(p2);
setChild(p3, 2);
setChild(p4, 3);
setChild(p5, 4);
}
/**
* @declaredat ASTNode:29
*/
public MethodDecl(Modifiers p0, Access p1, beaver.Symbol p2, List p3, List p4, Opt p5) {
setChild(p0, 0);
setChild(p1, 1);
setID(p2);
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();
accessibleFrom_TypeDecl_reset();
parameterDeclaration_String_reset();
type_reset();
throwsException_TypeDecl_reset();
signature_reset();
lessSpecificThan_MethodDecl_reset();
overrideCandidate_MethodDecl_reset();
overrides_MethodDecl_reset();
hides_MethodDecl_reset();
usesTypeVariable_reset();
sourceMethodDecl_reset();
subsignatureTo_MethodDecl_reset();
returnTypeSubstitutableFor_MethodDecl_reset();
bytecodes_ConstantPool_reset();
flags_reset();
offsetBeforeParameters_reset();
offsetAfterParameters_reset();
resultOffset_reset();
attributes_reset();
descName_reset();
handlesException_TypeDecl_reset();
}
/** @apilevel internal
* @declaredat ASTNode:73
*/
public void flushCollectionCache() {
super.flushCollectionCache();
}
/** @apilevel internal
* @declaredat ASTNode:77
*/
public MethodDecl clone() throws CloneNotSupportedException {
MethodDecl node = (MethodDecl) super.clone();
return node;
}
/** @apilevel internal
* @declaredat ASTNode:82
*/
public MethodDecl copy() {
try {
MethodDecl node = (MethodDecl) 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:101
*/
@Deprecated
public MethodDecl 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:111
*/
public MethodDecl treeCopyNoTransform() {
MethodDecl tree = (MethodDecl) copy();
if (children != null) {
for (int i = 0; i < children.length; ++i) {
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:131
*/
public MethodDecl treeCopy() {
MethodDecl tree = (MethodDecl) copy();
if (children != null) {
for (int i = 0; i < children.length; ++i) {
ASTNode child = (ASTNode) getChild(i);
if (child != null) {
child = child.treeCopy();
tree.setChild(child, i);
}
}
}
return tree;
}
/** @apilevel internal
* @declaredat ASTNode:145
*/
protected boolean is$Equal(ASTNode node) {
return super.is$Equal(node) && (tokenString_ID == ((MethodDecl) 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 TypeAccess child.
* @param node The new node to replace the TypeAccess child.
* @apilevel high-level
*/
public void setTypeAccess(Access node) {
setChild(node, 1);
}
/**
* Retrieves the TypeAccess child.
* @return The current node used as the TypeAccess child.
* @apilevel high-level
*/
@ASTNodeAnnotation.Child(name="TypeAccess")
public Access getTypeAccess() {
return (Access) getChild(1);
}
/**
* Retrieves the TypeAccess child.
* This method does not invoke AST transformations.
* @return The current node used as the TypeAccess child.
* @apilevel low-level
*/
public Access getTypeAccessNoTransform() {
return (Access) getChildNoTransform(1);
}
/**
* 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, 2);
}
/**
* 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(2);
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(2);
}
/**
* @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, 3);
}
/**
* 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(3);
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(3);
}
/**
* @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 Block child. This is the Opt
* node containing the child Block, not the actual child!
* @param opt The new node to be used as the optional node for the Block child.
* @apilevel low-level
*/
public void setBlockOpt(Opt opt) {
setChild(opt, 4);
}
/**
* Replaces the (optional) Block child.
* @param node The new node to be used as the Block child.
* @apilevel high-level
*/
public void setBlock(Block node) {
getBlockOpt().setChild(node, 0);
}
/**
* Check whether the optional Block child exists.
* @return {@code true} if the optional Block child exists, {@code false} if it does not.
* @apilevel high-level
*/
public boolean hasBlock() {
return getBlockOpt().getNumChild() != 0;
}
/**
* Retrieves the (optional) Block child.
* @return The Block child, if it exists. Returns {@code null} otherwise.
* @apilevel low-level
*/
public Block getBlock() {
return (Block) getBlockOpt().getChild(0);
}
/**
* Retrieves the optional node for the Block child. This is the Opt node containing the child Block, not the actual child!
* @return The optional node for child the Block child.
* @apilevel low-level
*/
@ASTNodeAnnotation.OptChild(name="Block")
public Opt getBlockOpt() {
return (Opt) getChild(4);
}
/**
* Retrieves the optional node for child Block. This is the Opt node containing the child Block, not the actual child!
* This method does not invoke AST transformations.
* @return The optional node for child Block.
* @apilevel low-level
*/
public Opt getBlockOptNoTransform() {
return (Opt) getChildNoTransform(4);
}
/**
* @aspect Java8CreateBCode
* @declaredat /home/jesper/git/extendj/java8/backend/CreateBCode.jrag:55
*/
public void emitInvokeMethod(CodeGeneration gen, TypeDecl hostType) {
if (hostType.isInterfaceDecl()) {
String classname = hostType.constantPoolName();
String desc = descName();
String name = name();
int index = gen.constantPool().addInterfaceMethodref(classname, name, desc);
int numArg = getNumParameter();
int argSize = 0;
for (int i = 0; i < getNumParameter(); i++) {
argSize += getParameter(i).type().variableSize();
}
if (isStatic()) {
gen.INVOKESTATIC(index, numArg, type());
} else {
numArg += 1; // Add this reference.
argSize += 1;
gen.INVOKEINTERFACE(index, numArg, argSize, type());
}
} else {
String classname = hostType.constantPoolName();
String desc = descName();
String name = name();
int index = gen.constantPool().addMethodref(classname, name, desc);
int numArg = getNumParameter();
if (isStatic()) {
gen.INVOKESTATIC(index, numArg, type());
} else {
numArg += 1; // Add this reference.
gen.INVOKEVIRTUAL(index, numArg, type());
}
}
}
/**
* @aspect MethodDecl
* @declaredat /home/jesper/git/extendj/java4/frontend/LookupMethod.jrag:349
*/
private boolean refined_MethodDecl_MethodDecl_sameSignature_MethodDecl(MethodDecl other)
{ return signature().equals(other.signature()); }
/**
* @aspect Flags
* @declaredat /home/jesper/git/extendj/java4/backend/Flags.jrag:60
*/
private int refined_Flags_MethodDecl_flags()
{
int res = 0;
if (isPublic()) {
res |= Modifiers.ACC_PUBLIC;
}
if (isPrivate()) {
res |= Modifiers.ACC_PRIVATE;
}
if (isProtected()) {
res |= Modifiers.ACC_PROTECTED;
}
if (isStatic()) {
res |= Modifiers.ACC_STATIC;
}
if (isFinal()) {
res |= Modifiers.ACC_FINAL;
}
if (isSynchronized()) {
res |= Modifiers.ACC_SYNCHRONIZED;
}
if (isNative()) {
res |= Modifiers.ACC_NATIVE;
}
if (isAbstract()) {
res |= Modifiers.ACC_ABSTRACT;
}
if (isStrictfp() || (hostType().isStrictfp() && !hostType().isInterfaceDecl())) {
res |= Modifiers.ACC_STRICT;
}
if (isSynthetic()) {
res |= Modifiers.ACC_SYNTHETIC;
}
return res;
}
/**
* @aspect Attributes
* @declaredat /home/jesper/git/extendj/java4/backend/Attributes.jrag:284
*/
private Collection refined_Attributes_MethodDecl_attributes()
{
try {
Collection attributes = new ArrayList();
CodeGeneration bytecodes = bytecodes(hostType().constantPool());
if (getNumException() > 0) {
attributes.add(new ExceptionsAttribute(bytecodes, this));
}
if (isAbstract() || isNative()) {
return attributes;
} else {
attributes.add(new CodeAttribute(bytecodes, this));
if (getModifiers().isSynthetic()) {
attributes.add(new SyntheticAttribute(hostType().constantPool()));
}
return attributes;
}
} catch (Error e) {
System.err.println("Error while processing " + sourceLocation());
throw e;
}
}
/**
* @aspect AnnotationsCodegen
* @declaredat /home/jesper/git/extendj/java5/backend/AnnotationsCodegen.jrag:46
*/
private Collection refined_AnnotationsCodegen_MethodDecl_attributes()
{
Collection attributes = refined_Attributes_MethodDecl_attributes();
getModifiers().addRuntimeVisibleAnnotationsAttribute(attributes);
getModifiers().addRuntimeInvisibleAnnotationsAttribute(attributes);
addRuntimeVisibleParameterAnnotationsAttribute(attributes);
addRuntimeInvisibleParameterAnnotationsAttribute(attributes);
return attributes;
}
/** @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:104
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="AccessControl", declaredAt="/home/jesper/git/extendj/java4/frontend/AccessControl.jrag:104")
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 (isPublic()) {
return true;
} else if (isProtected()) {
if (hostPackage().equals(type.hostPackage())) {
return true;
}
if (type.withinBodyThatSubclasses(hostType()) != null) {
return true;
}
return false;
} else if (isPrivate()) {
return hostType().topLevelType() == type.topLevelType();
} else {
return hostPackage().equals(type.hostPackage());
}
}
/**
* @attribute syn
* @aspect ErrorCheck
* @declaredat /home/jesper/git/extendj/java4/frontend/ErrorCheck.jrag:46
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="ErrorCheck", declaredAt="/home/jesper/git/extendj/java4/frontend/ErrorCheck.jrag:46")
public int lineNumber() {
int lineNumber_value = getLine(IDstart);
return lineNumber_value;
}
/**
* @attribute syn
* @aspect PrettyPrintUtil
* @declaredat /home/jesper/git/extendj/java4/frontend/PrettyPrintUtil.jrag:326
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="PrettyPrintUtil", declaredAt="/home/jesper/git/extendj/java4/frontend/PrettyPrintUtil.jrag:326")
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:338
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="PrettyPrintUtil", declaredAt="/home/jesper/git/extendj/java4/frontend/PrettyPrintUtil.jrag:338")
public boolean hasExceptions() {
boolean hasExceptions_value = getNumException() > 0;
return hasExceptions_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;
/** @return the first variable declaration with the given name.
* @attribute syn
* @aspect VariableScope
* @declaredat /home/jesper/git/extendj/java4/frontend/LookupVariable.jrag:174
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="VariableScope", declaredAt="/home/jesper/git/extendj/java4/frontend/LookupVariable.jrag:174")
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();
}
/** @apilevel internal */
private void type_reset() {
type_computed = null;
type_value = null;
}
/** @apilevel internal */
protected ASTState.Cycle type_computed = null;
/** @apilevel internal */
protected TypeDecl type_value;
/**
* @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() {
ASTState state = state();
if (type_computed == ASTState.NON_CYCLE || type_computed == state().cycle()) {
return type_value;
}
type_value = getTypeAccess().type();
if (state().inCircle()) {
type_computed = state().cycle();
} else {
type_computed = ASTState.NON_CYCLE;
}
return type_value;
}
/**
* @attribute syn
* @aspect TypeAnalysis
* @declaredat /home/jesper/git/extendj/java4/frontend/TypeAnalysis.jrag:291
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="TypeAnalysis", declaredAt="/home/jesper/git/extendj/java4/frontend/TypeAnalysis.jrag:291")
public boolean isVoid() {
boolean isVoid_value = type().isVoid();
return isVoid_value;
}
/**
* @attribute syn
* @aspect Modifiers
* @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:150
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="Modifiers", declaredAt="/home/jesper/git/extendj/java4/frontend/Modifiers.jrag:150")
public Collection modifierProblems() {
{
Collection problems = new LinkedList();
if (hostType().isClassDecl()) {
// 8.4.3.1
if (!hostType().isEnumDecl() && isAbstract() && !hostType().isAbstract()) {
problems.add(error("class must be abstract to include abstract methods"));
}
// 8.4.3.1
if (isAbstract() && isPrivate()) {
problems.add(error("method may not be abstract and private"));
}
// 8.4.3.1
// 8.4.3.2
if (isAbstract() && isStatic()) {
problems.add(error("method may not be abstract and static"));
}
if (isAbstract() && isSynchronized()) {
problems.add(error("method may not be abstract and synchronized"));
}
// 8.4.3.4
if (isAbstract() && isNative()) {
problems.add(error("method may not be abstract and native"));
}
if (isAbstract() && isStrictfp()) {
problems.add(error("method may not be abstract and strictfp"));
}
if (isNative() && isStrictfp()) {
problems.add(error("method may not be native and strictfp"));
}
if (isDefault()) {
problems.add(error("non-interface methods may not use the default modifier"));
}
}
if (hostType().isInterfaceDecl()) {
// 9.4
if (isAbstract()) {
if (isStatic()) {
problems.add(errorf("interface method %s in %s can not be both abstract and static",
signature(), hostType().typeName()));
}
if (isDefault()) {
problems.add(errorf("interface method %s in %s can not be both abstract and default",
signature(), hostType().typeName()));
}
if (isStrictfp()) {
problems.add(errorf("interface method %s in %s can not be both abstract and strictfp",
signature(), hostType().typeName()));
}
}
if (isStatic() && isDefault()) {
problems.add(errorf("interface method %s in %s can not be both static and default",
signature(), hostType().typeName()));
}
if (isNative()) {
problems.add(errorf("interface method %s in %s may not be native",
signature(), hostType().typeName()));
}
if (isSynchronized()) {
problems.add(errorf("interface method %s in %s may not be synchronized",
signature(), hostType().typeName()));
}
if (isProtected()) {
problems.add(errorf("interface method %s in %s may not be protected",
signature(), hostType().typeName()));
}
if (isPrivate()) {
problems.add(errorf("interface method %s in %s may not be private",
signature(), hostType().typeName()));
} else if (isFinal()) {
problems.add(errorf("interface method %s in %s may not be final",
signature(), hostType().typeName()));
}
}
return problems;
}
}
/**
* @attribute syn
* @aspect Modifiers
* @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:247
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="Modifiers", declaredAt="/home/jesper/git/extendj/java4/frontend/Modifiers.jrag:247")
public boolean isSynthetic() {
boolean isSynthetic_value = getModifiers().isSynthetic();
return isSynthetic_value;
}
/**
* @attribute syn
* @aspect Modifiers
* @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:257
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="Modifiers", declaredAt="/home/jesper/git/extendj/java4/frontend/Modifiers.jrag:257")
public boolean isPublic() {
boolean isPublic_value = getModifiers().isPublic() || hostType().isInterfaceDecl();
return isPublic_value;
}
/**
* @attribute syn
* @aspect Modifiers
* @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:258
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="Modifiers", declaredAt="/home/jesper/git/extendj/java4/frontend/Modifiers.jrag:258")
public boolean isPrivate() {
boolean isPrivate_value = getModifiers().isPrivate();
return isPrivate_value;
}
/**
* @attribute syn
* @aspect Modifiers
* @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:259
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="Modifiers", declaredAt="/home/jesper/git/extendj/java4/frontend/Modifiers.jrag:259")
public boolean isProtected() {
boolean isProtected_value = getModifiers().isProtected();
return isProtected_value;
}
/**
* @attribute syn
* @aspect Modifiers
* @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:260
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="Modifiers", declaredAt="/home/jesper/git/extendj/java4/frontend/Modifiers.jrag:260")
public boolean isAbstract() {
{
return getModifiers().isAbstract() || (hostType().isInterfaceDecl() && !isStatic() && !isDefault());
}
}
/**
* @attribute syn
* @aspect Modifiers
* @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:261
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="Modifiers", declaredAt="/home/jesper/git/extendj/java4/frontend/Modifiers.jrag:261")
public boolean isStatic() {
boolean isStatic_value = getModifiers().isStatic();
return isStatic_value;
}
/**
* @attribute syn
* @aspect Modifiers
* @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:264
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="Modifiers", declaredAt="/home/jesper/git/extendj/java4/frontend/Modifiers.jrag:264")
public boolean isFinal() {
boolean isFinal_value = getModifiers().isFinal();
return isFinal_value;
}
/**
* @attribute syn
* @aspect Modifiers
* @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:265
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="Modifiers", declaredAt="/home/jesper/git/extendj/java4/frontend/Modifiers.jrag:265")
public boolean isSynchronized() {
boolean isSynchronized_value = getModifiers().isSynchronized();
return isSynchronized_value;
}
/**
* @attribute syn
* @aspect Modifiers
* @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:266
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="Modifiers", declaredAt="/home/jesper/git/extendj/java4/frontend/Modifiers.jrag:266")
public boolean isNative() {
boolean isNative_value = getModifiers().isNative();
return isNative_value;
}
/**
* @attribute syn
* @aspect Modifiers
* @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:267
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="Modifiers", declaredAt="/home/jesper/git/extendj/java4/frontend/Modifiers.jrag:267")
public boolean isStrictfp() {
boolean isStrictfp_value = getModifiers().isStrictfp();
return isStrictfp_value;
}
/**
* @attribute syn
* @aspect TypeHierarchyCheck
* @declaredat /home/jesper/git/extendj/java4/frontend/TypeHierarchyCheck.jrag:401
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="TypeHierarchyCheck", declaredAt="/home/jesper/git/extendj/java4/frontend/TypeHierarchyCheck.jrag:401")
public boolean mayOverride(MethodDecl m) {
{
// 9.4.3
if (isDefault() && m.hostType().isType("java.lang", "Object") && !m.isPrivate()) {
return false;
} else {
MethodDecl self = this;
if (self.isGeneric()) {
self = genericDecl().rawMethodDecl();
}
if (m.isGeneric()) {
m = m.genericDecl().rawMethodDecl();
}
return self.returnTypeSubstitutableFor(m);
}
}
}
/**
* @attribute syn
* @aspect DefiniteUnassignment
* @declaredat /home/jesper/git/extendj/java4/frontend/DefiniteAssignment.jrag:917
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="DefiniteUnassignment", declaredAt="/home/jesper/git/extendj/java4/frontend/DefiniteAssignment.jrag:917")
public boolean unassignedBefore(Variable v) {
boolean unassignedBefore_Variable_value = false;
return unassignedBefore_Variable_value;
}
/**
* @attribute syn
* @aspect NameCheck
* @declaredat /home/jesper/git/extendj/java4/frontend/NameCheck.jrag:149
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="NameCheck", declaredAt="/home/jesper/git/extendj/java4/frontend/NameCheck.jrag:149")
public Collection nameProblems() {
{
Collection problems = new LinkedList();
// 8.4
// 8.4.2
if (hostType().methodsSignature(signature()).size() > 1) {
problems.add(errorf("method with signature %s is multiply declared in type %s", signature(),
hostType().typeName()));
}
// 8.4.3.4
if (isNative() && hasBlock()) {
problems.add(error("native methods must have an empty semicolon body"));
}
// 8.4.5
if (isAbstract() && hasBlock()) {
problems.add(error("abstract methods must have an empty semicolon body"));
}
// 8.4.5
if (!hasBlock() && !(isNative() || isAbstract())) {
problems.add(error("only abstract and native methods may have an empty semicolon body"));
}
return problems;
}
}
/** @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:204
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="ExceptionHandling", declaredAt="/home/jesper/git/extendj/java4/frontend/ExceptionHandling.jrag:204")
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;
}
/**
* 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:60
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="LookupMethod", declaredAt="/home/jesper/git/extendj/java4/frontend/LookupMethod.jrag:60")
public TypeDecl paramType(int index) {
TypeDecl paramType_int_value = index >= 0 && index < getNumParameter()
? getParameter(index).type()
: unknownType();
return paramType_int_value;
}
/**
* @attribute syn
* @aspect MethodDecl
* @declaredat /home/jesper/git/extendj/java4/frontend/LookupMethod.jrag:298
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="MethodDecl", declaredAt="/home/jesper/git/extendj/java4/frontend/LookupMethod.jrag:298")
public String name() {
String name_value = getID();
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;
/**
* A method signature that is used to discriminate methods with the same name
* and argument types.
*
* See JLS6 §8.4.2.
* @attribute syn
* @aspect MethodDecl
* @declaredat /home/jesper/git/extendj/java4/frontend/LookupMethod.jrag:306
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="MethodDecl", declaredAt="/home/jesper/git/extendj/java4/frontend/LookupMethod.jrag:306")
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() {
StringBuilder sb = new StringBuilder();
sb.append(name() + "(");
for (int i = 0; i < getNumParameter(); i++) {
if (i != 0) {
sb.append(", ");
}
sb.append(getParameter(i).type().erasure().typeName());
}
sb.append(")");
return sb.toString();
}
/** Method signature, including type arguments.
* @attribute syn
* @aspect MethodDecl
* @declaredat /home/jesper/git/extendj/java4/frontend/LookupMethod.jrag:320
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="MethodDecl", declaredAt="/home/jesper/git/extendj/java4/frontend/LookupMethod.jrag:320")
public String fullSignature() {
{
StringBuilder sb = new StringBuilder();
sb.append(name() + "(");
for (int i = 0; i < getNumParameter(); i++) {
if (i != 0) {
sb.append(", ");
}
// TODO: TypeDecl.fullName() should not include @primitive.
TypeDecl paramType = getParameter(i).type();
if (paramType instanceof PrimitiveType) {
sb.append(paramType.typeName());
} else {
sb.append(paramType.fullName());
}
}
sb.append(")");
return sb.toString();
}
}
/**
* Compare the signature of this method declaration with another
* method declaration.
*
* See JLS6 §8.4.2.
*
* @return {@code true} if the signature of this method is equal to
* the signature of the argument method.
* @attribute syn
* @aspect MethodDecl
* @declaredat /home/jesper/git/extendj/java4/frontend/LookupMethod.jrag:349
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="MethodDecl", declaredAt="/home/jesper/git/extendj/java4/frontend/LookupMethod.jrag:349")
public boolean sameSignature(MethodDecl other) {
{
if (!refined_MethodDecl_MethodDecl_sameSignature_MethodDecl(other)) {
return false;
}
for (int i = 0; i < getNumParameter(); ++i) {
TypeDecl p1 = getParameter(i).type();
TypeDecl p2 = other.getParameter(i).type();
// JLSv7 $8.4.8.1 exception: if one parameter type is raw, then don't check type bounds
if (p1 != p2 && !p1.isRawType() && !p2.isRawType()) {
return false;
}
}
return true;
}
}
/**
* Determine if this method declaration is more specific than another
* method declaration.
*
* @param m argument method to compare to
* @return {@code true} if this the argument method is less specific than this
* and this is not less specific than the argument
* @attribute syn
* @aspect MethodDecl
* @declaredat /home/jesper/git/extendj/java4/frontend/LookupMethod.jrag:360
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="MethodDecl", declaredAt="/home/jesper/git/extendj/java4/frontend/LookupMethod.jrag:360")
public boolean moreSpecificThan(MethodDecl m) {
boolean moreSpecificThan_MethodDecl_value = m.lessSpecificThan(this) && !this.lessSpecificThan(m);
return moreSpecificThan_MethodDecl_value;
}
/** @apilevel internal */
private void lessSpecificThan_MethodDecl_reset() {
lessSpecificThan_MethodDecl_computed = null;
lessSpecificThan_MethodDecl_values = null;
}
/** @apilevel internal */
protected java.util.Map lessSpecificThan_MethodDecl_values;
/** @apilevel internal */
protected java.util.Map lessSpecificThan_MethodDecl_computed;
/**
* Determine if this method declaration is less specific than another
* method declaration.
*
*
Caution: that {@code a} is less specific than {@code b} does not mean that
* {@code b} is not less specific than {@code a}!
*
* @param m argument method to compare to.
* @return {@code true} if any parameter of this method declaration is not a
* (non-proper) subtype of the corresponding parameter of the argument
* method.
* @attribute syn
* @aspect MethodDecl
* @declaredat /home/jesper/git/extendj/java4/frontend/LookupMethod.jrag:375
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="MethodDecl", declaredAt="/home/jesper/git/extendj/java4/frontend/LookupMethod.jrag:375")
public boolean lessSpecificThan(MethodDecl m) {
Object _parameters = m;
if (lessSpecificThan_MethodDecl_computed == null) lessSpecificThan_MethodDecl_computed = new java.util.HashMap(4);
if (lessSpecificThan_MethodDecl_values == null) lessSpecificThan_MethodDecl_values = new java.util.HashMap(4);
ASTState state = state();
if (lessSpecificThan_MethodDecl_values.containsKey(_parameters)
&& lessSpecificThan_MethodDecl_computed.containsKey(_parameters)
&& (lessSpecificThan_MethodDecl_computed.get(_parameters) == ASTState.NON_CYCLE || lessSpecificThan_MethodDecl_computed.get(_parameters) == state().cycle())) {
return (Boolean) lessSpecificThan_MethodDecl_values.get(_parameters);
}
boolean lessSpecificThan_MethodDecl_value = lessSpecificThan_compute(m);
if (state().inCircle()) {
lessSpecificThan_MethodDecl_values.put(_parameters, lessSpecificThan_MethodDecl_value);
lessSpecificThan_MethodDecl_computed.put(_parameters, state().cycle());
} else {
lessSpecificThan_MethodDecl_values.put(_parameters, lessSpecificThan_MethodDecl_value);
lessSpecificThan_MethodDecl_computed.put(_parameters, ASTState.NON_CYCLE);
}
return lessSpecificThan_MethodDecl_value;
}
/** @apilevel internal */
private boolean lessSpecificThan_compute(MethodDecl m) {
// TODO(joqvist): fix code duplication between MethodDecl and ConstructorDecl.
// Here we have a non-obvious precondition: either both methods are
// variable arity or both are fixed arity.
// An applicable fixed arity method is always chosen instead of an
// applicable variable arity method, so a fixed arity method and
// a variable arity method will not be compared for most specificity.
if (!isVariableArity()) {
// Both methods have fixed arity.
for (int i = 0; i < getNumParameter(); i++) {
TypeDecl t1 = getParameter(i).type();
TypeDecl t2 = m.getParameter(i).type();
if (!t1.subtype(t2) && !t1.withinBounds(t2)) {
return true;
}
}
} else {
// Both methods have variable arity.
int numA = getNumParameter();
int numB = m.getNumParameter();
int num = Math.min(numA, numB);
for (int i = 0; i < num - 1; i++) {
TypeDecl t1 = getParameter(i).type();
TypeDecl t2 = m.getParameter(i).type();
if (!t1.subtype(t2) && !t1.withinBounds(t2)) {
return true;
}
}
if (numA <= numB) {
for (int i = num - 1; i < numB - 1; i++) {
TypeDecl t1 = getParameter(numA - 1).type().componentType();
TypeDecl t2 = m.getParameter(i).type();
if (!t1.subtype(t2) && !t1.withinBounds(t2)) {
return true;
}
}
TypeDecl t1 = getParameter(numA - 1).type().componentType();
TypeDecl t2 = m.getParameter(numB - 1).type().componentType();
if (!t1.subtype(t2) && !t1.withinBounds(t2)) {
return true;
}
} else {
for (int i = num - 1; i < numA - 1; i++) {
TypeDecl t1 = getParameter(i).type();
TypeDecl t2 = m.getParameter(numB - 1).type().componentType();
if (!t1.subtype(t2) && !t1.withinBounds(t2)) {
return true;
}
}
TypeDecl t1 = getParameter(numA - 1).type().componentType();
TypeDecl t2 = m.getParameter(numB - 1).type().componentType();
if (!t1.subtype(t2) && !t1.withinBounds(t2)) {
return true;
}
}
}
return false;
}
/** @apilevel internal */
private void overrideCandidate_MethodDecl_reset() {
overrideCandidate_MethodDecl_computed = null;
overrideCandidate_MethodDecl_values = null;
}
/** @apilevel internal */
protected java.util.Map overrideCandidate_MethodDecl_values;
/** @apilevel internal */
protected java.util.Map overrideCandidate_MethodDecl_computed;
/**
* Only check if this method would be able to override other method,
* not if this method is declared in a subtype of the hostType of
* other method. NB: does not check for equal signature!
*
* @param m other method.
* @return {@code true} of the method could potentially override.
* @attribute syn
* @aspect MethodDecl
* @declaredat /home/jesper/git/extendj/java4/frontend/LookupMethod.jrag:455
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="MethodDecl", declaredAt="/home/jesper/git/extendj/java4/frontend/LookupMethod.jrag:455")
public boolean overrideCandidate(MethodDecl m) {
Object _parameters = m;
if (overrideCandidate_MethodDecl_computed == null) overrideCandidate_MethodDecl_computed = new java.util.HashMap(4);
if (overrideCandidate_MethodDecl_values == null) overrideCandidate_MethodDecl_values = new java.util.HashMap(4);
ASTState state = state();
if (overrideCandidate_MethodDecl_values.containsKey(_parameters)
&& overrideCandidate_MethodDecl_computed.containsKey(_parameters)
&& (overrideCandidate_MethodDecl_computed.get(_parameters) == ASTState.NON_CYCLE || overrideCandidate_MethodDecl_computed.get(_parameters) == state().cycle())) {
return (Boolean) overrideCandidate_MethodDecl_values.get(_parameters);
}
boolean overrideCandidate_MethodDecl_value = !isStatic() && !m.isPrivate() && m.accessibleFrom(hostType());
if (state().inCircle()) {
overrideCandidate_MethodDecl_values.put(_parameters, overrideCandidate_MethodDecl_value);
overrideCandidate_MethodDecl_computed.put(_parameters, state().cycle());
} else {
overrideCandidate_MethodDecl_values.put(_parameters, overrideCandidate_MethodDecl_value);
overrideCandidate_MethodDecl_computed.put(_parameters, ASTState.NON_CYCLE);
}
return overrideCandidate_MethodDecl_value;
}
/** @apilevel internal */
private void overrides_MethodDecl_reset() {
overrides_MethodDecl_computed = null;
overrides_MethodDecl_values = null;
}
/** @apilevel internal */
protected java.util.Map overrides_MethodDecl_values;
/** @apilevel internal */
protected java.util.Map overrides_MethodDecl_computed;
/**
* Determine if this method declaration actually overrides
* another declaration from a supertype.
* @attribute syn
* @aspect MethodDecl
* @declaredat /home/jesper/git/extendj/java4/frontend/LookupMethod.jrag:462
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="MethodDecl", declaredAt="/home/jesper/git/extendj/java4/frontend/LookupMethod.jrag:462")
public boolean overrides(MethodDecl m) {
Object _parameters = m;
if (overrides_MethodDecl_computed == null) overrides_MethodDecl_computed = new java.util.HashMap(4);
if (overrides_MethodDecl_values == null) overrides_MethodDecl_values = new java.util.HashMap(4);
ASTState state = state();
if (overrides_MethodDecl_values.containsKey(_parameters)
&& overrides_MethodDecl_computed.containsKey(_parameters)
&& (overrides_MethodDecl_computed.get(_parameters) == ASTState.NON_CYCLE || overrides_MethodDecl_computed.get(_parameters) == state().cycle())) {
return (Boolean) overrides_MethodDecl_values.get(_parameters);
}
boolean overrides_MethodDecl_value = !isStatic() && !m.isPrivate() && m.accessibleFrom(hostType())
&& hostType().instanceOf(m.hostType()) && m.signature().equals(signature());
if (state().inCircle()) {
overrides_MethodDecl_values.put(_parameters, overrides_MethodDecl_value);
overrides_MethodDecl_computed.put(_parameters, state().cycle());
} else {
overrides_MethodDecl_values.put(_parameters, overrides_MethodDecl_value);
overrides_MethodDecl_computed.put(_parameters, ASTState.NON_CYCLE);
}
return overrides_MethodDecl_value;
}
/** @apilevel internal */
private void hides_MethodDecl_reset() {
hides_MethodDecl_computed = null;
hides_MethodDecl_values = null;
}
/** @apilevel internal */
protected java.util.Map hides_MethodDecl_values;
/** @apilevel internal */
protected java.util.Map hides_MethodDecl_computed;
/**
* A method declaration hides another declaration from a superclass
* if the other method would otherwise be accessible, and this
* method is static and has the same signature.
* @attribute syn
* @aspect MethodDecl
* @declaredat /home/jesper/git/extendj/java4/frontend/LookupMethod.jrag:471
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="MethodDecl", declaredAt="/home/jesper/git/extendj/java4/frontend/LookupMethod.jrag:471")
public boolean hides(MethodDecl m) {
Object _parameters = m;
if (hides_MethodDecl_computed == null) hides_MethodDecl_computed = new java.util.HashMap(4);
if (hides_MethodDecl_values == null) hides_MethodDecl_values = new java.util.HashMap(4);
ASTState state = state();
if (hides_MethodDecl_values.containsKey(_parameters)
&& hides_MethodDecl_computed.containsKey(_parameters)
&& (hides_MethodDecl_computed.get(_parameters) == ASTState.NON_CYCLE || hides_MethodDecl_computed.get(_parameters) == state().cycle())) {
return (Boolean) hides_MethodDecl_values.get(_parameters);
}
boolean hides_MethodDecl_value = isStatic() && !m.isPrivate() && m.accessibleFrom(hostType())
&& hostType().instanceOf(m.hostType()) && m.signature().equals(signature());
if (state().inCircle()) {
hides_MethodDecl_values.put(_parameters, hides_MethodDecl_value);
hides_MethodDecl_computed.put(_parameters, state().cycle());
} else {
hides_MethodDecl_values.put(_parameters, hides_MethodDecl_value);
hides_MethodDecl_computed.put(_parameters, ASTState.NON_CYCLE);
}
return hides_MethodDecl_value;
}
/**
* @attribute syn
* @aspect TypeCheck
* @declaredat /home/jesper/git/extendj/java4/frontend/TypeCheck.jrag:517
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="TypeCheck", declaredAt="/home/jesper/git/extendj/java4/frontend/TypeCheck.jrag:517")
public Collection typeProblems() {
{
Collection problems = new LinkedList();
// Thrown vs super class method see MethodDecl.nameCheck.
// 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()));
}
}
// Check returns.
if (!isVoid() && hasBlock() && getBlock().canCompleteNormally()) {
problems.add(error("the body of a non void method may not complete normally"));
}
return problems;
}
}
/**
* @attribute syn
* @aspect VariableArityParameters
* @declaredat /home/jesper/git/extendj/java5/frontend/VariableArityParameters.jrag:53
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="VariableArityParameters", declaredAt="/home/jesper/git/extendj/java5/frontend/VariableArityParameters.jrag:53")
public boolean isVariableArity() {
boolean isVariableArity_value = getNumParameter() > 0 && getParameter(getNumParameter() - 1).isVariableArity();
return isVariableArity_value;
}
/**
* @attribute syn
* @aspect VariableArityParameters
* @declaredat /home/jesper/git/extendj/java5/frontend/VariableArityParameters.jrag:63
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="VariableArityParameters", declaredAt="/home/jesper/git/extendj/java5/frontend/VariableArityParameters.jrag:63")
public ParameterDeclaration lastParameter() {
ParameterDeclaration lastParameter_value = getParameter(getNumParameter() - 1);
return lastParameter_value;
}
/**
* @attribute syn
* @aspect Annotations
* @declaredat /home/jesper/git/extendj/java5/frontend/Annotations.jrag:231
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="Annotations", declaredAt="/home/jesper/git/extendj/java5/frontend/Annotations.jrag:231")
public boolean annotationMethodOverride() {
boolean annotationMethodOverride_value = !hostType().ancestorMethods(signature()).isEmpty();
return annotationMethodOverride_value;
}
/**
* @attribute syn
* @aspect Annotations
* @declaredat /home/jesper/git/extendj/java5/frontend/Annotations.jrag:425
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="Annotations", declaredAt="/home/jesper/git/extendj/java5/frontend/Annotations.jrag:425")
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:482
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="Annotations", declaredAt="/home/jesper/git/extendj/java5/frontend/Annotations.jrag:482")
public boolean isDeprecated() {
boolean isDeprecated_value = getModifiers().hasDeprecatedAnnotation();
return isDeprecated_value;
}
/** @apilevel internal */
private void usesTypeVariable_reset() {
usesTypeVariable_computed = null;
}
/** @apilevel internal */
protected ASTState.Cycle usesTypeVariable_computed = null;
/** @apilevel internal */
protected boolean usesTypeVariable_value;
/**
* @attribute syn
* @aspect LookupParTypeDecl
* @declaredat /home/jesper/git/extendj/java5/frontend/Generics.jrag:1327
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="LookupParTypeDecl", declaredAt="/home/jesper/git/extendj/java5/frontend/Generics.jrag:1327")
public boolean usesTypeVariable() {
ASTState state = state();
if (usesTypeVariable_computed == ASTState.NON_CYCLE || usesTypeVariable_computed == state().cycle()) {
return usesTypeVariable_value;
}
usesTypeVariable_value = getModifiers().usesTypeVariable() || getTypeAccess().usesTypeVariable()
|| getParameterList().usesTypeVariable() || getExceptionList().usesTypeVariable();
if (state().inCircle()) {
usesTypeVariable_computed = state().cycle();
} else {
usesTypeVariable_computed = ASTState.NON_CYCLE;
}
return usesTypeVariable_value;
}
/**
* @attribute syn
* @aspect LookupParTypeDecl
* @declaredat /home/jesper/git/extendj/java5/frontend/Generics.jrag:1674
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="LookupParTypeDecl", declaredAt="/home/jesper/git/extendj/java5/frontend/Generics.jrag:1674")
public MethodDecl erasedMethod() {
MethodDecl erasedMethod_value = this;
return erasedMethod_value;
}
/**
* @attribute syn
* @aspect LookupParTypeDecl
* @declaredat /home/jesper/git/extendj/java5/frontend/Generics.jrag:1730
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="LookupParTypeDecl", declaredAt="/home/jesper/git/extendj/java5/frontend/Generics.jrag:1730")
public boolean isSubstitutable() {
boolean isSubstitutable_value = !isStatic();
return isSubstitutable_value;
}
/** @apilevel internal */
private void sourceMethodDecl_reset() {
sourceMethodDecl_computed = null;
sourceMethodDecl_value = null;
}
/** @apilevel internal */
protected ASTState.Cycle sourceMethodDecl_computed = null;
/** @apilevel internal */
protected MethodDecl sourceMethodDecl_value;
/**
* @attribute syn
* @aspect SourceDeclarations
* @declaredat /home/jesper/git/extendj/java5/frontend/Generics.jrag:1909
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="SourceDeclarations", declaredAt="/home/jesper/git/extendj/java5/frontend/Generics.jrag:1909")
public MethodDecl sourceMethodDecl() {
ASTState state = state();
if (sourceMethodDecl_computed == ASTState.NON_CYCLE || sourceMethodDecl_computed == state().cycle()) {
return sourceMethodDecl_value;
}
sourceMethodDecl_value = this;
if (state().inCircle()) {
sourceMethodDecl_computed = state().cycle();
} else {
sourceMethodDecl_computed = ASTState.NON_CYCLE;
}
return sourceMethodDecl_value;
}
/**
* @attribute syn
* @aspect GenericsParTypeDecl
* @declaredat /home/jesper/git/extendj/java5/frontend/GenericsParTypeDecl.jrag:98
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="GenericsParTypeDecl", declaredAt="/home/jesper/git/extendj/java5/frontend/GenericsParTypeDecl.jrag:98")
public boolean visibleTypeParameters() {
boolean visibleTypeParameters_value = !isStatic();
return visibleTypeParameters_value;
}
/**
* Note: isGeneric must be called first to check if this declaration is generic.
* Otherwise this attribute will throw an error!
* @return the original generic declaration of this method.
* @attribute syn
* @aspect MethodSignature15
* @declaredat /home/jesper/git/extendj/java5/frontend/MethodSignature.jrag:424
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="MethodSignature15", declaredAt="/home/jesper/git/extendj/java5/frontend/MethodSignature.jrag:424")
public GenericMethodDecl genericDecl() {
{
throw new Error("can not evaulate generic declaration of non-generic method");
}
}
/**
* @attribute syn
* @aspect MethodSignature15
* @declaredat /home/jesper/git/extendj/java5/frontend/MethodSignature.jrag:513
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="MethodSignature15", declaredAt="/home/jesper/git/extendj/java5/frontend/MethodSignature.jrag:513")
public int arity() {
int arity_value = getNumParameter();
return arity_value;
}
/**
* @return true if the modifier list includes the SafeVarargs annotation
* @attribute syn
* @aspect SafeVarargs
* @declaredat /home/jesper/git/extendj/java7/frontend/SafeVarargs.jrag:41
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="SafeVarargs", declaredAt="/home/jesper/git/extendj/java7/frontend/SafeVarargs.jrag:41")
public boolean hasAnnotationSafeVarargs() {
boolean hasAnnotationSafeVarargs_value = getModifiers().hasAnnotationSafeVarargs();
return hasAnnotationSafeVarargs_value;
}
/**
* @attribute syn
* @aspect SafeVarargs
* @declaredat /home/jesper/git/extendj/java7/frontend/SafeVarargs.jrag:93
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="SafeVarargs", declaredAt="/home/jesper/git/extendj/java7/frontend/SafeVarargs.jrag:93")
public Collection safeVarargsProblems() {
{
if (hasAnnotationSafeVarargs()) {
if (!isVariableArity()) {
return Collections.singleton(errorf(
"illegal use of @SafeVarargs on non-varargs method %s().", name()));
} else if (!isFinal() && !isStatic()) {
return Collections.singleton(errorf(
"illegal use of @SafeVarargs on non-final and non-static method %s().", name()));
}
}
return Collections.emptySet();
}
}
/**
* @attribute syn
* @aspect SuppressWarnings
* @declaredat /home/jesper/git/extendj/java7/frontend/SuppressWarnings.jrag:45
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="SuppressWarnings", declaredAt="/home/jesper/git/extendj/java7/frontend/SuppressWarnings.jrag:45")
public boolean suppressWarnings(String type) {
boolean suppressWarnings_String_value = hasAnnotationSuppressWarnings(type) || withinSuppressWarnings(type);
return suppressWarnings_String_value;
}
/**
* @attribute syn
* @aspect PreciseRethrow
* @declaredat /home/jesper/git/extendj/java8/frontend/EffectivelyFinal.jrag:40
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="PreciseRethrow", declaredAt="/home/jesper/git/extendj/java8/frontend/EffectivelyFinal.jrag:40")
public boolean modifiedInScope(Variable var) {
boolean modifiedInScope_Variable_value = hasBlock() && getBlock().modifiedInScope(var);
return modifiedInScope_Variable_value;
}
/**
* @attribute syn
* @aspect Modifiers
* @declaredat /home/jesper/git/extendj/java8/frontend/Modifiers.jrag:31
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="Modifiers", declaredAt="/home/jesper/git/extendj/java8/frontend/Modifiers.jrag:31")
public boolean isDefault() {
boolean isDefault_value = getModifiers().isDefault();
return isDefault_value;
}
/** @apilevel internal */
private void subsignatureTo_MethodDecl_reset() {
subsignatureTo_MethodDecl_computed = null;
subsignatureTo_MethodDecl_values = null;
}
/** @apilevel internal */
protected java.util.Map subsignatureTo_MethodDecl_values;
/** @apilevel internal */
protected java.util.Map subsignatureTo_MethodDecl_computed;
/**
* @attribute syn
* @aspect FunctionalInterface
* @declaredat /home/jesper/git/extendj/java8/frontend/FunctionalInterface.jrag:44
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="FunctionalInterface", declaredAt="/home/jesper/git/extendj/java8/frontend/FunctionalInterface.jrag:44")
public boolean subsignatureTo(MethodDecl m) {
Object _parameters = m;
if (subsignatureTo_MethodDecl_computed == null) subsignatureTo_MethodDecl_computed = new java.util.HashMap(4);
if (subsignatureTo_MethodDecl_values == null) subsignatureTo_MethodDecl_values = new java.util.HashMap(4);
ASTState state = state();
if (subsignatureTo_MethodDecl_values.containsKey(_parameters)
&& subsignatureTo_MethodDecl_computed.containsKey(_parameters)
&& (subsignatureTo_MethodDecl_computed.get(_parameters) == ASTState.NON_CYCLE || subsignatureTo_MethodDecl_computed.get(_parameters) == state().cycle())) {
return (Boolean) subsignatureTo_MethodDecl_values.get(_parameters);
}
boolean subsignatureTo_MethodDecl_value = subsignatureTo_compute(m);
if (state().inCircle()) {
subsignatureTo_MethodDecl_values.put(_parameters, subsignatureTo_MethodDecl_value);
subsignatureTo_MethodDecl_computed.put(_parameters, state().cycle());
} else {
subsignatureTo_MethodDecl_values.put(_parameters, subsignatureTo_MethodDecl_value);
subsignatureTo_MethodDecl_computed.put(_parameters, ASTState.NON_CYCLE);
}
return subsignatureTo_MethodDecl_value;
}
/** @apilevel internal */
private boolean subsignatureTo_compute(MethodDecl m) {
if (fullSignature().equals(m.fullSignature())) {
return true;
} else if (fullSignature().equals(m.signature())) {
return true;
} else {
return false;
}
}
/** @apilevel internal */
private void returnTypeSubstitutableFor_MethodDecl_reset() {
returnTypeSubstitutableFor_MethodDecl_computed = null;
returnTypeSubstitutableFor_MethodDecl_values = null;
}
/** @apilevel internal */
protected java.util.Map returnTypeSubstitutableFor_MethodDecl_values;
/** @apilevel internal */
protected java.util.Map returnTypeSubstitutableFor_MethodDecl_computed;
/**
* @attribute syn
* @aspect FunctionalInterface
* @declaredat /home/jesper/git/extendj/java8/frontend/FunctionalInterface.jrag:68
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="FunctionalInterface", declaredAt="/home/jesper/git/extendj/java8/frontend/FunctionalInterface.jrag:68")
public boolean returnTypeSubstitutableFor(MethodDecl m) {
Object _parameters = m;
if (returnTypeSubstitutableFor_MethodDecl_computed == null) returnTypeSubstitutableFor_MethodDecl_computed = new java.util.HashMap(4);
if (returnTypeSubstitutableFor_MethodDecl_values == null) returnTypeSubstitutableFor_MethodDecl_values = new java.util.HashMap(4);
ASTState state = state();
if (returnTypeSubstitutableFor_MethodDecl_values.containsKey(_parameters)
&& returnTypeSubstitutableFor_MethodDecl_computed.containsKey(_parameters)
&& (returnTypeSubstitutableFor_MethodDecl_computed.get(_parameters) == ASTState.NON_CYCLE || returnTypeSubstitutableFor_MethodDecl_computed.get(_parameters) == state().cycle())) {
return (Boolean) returnTypeSubstitutableFor_MethodDecl_values.get(_parameters);
}
boolean returnTypeSubstitutableFor_MethodDecl_value = returnTypeSubstitutableFor_compute(m);
if (state().inCircle()) {
returnTypeSubstitutableFor_MethodDecl_values.put(_parameters, returnTypeSubstitutableFor_MethodDecl_value);
returnTypeSubstitutableFor_MethodDecl_computed.put(_parameters, state().cycle());
} else {
returnTypeSubstitutableFor_MethodDecl_values.put(_parameters, returnTypeSubstitutableFor_MethodDecl_value);
returnTypeSubstitutableFor_MethodDecl_computed.put(_parameters, ASTState.NON_CYCLE);
}
return returnTypeSubstitutableFor_MethodDecl_value;
}
/** @apilevel internal */
private boolean returnTypeSubstitutableFor_compute(MethodDecl m) {
TypeDecl t1 = type();
TypeDecl t2 = m.type();
if (t1 instanceof VoidType && t2 instanceof VoidType) {
return true;
} else if (t1 instanceof PrimitiveType && t2 instanceof PrimitiveType) {
PrimitiveType p1 = (PrimitiveType) t1;
PrimitiveType p2 = (PrimitiveType) t2;
return p1 == p2;
} else if (t1.isReferenceType() && t2.isReferenceType()) {
if (t1.strictSubtype(t2)) {
return true;
} else {
return !sameSignature(m) && (t1 == t2.erasure() || t1.erasure() == t2);
}
} else {
return false;
}
}
/**
* If the method is parameterized, this returns the non-wildcard parameterization
* according to the rules specified in JLS 8 §9.9.
* Otherwise, an unknown method is returned.
* @attribute syn
* @aspect LambdaParametersInference
* @declaredat /home/jesper/git/extendj/java8/frontend/TypeCheck.jrag:536
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="LambdaParametersInference", declaredAt="/home/jesper/git/extendj/java8/frontend/TypeCheck.jrag:536")
public Option nonWildcardParameterization() {
Option nonWildcardParameterization_value = Option.some(this);
return nonWildcardParameterization_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:114
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="CreateBCode", declaredAt="/home/jesper/git/extendj/java4/backend/CreateBCode.jrag:114")
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;
}
/** @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:60
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="Flags", declaredAt="/home/jesper/git/extendj/java4/backend/Flags.jrag:60")
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_MethodDecl_flags();
if (isVariableArity()) {
res |= Modifiers.ACC_VARARGS;
}
return res;
}
/**
* @attribute syn
* @aspect GenerateClassfile
* @declaredat /home/jesper/git/extendj/java4/backend/GenerateClassfile.jrag:448
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="GenerateClassfile", declaredAt="/home/jesper/git/extendj/java4/backend/GenerateClassfile.jrag:448")
public boolean isMethodOrConstructor() {
boolean isMethodOrConstructor_value = true;
return isMethodOrConstructor_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:69
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="LocalNum", declaredAt="/home/jesper/git/extendj/java4/backend/LocalNum.jrag:69")
public int offsetBeforeParameters() {
ASTState state = state();
if (offsetBeforeParameters_computed == ASTState.NON_CYCLE || offsetBeforeParameters_computed == state().cycle()) {
return offsetBeforeParameters_value;
}
offsetBeforeParameters_value = isStatic() ? 0 : 1;
if (state().inCircle()) {
offsetBeforeParameters_computed = state().cycle();
} else {
offsetBeforeParameters_computed = ASTState.NON_CYCLE;
}
return offsetBeforeParameters_value;
}
/** @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:71
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="LocalNum", declaredAt="/home/jesper/git/extendj/java4/backend/LocalNum.jrag:71")
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() {
if (getNumParameter() == 0) {
return offsetBeforeParameters();
} else {
ParameterDeclaration last = getParameter(getNumParameter()-1);
return last.localNum() + last.type().variableSize();
}
}
/** @apilevel internal */
private void resultOffset_reset() {
resultOffset_computed = null;
}
/** @apilevel internal */
protected ASTState.Cycle resultOffset_computed = null;
/** @apilevel internal */
protected int resultOffset_value;
/**
* @attribute syn
* @aspect LocalNum
* @declaredat /home/jesper/git/extendj/java4/backend/LocalNum.jrag:108
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="LocalNum", declaredAt="/home/jesper/git/extendj/java4/backend/LocalNum.jrag:108")
public int resultOffset() {
ASTState state = state();
if (resultOffset_computed == ASTState.NON_CYCLE || resultOffset_computed == state().cycle()) {
return resultOffset_value;
}
resultOffset_value = type().isVoid() ? 0 : type().variableSize();
if (state().inCircle()) {
resultOffset_computed = state().cycle();
} else {
resultOffset_computed = ASTState.NON_CYCLE;
}
return resultOffset_value;
}
/** @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_AnnotationsCodegen_MethodDecl_attributes();
if (needsSignatureAttribute()) {
attributes.add(new SignatureAttribute(hostType().constantPool(), methodTypeSignature()));
}
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:117
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="ConstantPoolNames", declaredAt="/home/jesper/git/extendj/java4/backend/ConstantPoolNames.jrag:117")
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("(");
for (int i=0; i Define_lookupVariable(ASTNode _callerNode, ASTNode _childNode, String name) {
if (_callerNode == getParameterListNoTransform()) {
// @declaredat /home/jesper/git/extendj/java4/frontend/LookupVariable.jrag:76
int childIndex = _callerNode.getIndexOfChild(_childNode);
return parameterDeclaration(name);
}
else if (_callerNode == getBlockOptNoTransform()) {
// @declaredat /home/jesper/git/extendj/java4/frontend/LookupVariable.jrag:64
{
SimpleSet result = parameterDeclaration(name);
// A declaration of a method parameter name shadows any other variable declarations.
if (!result.isEmpty()) {
return result;
}
// Delegate to other declarations in scope.
return lookupVariable(name);
}
}
else {
return getParent().Define_lookupVariable(this, _callerNode, name);
}
}
/**
* @declaredat /home/jesper/git/extendj/java7/backend/MultiCatch.jrag:96
* @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/Modifiers.jrag:430
* @apilevel internal
*/
public boolean Define_mayBePublic(ASTNode _callerNode, ASTNode _childNode) {
if (getModifiersNoTransform() != null && _callerNode == getModifiers()) {
// @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:324
return true;
}
else {
return getParent().Define_mayBePublic(this, _callerNode);
}
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:430
* @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:432
* @apilevel internal
*/
public boolean Define_mayBeProtected(ASTNode _callerNode, ASTNode _childNode) {
if (getModifiersNoTransform() != null && _callerNode == getModifiers()) {
// @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:325
return true;
}
else {
return getParent().Define_mayBeProtected(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 mayBeProtected
*/
protected boolean canDefine_mayBeProtected(ASTNode _callerNode, ASTNode _childNode) {
return true;
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:431
* @apilevel internal
*/
public boolean Define_mayBePrivate(ASTNode _callerNode, ASTNode _childNode) {
if (getModifiersNoTransform() != null && _callerNode == getModifiers()) {
// @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:326
return true;
}
else {
return getParent().Define_mayBePrivate(this, _callerNode);
}
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:431
* @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/java4/frontend/Modifiers.jrag:435
* @apilevel internal
*/
public boolean Define_mayBeAbstract(ASTNode _callerNode, ASTNode _childNode) {
if (getModifiersNoTransform() != null && _callerNode == getModifiers()) {
// @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:327
return true;
}
else {
return getParent().Define_mayBeAbstract(this, _callerNode);
}
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:435
* @apilevel internal
* @return {@code true} if this node has an equation for the inherited attribute mayBeAbstract
*/
protected boolean canDefine_mayBeAbstract(ASTNode _callerNode, ASTNode _childNode) {
return true;
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:433
* @apilevel internal
*/
public boolean Define_mayBeStatic(ASTNode _callerNode, ASTNode _childNode) {
if (getModifiersNoTransform() != null && _callerNode == getModifiers()) {
// @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:328
return true;
}
else {
return getParent().Define_mayBeStatic(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 mayBeStatic
*/
protected boolean canDefine_mayBeStatic(ASTNode _callerNode, ASTNode _childNode) {
return true;
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:434
* @apilevel internal
*/
public boolean Define_mayBeFinal(ASTNode _callerNode, ASTNode _childNode) {
if (getModifiersNoTransform() != null && _callerNode == getModifiers()) {
// @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:329
return true;
}
else {
return getParent().Define_mayBeFinal(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 mayBeFinal
*/
protected boolean canDefine_mayBeFinal(ASTNode _callerNode, ASTNode _childNode) {
return true;
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:439
* @apilevel internal
*/
public boolean Define_mayBeSynchronized(ASTNode _callerNode, ASTNode _childNode) {
if (getModifiersNoTransform() != null && _callerNode == getModifiers()) {
// @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:330
return true;
}
else {
return getParent().Define_mayBeSynchronized(this, _callerNode);
}
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:439
* @apilevel internal
* @return {@code true} if this node has an equation for the inherited attribute mayBeSynchronized
*/
protected boolean canDefine_mayBeSynchronized(ASTNode _callerNode, ASTNode _childNode) {
return true;
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:440
* @apilevel internal
*/
public boolean Define_mayBeNative(ASTNode _callerNode, ASTNode _childNode) {
if (getModifiersNoTransform() != null && _callerNode == getModifiers()) {
// @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:331
return true;
}
else {
return getParent().Define_mayBeNative(this, _callerNode);
}
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:440
* @apilevel internal
* @return {@code true} if this node has an equation for the inherited attribute mayBeNative
*/
protected boolean canDefine_mayBeNative(ASTNode _callerNode, ASTNode _childNode) {
return true;
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:438
* @apilevel internal
*/
public boolean Define_mayBeStrictfp(ASTNode _callerNode, ASTNode _childNode) {
if (getModifiersNoTransform() != null && _callerNode == getModifiers()) {
// @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:332
return true;
}
else {
return getParent().Define_mayBeStrictfp(this, _callerNode);
}
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:438
* @apilevel internal
* @return {@code true} if this node has an equation for the inherited attribute mayBeStrictfp
*/
protected boolean canDefine_mayBeStrictfp(ASTNode _callerNode, ASTNode _childNode) {
return true;
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/TypeHierarchyCheck.jrag:223
* @apilevel internal
*/
public boolean Define_inStaticContext(ASTNode _callerNode, ASTNode _childNode) {
if (_callerNode == getBlockOptNoTransform()) {
// @declaredat /home/jesper/git/extendj/java4/frontend/TypeHierarchyCheck.jrag:231
return isStatic();
}
else {
return getParent().Define_inStaticContext(this, _callerNode);
}
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/TypeHierarchyCheck.jrag:223
* @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/DefiniteAssignment.jrag:256
* @apilevel internal
*/
public boolean Define_assignedBefore(ASTNode _callerNode, ASTNode _childNode, Variable v) {
if (_callerNode == getBlockOptNoTransform()) {
// @declaredat /home/jesper/git/extendj/java4/frontend/DefiniteAssignment.jrag:547
return v.isField() || assignedBefore(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 (_callerNode == getBlockOptNoTransform()) {
// @declaredat /home/jesper/git/extendj/java4/frontend/DefiniteAssignment.jrag:1159
return !v.isField();
}
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/java7/frontend/TryWithResources.jrag:112
* @apilevel internal
*/
public boolean Define_handlesException(ASTNode _callerNode, ASTNode _childNode, TypeDecl exceptionType) {
if (_callerNode == getBlockOptNoTransform()) {
// @declaredat /home/jesper/git/extendj/java4/frontend/ExceptionHandling.jrag:201
return throwsException(exceptionType);
}
else {
return getParent().Define_handlesException(this, _callerNode, exceptionType);
}
}
/**
* @declaredat /home/jesper/git/extendj/java7/frontend/TryWithResources.jrag:112
* @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/TypeCheck.jrag:537
* @apilevel internal
*/
public TypeDecl Define_returnType(ASTNode _callerNode, ASTNode _childNode) {
if (_callerNode == getBlockOptNoTransform()) {
// @declaredat /home/jesper/git/extendj/java4/frontend/TypeCheck.jrag:539
return type();
}
else {
return getParent().Define_returnType(this, _callerNode);
}
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/TypeCheck.jrag:537
* @apilevel internal
* @return {@code true} if this node has an equation for the inherited attribute returnType
*/
protected boolean canDefine_returnType(ASTNode _callerNode, ASTNode _childNode) {
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:42
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/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:154
return name.equals("METHOD");
}
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/Enums.jrag:563
* @apilevel internal
*/
public boolean Define_inEnumInitializer(ASTNode _callerNode, ASTNode _childNode) {
int childIndex = this.getIndexOfChild(_callerNode);
return false;
}
/**
* @declaredat /home/jesper/git/extendj/java5/frontend/Enums.jrag:563
* @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/Generics.jrag:852
* @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:852
* @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/java8/frontend/EffectivelyFinal.jrag:30
* @apilevel internal
*/
public boolean Define_inhModifiedInScope(ASTNode _callerNode, ASTNode _childNode, Variable var) {
if (_callerNode == getParameterListNoTransform()) {
// @declaredat /home/jesper/git/extendj/java7/frontend/PreciseRethrow.jrag:73
int childIndex = _callerNode.getIndexOfChild(_childNode);
return hasBlock() && getBlock().modifiedInScope(var);
}
else {
return getParent().Define_inhModifiedInScope(this, _callerNode, var);
}
}
/**
* @declaredat /home/jesper/git/extendj/java8/frontend/EffectivelyFinal.jrag:30
* @apilevel internal
* @return {@code true} if this node has an equation for the inherited attribute inhModifiedInScope
*/
protected boolean canDefine_inhModifiedInScope(ASTNode _callerNode, ASTNode _childNode, Variable var) {
return true;
}
/**
* @declaredat /home/jesper/git/extendj/java7/frontend/PreciseRethrow.jrag:202
* @apilevel internal
*/
public boolean Define_isCatchParam(ASTNode _callerNode, ASTNode _childNode) {
if (_callerNode == getParameterListNoTransform()) {
// @declaredat /home/jesper/git/extendj/java7/frontend/PreciseRethrow.jrag:205
int childIndex = _callerNode.getIndexOfChild(_childNode);
return false;
}
else {
return getParent().Define_isCatchParam(this, _callerNode);
}
}
/**
* @declaredat /home/jesper/git/extendj/java7/frontend/PreciseRethrow.jrag:202
* @apilevel internal
* @return {@code true} if this node has an equation for the inherited attribute isCatchParam
*/
protected boolean canDefine_isCatchParam(ASTNode _callerNode, ASTNode _childNode) {
return true;
}
/**
* @declaredat /home/jesper/git/extendj/java7/backend/MultiCatch.jrag:53
* @apilevel internal
*/
public int Define_localNum(ASTNode _callerNode, ASTNode _childNode) {
if (_callerNode == getBlockOptNoTransform()) {
// @declaredat /home/jesper/git/extendj/java4/backend/LocalNum.jrag:110
return offsetAfterParameters() + resultOffset();
}
else if (_callerNode == getParameterListNoTransform()) {
// @declaredat /home/jesper/git/extendj/java4/backend/LocalNum.jrag:80
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/java7/backend/MultiCatch.jrag:53
* @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;
}
/**
* @declaredat /home/jesper/git/extendj/java4/backend/LocalNum.jrag:100
* @apilevel internal
*/
public int Define_resultSaveLocalNum(ASTNode _callerNode, ASTNode _childNode) {
if (_callerNode == getBlockOptNoTransform()) {
// @declaredat /home/jesper/git/extendj/java4/backend/LocalNum.jrag:102
return offsetAfterParameters();
}
else {
return getParent().Define_resultSaveLocalNum(this, _callerNode);
}
}
/**
* @declaredat /home/jesper/git/extendj/java4/backend/LocalNum.jrag:100
* @apilevel internal
* @return {@code true} if this node has an equation for the inherited attribute resultSaveLocalNum
*/
protected boolean canDefine_resultSaveLocalNum(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/Modifiers.jrag:148
{
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/NameCheck.jrag:147
{
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:515
{
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/java7/frontend/SafeVarargs.jrag:131
if (!suppressWarnings("unchecked")
&& !hasAnnotationSafeVarargs()
&& isVariableArity()
&& !getParameter(getNumParameter()-1).type().isReifiable()) {
{
java.util.Set contributors = _map.get(_root);
if (contributors == null) {
contributors = new java.util.LinkedHashSet();
_map.put((ASTNode) _root, contributors);
}
contributors.add(this);
}
}
super.collect_contributors_CompilationUnit_problems(_root, _map);
}
/** @apilevel internal */
protected void contributeTo_CompilationUnit_problems(LinkedList collection) {
super.contributeTo_CompilationUnit_problems(collection);
for (Problem value : modifierProblems()) {
collection.add(value);
}
for (Problem value : nameProblems()) {
collection.add(value);
}
for (Problem value : typeProblems()) {
collection.add(value);
}
if (!suppressWarnings("unchecked")
&& !hasAnnotationSafeVarargs()
&& isVariableArity()
&& !getParameter(getNumParameter()-1).type().isReifiable()) {
collection.add(warning("possible heap pollution for variable arity parameter"));
}
}
}