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.Collection;
import java.util.Collections;
import java.util.HashSet;
import java.util.ArrayList;
import java.io.ByteArrayOutputStream;
import java.io.PrintStream;
import java.lang.reflect.InvocationTargetException;
import java.lang.reflect.Method;
import java.util.*;
import java.util.zip.*;
import java.io.*;
import java.io.BufferedInputStream;
import java.io.DataInputStream;
import org.jastadd.util.PrettyPrintable;
import org.jastadd.util.PrettyPrinter;
import java.io.FileNotFoundException;
import java.io.InputStream;
import org.jastadd.util.*;
import java.io.File;
import java.io.IOException;
import java.util.Set;
import beaver.*;
import java.util.concurrent.atomic.AtomicBoolean;
import java.util.concurrent.ConcurrentMap;
import java.util.concurrent.ConcurrentHashMap;
import java.util.concurrent.ConcurrentSkipListMap;
/**
* @ast node
* @declaredat /home/jesper/git/extendj/java4/grammar/Java.ast:185
* @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:455
*/
@Override
public int size() {
return 1;
}
/**
* @aspect DataStructures
* @declaredat /home/jesper/git/extendj/java4/frontend/DataStructures.jrag:460
*/
@Override
public boolean isEmpty() {
return false;
}
/**
* @aspect DataStructures
* @declaredat /home/jesper/git/extendj/java4/frontend/DataStructures.jrag:465
*/
@Override
public SimpleSet add(MethodDecl o) {
return new SimpleSetImpl(this, o);
}
/**
* @aspect DataStructures
* @declaredat /home/jesper/git/extendj/java4/frontend/DataStructures.jrag:470
*/
@Override
public boolean contains(Object o) {
return this == o;
}
/**
* @aspect DataStructures
* @declaredat /home/jesper/git/extendj/java4/frontend/DataStructures.jrag:475
*/
@Override
public boolean isSingleton() {
return true;
}
/**
* @aspect DataStructures
* @declaredat /home/jesper/git/extendj/java4/frontend/DataStructures.jrag:480
*/
@Override
public boolean isSingleton(MethodDecl o) {
return contains(o);
}
/**
* @aspect DataStructures
* @declaredat /home/jesper/git/extendj/java4/frontend/DataStructures.jrag:485
*/
@Override
public MethodDecl singletonValue() {
return this;
}
/**
* @aspect DataStructures
* @declaredat /home/jesper/git/extendj/java4/frontend/DataStructures.jrag:490
*/
@Override
public boolean equals(Object o) {
return this == o;
}
/**
* @aspect DataStructures
* @declaredat /home/jesper/git/extendj/java4/frontend/DataStructures.jrag:495
*/
@Override
public Iterator iterator() {
return new SingleItemIterator(this);
}
/**
* @aspect PrettyPrintUtil
* @declaredat /home/jesper/git/extendj/java4/frontend/PrettyPrintUtil.jrag:80
*/
@Override public String toString() {
return name() + "()";
}
/**
* @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 GenerateClassfile
* @declaredat /home/jesper/git/extendj/java4/backend/GenerateClassfile.jrag:288
*/
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:312
*/
public void touchMethod(ConstantPool cp) {
cp.addUtf8(name());
cp.addUtf8(descName());
attributes();
}
/**
* @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("this").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 CodeGeneration
* @declaredat /home/jesper/git/extendj/java4/backend/CodeGeneration.jrag:291
*/
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 = 1 + getNumParameter();
int argSize = 1;
for (int i = 0; i < getNumParameter(); i++) {
argSize += getParameter(i).type().variableSize();
}
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 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());
}
/**
* @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();
type_reset();
throwsException_TypeDecl_reset();
accessibleFrom_TypeDecl_reset();
signature_reset();
lessSpecificThan_MethodDecl_reset();
overrideCandidate_MethodDecl_reset();
overrides_MethodDecl_reset();
hides_MethodDecl_reset();
parameterDeclaration_String_reset();
bytecodes_ConstantPool_reset();
offsetBeforeParameters_reset();
offsetAfterParameters_reset();
resultOffset_reset();
flags_reset();
attributes_reset();
descName_reset();
handlesException_TypeDecl_reset();
}
/** @apilevel internal
* @declaredat ASTNode:69
*/
public void flushCollectionCache() {
super.flushCollectionCache();
}
/** @apilevel internal
* @declaredat ASTNode:73
*/
public MethodDecl clone() throws CloneNotSupportedException {
MethodDecl node = (MethodDecl) super.clone();
return node;
}
/** @apilevel internal
* @declaredat ASTNode:78
*/
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:97
*/
@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:107
*/
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:127
*/
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:141
*/
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);
}
/**
* @attribute syn
* @aspect NameCheck
* @declaredat /home/jesper/git/extendj/java4/frontend/NameCheck.jrag:147
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="NameCheck", declaredAt="/home/jesper/git/extendj/java4/frontend/NameCheck.jrag:147")
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 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:290
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="TypeAnalysis", declaredAt="/home/jesper/git/extendj/java4/frontend/TypeAnalysis.jrag:290")
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:292
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="TypeAnalysis", declaredAt="/home/jesper/git/extendj/java4/frontend/TypeAnalysis.jrag:292")
public boolean isVoid() {
boolean isVoid_value = type().isVoid();
return isVoid_value;
}
/**
* @attribute syn
* @aspect TypeCheck
* @declaredat /home/jesper/git/extendj/java4/frontend/TypeCheck.jrag:514
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="TypeCheck", declaredAt="/home/jesper/git/extendj/java4/frontend/TypeCheck.jrag:514")
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 PrettyPrintUtil
* @declaredat /home/jesper/git/extendj/java4/frontend/PrettyPrintUtil.jrag:250
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="PrettyPrintUtil", declaredAt="/home/jesper/git/extendj/java4/frontend/PrettyPrintUtil.jrag:250")
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:262
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="PrettyPrintUtil", declaredAt="/home/jesper/git/extendj/java4/frontend/PrettyPrintUtil.jrag:262")
public boolean hasExceptions() {
boolean hasExceptions_value = getNumException() > 0;
return hasExceptions_value;
}
/** @apilevel internal */
private void throwsException_TypeDecl_reset() {
throwsException_TypeDecl_computed = null;
throwsException_TypeDecl_values = null;
}
/** @apilevel internal */
protected java.util.Map throwsException_TypeDecl_values;
/** @apilevel internal */
protected java.util.Map throwsException_TypeDecl_computed;
/**
* @attribute syn
* @aspect ExceptionHandling
* @declaredat /home/jesper/git/extendj/java4/frontend/ExceptionHandling.jrag: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;
}
/** @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;
}
/**
* 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().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) {
boolean sameSignature_MethodDecl_value = signature().equals(other.signature());
return sameSignature_MethodDecl_value;
}
/**
* 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) {
if (getNumParameter() == 0) {
return false;
}
for (int i = 0; i < getNumParameter(); i++) {
if (!getParameter(i).type().instanceOf(m.paramType(i))) {
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 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;
}
/** @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();
}
/**
* @attribute syn
* @aspect TypeHierarchyCheck
* @declaredat /home/jesper/git/extendj/java4/frontend/TypeHierarchyCheck.jrag:387
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="TypeHierarchyCheck", declaredAt="/home/jesper/git/extendj/java4/frontend/TypeHierarchyCheck.jrag:387")
public boolean mayOverride(MethodDecl m) {
boolean mayOverride_MethodDecl_value = type() == m.type();
return mayOverride_MethodDecl_value;
}
/**
* @attribute syn
* @aspect Modifiers
* @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:152
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="Modifiers", declaredAt="/home/jesper/git/extendj/java4/frontend/Modifiers.jrag:152")
public Collection modifierProblems() {
{
Collection problems = new LinkedList();
if (hostType().isClassDecl()) {
// 8.4.3.1
if (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 (hostType().isInterfaceDecl()) {
// 9.4
if (isStatic()) {
problems.add(errorf("interface method %s in %s may not be static",
signature(), hostType().typeName()));
}
if (isStrictfp()) {
problems.add(errorf("interface method %s in %s may not be strictfp",
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:249
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="Modifiers", declaredAt="/home/jesper/git/extendj/java4/frontend/Modifiers.jrag:249")
public boolean isSynthetic() {
boolean isSynthetic_value = getModifiers().isSynthetic();
return isSynthetic_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 isPublic() {
boolean isPublic_value = getModifiers().isPublic() || hostType().isInterfaceDecl();
return isPublic_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 isPrivate() {
boolean isPrivate_value = getModifiers().isPrivate();
return isPrivate_value;
}
/**
* @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 isProtected() {
boolean isProtected_value = getModifiers().isProtected();
return isProtected_value;
}
/**
* @attribute syn
* @aspect Modifiers
* @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:262
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="Modifiers", declaredAt="/home/jesper/git/extendj/java4/frontend/Modifiers.jrag:262")
public boolean isAbstract() {
boolean isAbstract_value = getModifiers().isAbstract() || hostType().isInterfaceDecl();
return isAbstract_value;
}
/**
* @attribute syn
* @aspect Modifiers
* @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:263
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="Modifiers", declaredAt="/home/jesper/git/extendj/java4/frontend/Modifiers.jrag:263")
public boolean isStatic() {
boolean isStatic_value = getModifiers().isStatic();
return isStatic_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 isFinal() {
boolean isFinal_value = getModifiers().isFinal();
return isFinal_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 isSynchronized() {
boolean isSynchronized_value = getModifiers().isSynchronized();
return isSynchronized_value;
}
/**
* @attribute syn
* @aspect Modifiers
* @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:268
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="Modifiers", declaredAt="/home/jesper/git/extendj/java4/frontend/Modifiers.jrag:268")
public boolean isNative() {
boolean isNative_value = getModifiers().isNative();
return isNative_value;
}
/**
* @attribute syn
* @aspect Modifiers
* @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:269
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="Modifiers", declaredAt="/home/jesper/git/extendj/java4/frontend/Modifiers.jrag:269")
public boolean isStrictfp() {
boolean isStrictfp_value = getModifiers().isStrictfp();
return isStrictfp_value;
}
/**
* @attribute syn
* @aspect GenerateClassfile
* @declaredat /home/jesper/git/extendj/java4/backend/GenerateClassfile.jrag:447
*/
@ASTNodeAnnotation.Attribute(kind=ASTNodeAnnotation.Kind.SYN)
@ASTNodeAnnotation.Source(aspect="GenerateClassfile", declaredAt="/home/jesper/git/extendj/java4/backend/GenerateClassfile.jrag:447")
public boolean isMethodOrConstructor() {
boolean isMethodOrConstructor_value = true;
return isMethodOrConstructor_value;
}
/** @apilevel internal */
private void bytecodes_ConstantPool_reset() {
bytecodes_ConstantPool_computed = null;
bytecodes_ConstantPool_values = null;
}
/** @apilevel internal */
protected java.util.Map bytecodes_ConstantPool_values;
/** @apilevel internal */
protected java.util.Map bytecodes_ConstantPool_computed;
/**
* @attribute syn
* @aspect CreateBCode
* @declaredat /home/jesper/git/extendj/java4/backend/CreateBCode.jrag: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 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 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 = 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;
}
/** @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() {
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;
}
}
/** @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/java4/frontend/LookupVariable.jrag:42
* @apilevel internal
* @return {@code true} if this node has an equation for the inherited attribute lookupVariable
*/
protected boolean canDefine_lookupVariable(ASTNode _callerNode, ASTNode _childNode, String name) {
return true;
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/TypeHierarchyCheck.jrag:207
* @apilevel internal
*/
public boolean Define_inStaticContext(ASTNode _callerNode, ASTNode _childNode) {
if (_callerNode == getBlockOptNoTransform()) {
// @declaredat /home/jesper/git/extendj/java4/frontend/TypeHierarchyCheck.jrag:215
return isStatic();
}
else {
return getParent().Define_inStaticContext(this, _callerNode);
}
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/TypeHierarchyCheck.jrag:207
* @apilevel internal
* @return {@code true} if this node has an equation for the inherited attribute inStaticContext
*/
protected boolean canDefine_inStaticContext(ASTNode _callerNode, ASTNode _childNode) {
return true;
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:432
* @apilevel internal
*/
public boolean Define_mayBePublic(ASTNode _callerNode, ASTNode _childNode) {
if (getModifiersNoTransform() != null && _callerNode == getModifiers()) {
// @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:326
return true;
}
else {
return getParent().Define_mayBePublic(this, _callerNode);
}
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:432
* @apilevel internal
* @return {@code true} if this node has an equation for the inherited attribute mayBePublic
*/
protected boolean canDefine_mayBePublic(ASTNode _callerNode, ASTNode _childNode) {
return true;
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:434
* @apilevel internal
*/
public boolean Define_mayBeProtected(ASTNode _callerNode, ASTNode _childNode) {
if (getModifiersNoTransform() != null && _callerNode == getModifiers()) {
// @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:327
return true;
}
else {
return getParent().Define_mayBeProtected(this, _callerNode);
}
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:434
* @apilevel internal
* @return {@code true} if this node has an equation for the inherited attribute mayBeProtected
*/
protected boolean canDefine_mayBeProtected(ASTNode _callerNode, ASTNode _childNode) {
return true;
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:433
* @apilevel internal
*/
public boolean Define_mayBePrivate(ASTNode _callerNode, ASTNode _childNode) {
if (getModifiersNoTransform() != null && _callerNode == getModifiers()) {
// @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:328
return true;
}
else {
return getParent().Define_mayBePrivate(this, _callerNode);
}
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:433
* @apilevel internal
* @return {@code true} if this node has an equation for the inherited attribute mayBePrivate
*/
protected boolean canDefine_mayBePrivate(ASTNode _callerNode, ASTNode _childNode) {
return true;
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:437
* @apilevel internal
*/
public boolean Define_mayBeAbstract(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_mayBeAbstract(this, _callerNode);
}
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:437
* @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:435
* @apilevel internal
*/
public boolean Define_mayBeStatic(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_mayBeStatic(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 mayBeStatic
*/
protected boolean canDefine_mayBeStatic(ASTNode _callerNode, ASTNode _childNode) {
return true;
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:436
* @apilevel internal
*/
public boolean Define_mayBeFinal(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_mayBeFinal(this, _callerNode);
}
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:436
* @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:441
* @apilevel internal
*/
public boolean Define_mayBeSynchronized(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_mayBeSynchronized(this, _callerNode);
}
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:441
* @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:442
* @apilevel internal
*/
public boolean Define_mayBeNative(ASTNode _callerNode, ASTNode _childNode) {
if (getModifiersNoTransform() != null && _callerNode == getModifiers()) {
// @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:333
return true;
}
else {
return getParent().Define_mayBeNative(this, _callerNode);
}
}
/**
* @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:442
* @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:440
* @apilevel internal
*/
public boolean Define_mayBeStrictfp(ASTNode _callerNode, ASTNode _childNode) {
if (getModifiersNoTransform() != null && _callerNode == getModifiers()) {
// @declaredat /home/jesper/git/extendj/java4/frontend/Modifiers.jrag:334
return true;
}
else {
return getParent().Define_mayBeStrictfp(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 mayBeStrictfp
*/
protected boolean canDefine_mayBeStrictfp(ASTNode _callerNode, ASTNode _childNode) {
return true;
}
/**
* @declaredat /home/jesper/git/extendj/java4/backend/LocalNum.jrag:63
* @apilevel internal
*/
public int Define_localNum(ASTNode _callerNode, ASTNode _childNode) {
if (_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/java4/backend/LocalNum.jrag:63
* @apilevel internal
* @return {@code true} if this node has an equation for the inherited attribute localNum
*/
protected boolean canDefine_localNum(ASTNode _callerNode, ASTNode _childNode) {
return true;
}
/**
* @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/NameCheck.jrag:145
{
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:512
{
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/Modifiers.jrag:150
{
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 : nameProblems()) {
collection.add(value);
}
for (Problem value : typeProblems()) {
collection.add(value);
}
for (Problem value : modifierProblems()) {
collection.add(value);
}
}
}