soot.JastAddJ.ClassInstanceExpr Maven / Gradle / Ivy
/* This file was generated with JastAdd2 (http://jastadd.org) version R20130212 (r1031) */
package soot.JastAddJ;
import java.util.HashSet;
import java.io.File;
import java.util.*;
import beaver.*;
import java.util.ArrayList;
import java.util.zip.*;
import java.io.*;
import java.io.FileNotFoundException;
import java.util.Collection;
import soot.*;
import soot.util.*;
import soot.jimple.*;
import soot.coffi.ClassFile;
import soot.coffi.method_info;
import soot.coffi.CONSTANT_Utf8_info;
import soot.tagkit.SourceFileTag;
import soot.coffi.CoffiMethodSource;
/**
* @production ClassInstanceExpr : {@link Access} ::= {@link Access} Arg:{@link Expr}* [{@link TypeDecl}];
* @ast node
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddJ/Java1.4Frontend/java.ast:37
*/
public class ClassInstanceExpr extends Access implements Cloneable {
/**
* @apilevel low-level
*/
public void flushCache() {
super.flushCache();
isDAafterInstance_Variable_values = null;
computeDAbefore_int_Variable_values = null;
computeDUbefore_int_Variable_values = null;
decls_computed = false;
decls_value = null;
decl_computed = false;
decl_value = null;
localLookupType_String_values = null;
type_computed = false;
type_value = null;
}
/**
* @apilevel internal
*/
public void flushCollectionCache() {
super.flushCollectionCache();
}
/**
* @apilevel internal
*/
@SuppressWarnings({"unchecked", "cast"})
public ClassInstanceExpr clone() throws CloneNotSupportedException {
ClassInstanceExpr node = (ClassInstanceExpr)super.clone();
node.isDAafterInstance_Variable_values = null;
node.computeDAbefore_int_Variable_values = null;
node.computeDUbefore_int_Variable_values = null;
node.decls_computed = false;
node.decls_value = null;
node.decl_computed = false;
node.decl_value = null;
node.localLookupType_String_values = null;
node.type_computed = false;
node.type_value = null;
node.in$Circle(false);
node.is$Final(false);
return node;
}
/**
* @apilevel internal
*/
@SuppressWarnings({"unchecked", "cast"})
public ClassInstanceExpr copy() {
try {
ClassInstanceExpr node = (ClassInstanceExpr) 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
*/
@SuppressWarnings({"unchecked", "cast"})
public ClassInstanceExpr fullCopy() {
ClassInstanceExpr tree = (ClassInstanceExpr) copy();
if (children != null) {
for (int i = 0; i < children.length; ++i) {
ASTNode child = (ASTNode) children[i];
if(child != null) {
child = child.fullCopy();
tree.setChild(child, i);
}
}
}
return tree;
}
/**
* @ast method
* @aspect AccessControl
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddJ/Java1.4Frontend/AccessControl.jrag:139
*/
public void accessControl() {
super.accessControl();
if(type().isAbstract())
error("Can not instantiate abstract class " + type().fullName());
if(!decl().accessibleFrom(hostType()))
error("constructor " + decl().signature() + " is not accessible");
}
/**
* @ast method
* @aspect ExceptionHandling
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddJ/Java1.4Frontend/ExceptionHandling.jrag:119
*/
public void exceptionHandling() {
for (Access exception : decl().getExceptionList()) {
TypeDecl exceptionType = exception.type();
if (!handlesException(exceptionType))
error("" + this + " may throw uncaught exception " +
exceptionType.fullName() + "; it must be caught or declared as being thrown");
}
}
/**
* @ast method
* @aspect ExceptionHandling
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddJ/Java1.4Frontend/ExceptionHandling.jrag:281
*/
protected boolean reachedException(TypeDecl catchType) {
ConstructorDecl decl = decl();
for(int i = 0; i < decl.getNumException(); i++) {
TypeDecl exceptionType = decl.getException(i).type();
if(catchType.mayCatch(exceptionType))
return true;
}
for(int i = 0; i < getNumArg(); i++) {
if(getArg(i).reachedException(catchType))
return true;
}
return false;
}
/**
* @ast method
* @aspect TypeScopePropagation
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddJ/Java1.4Frontend/LookupType.jrag:414
*/
public SimpleSet keepInnerClasses(SimpleSet c) {
SimpleSet newSet = SimpleSet.emptySet;
for(Iterator iter = c.iterator(); iter.hasNext(); ) {
TypeDecl t = (TypeDecl)iter.next();
if(t.isInnerType() && t.isClassDecl()) {
newSet = newSet.add(c);
}
}
return newSet;
}
/**
* @ast method
* @aspect NameCheck
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddJ/Java1.4Frontend/NameCheck.jrag:142
*/
public void refined_NameCheck_ClassInstanceExpr_nameCheck() {
super.nameCheck();
if(decls().isEmpty())
error("can not instantiate " + type().typeName() + " no matching constructor found in " + type().typeName());
else if(decls().size() > 1 && validArgs()) {
error("several most specific constructors found");
for(Iterator iter = decls().iterator(); iter.hasNext(); ) {
error(" " + ((ConstructorDecl)iter.next()).signature());
}
}
}
/**
* @ast method
* @aspect NodeConstructors
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddJ/Java1.4Frontend/NodeConstructors.jrag:82
*/
public ClassInstanceExpr(Access type, List args) {
this(type, args, new Opt());
}
/**
* @ast method
* @aspect PrettyPrint
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddJ/Java1.4Frontend/PrettyPrint.jadd:327
*/
public void toString(StringBuffer s) {
s.append("new ");
getAccess().toString(s);
s.append("(");
if(getNumArg() > 0) {
getArg(0).toString(s);
for(int i = 1; i < getNumArg(); i++) {
s.append(", ");
getArg(i).toString(s);
}
}
s.append(")");
if(hasTypeDecl()) {
TypeDecl decl = getTypeDecl();
s.append(" {");
for(int i = 0; i < decl.getNumBodyDecl(); i++) {
if(!(decl.getBodyDecl(i) instanceof ConstructorDecl))
decl.getBodyDecl(i).toString(s);
}
s.append(typeDeclIndent());
s.append("}");
}
}
/**
* @ast method
* @aspect TypeCheck
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddJ/Java1.4Frontend/TypeCheck.jrag:434
*/
public void typeCheck() {
if(isQualified() && qualifier().isTypeAccess() && !qualifier().type().isUnknown())
error("*** The expression in a qualified class instance expr must not be a type name");
// 15.9
if(isQualified() && !type().isInnerClass() && !((ClassDecl)type()).superclass().isInnerClass() && !type().isUnknown()) {
error("*** Qualified class instance creation can only instantiate inner classes and their anonymous subclasses");
}
if(!type().isClassDecl()) {
error("*** Can only instantiate classes, which " + type().typeName() + " is not");
}
typeCheckEnclosingInstance();
typeCheckAnonymousSuperclassEnclosingInstance();
}
/**
* @ast method
* @aspect TypeCheck
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddJ/Java1.4Frontend/TypeCheck.jrag:448
*/
public void typeCheckEnclosingInstance() {
TypeDecl C = type();
if(!C.isInnerClass())
return;
TypeDecl enclosing = null;
if(C.isAnonymous()) {
if(noEnclosingInstance()) {
enclosing = null;
}
else {
enclosing = hostType();
}
}
else if(C.isLocalClass()) {
if(C.inStaticContext()) {
enclosing = null;
}
else if(noEnclosingInstance()) {
enclosing = unknownType();
}
else {
TypeDecl nest = hostType();
while(nest != null && !nest.instanceOf(C.enclosingType()))
nest = nest.enclosingType();
enclosing = nest;
}
}
else if(C.isMemberType()) {
if(!isQualified()) {
if(noEnclosingInstance()) {
error("No enclosing instance to initialize " + C.typeName() + " with");
//System.err.println("ClassInstanceExpr: Non qualified MemberType " + C.typeName() + " is in a static context when instantiated in " + this);
enclosing = unknownType();
}
else {
TypeDecl nest = hostType();
while(nest != null && !nest.instanceOf(C.enclosingType()))
nest = nest.enclosingType();
enclosing = nest == null ? unknownType() : nest;
}
}
else {
enclosing = enclosingInstance();
}
}
if(enclosing != null && !enclosing.instanceOf(type().enclosingType())) {
String msg = enclosing == null ? "None" : enclosing.typeName();
error("*** Can not instantiate " + type().typeName() + " with the enclosing instance " + msg + " due to incorrect enclosing instance");
}
else if(!isQualified() && C.isMemberType() && inExplicitConstructorInvocation() && enclosing == hostType()) {
error("*** The innermost enclosing instance of type " + enclosing.typeName() + " is this which is not yet initialized here.");
}
}
/**
* @ast method
* @aspect TypeCheck
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddJ/Java1.4Frontend/TypeCheck.jrag:521
*/
public void typeCheckAnonymousSuperclassEnclosingInstance() {
if(type().isAnonymous() && ((ClassDecl)type()).superclass().isInnerType()) {
TypeDecl S = ((ClassDecl)type()).superclass();
if(S.isLocalClass()) {
if(S.inStaticContext()) {
}
else if(noEnclosingInstance()) {
error("*** No enclosing instance to class " + type().typeName() + " due to static context");
}
else if(inExplicitConstructorInvocation())
error("*** No enclosing instance to superclass " + S.typeName() + " of " + type().typeName() + " since this is not initialized yet");
}
else if(S.isMemberType()) {
if(!isQualified()) {
// 15.9.2 2nd paragraph
if(noEnclosingInstance()) {
error("*** No enclosing instance to class " + type().typeName() + " due to static context");
}
else {
TypeDecl nest = hostType();
while(nest != null && !nest.instanceOf(S.enclosingType()))
nest = nest.enclosingType();
if(nest == null) {
error("*** No enclosing instance to superclass " + S.typeName() + " of " + type().typeName());
}
else if(inExplicitConstructorInvocation()) {
error("*** No enclosing instance to superclass " + S.typeName() + " of " + type().typeName() + " since this is not initialized yet");
}
}
}
}
}
}
/**
* @ast method
* @aspect Annotations
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddJ/Java1.5Frontend/Annotations.jrag:363
*/
public void checkModifiers() {
if(decl().isDeprecated() &&
!withinDeprecatedAnnotation() &&
hostType().topLevelType() != decl().hostType().topLevelType() &&
!withinSuppressWarnings("deprecation"))
warning(decl().signature() + " in " + decl().hostType().typeName() + " has been deprecated");
}
/**
* @ast method
* @aspect InnerClasses
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddJ/Java1.4Backend/InnerClasses.jrag:481
*/
// add val$name as arguments to the constructor
protected boolean addEnclosingVariables = true;
/**
* @ast method
* @aspect InnerClasses
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddJ/Java1.4Backend/InnerClasses.jrag:482
*/
public void addEnclosingVariables() {
if(!addEnclosingVariables) return;
addEnclosingVariables = false;
decl().addEnclosingVariables();
for(Iterator iter = decl().hostType().enclosingVariables().iterator(); iter.hasNext(); ) {
Variable v = (Variable)iter.next();
getArgList().add(new VarAccess(v.name()));
}
}
/**
* @ast method
* @aspect Transformations
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddJ/Java1.4Backend/Transformations.jrag:127
*/
public void refined_Transformations_ClassInstanceExpr_transformation() {
// this$val
addEnclosingVariables();
// touch accessorIndex go force creation of private constructorAccessor
if(decl().isPrivate() && type() != hostType()) {
decl().createAccessor();
}
super.transformation();
}
/**
* @ast method
* @aspect Expressions
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddExtensions/JimpleBackend/Expressions.jrag:550
*/
private soot.Value emitLocalEnclosing(Body b, TypeDecl localClass) {
if(!localClass.inStaticContext()) {
return emitThis(b, localClass.enclosingType());
}
throw new Error("Not implemented");
}
/**
* @ast method
* @aspect Expressions
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddExtensions/JimpleBackend/Expressions.jrag:557
*/
private soot.Value emitInnerMemberEnclosing(Body b, TypeDecl innerClass) {
if(hasPrevExpr()) {
Local base = asLocal(b, prevExpr().eval(b));
b.setLine(this);
b.add(b.newInvokeStmt(
b.newVirtualInvokeExpr(
base,
Scene.v().getMethod("").makeRef(),
this
),
this
));
return base;
}
else {
TypeDecl enclosing = hostType();
while(!enclosing.hasType(innerClass.name()))
enclosing = enclosing.enclosingType();
return emitThis(b, enclosing);
}
}
/**
* @ast method
* @aspect Expressions
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddExtensions/JimpleBackend/Expressions.jrag:579
*/
public soot.Value eval(Body b) {
Local local = asLocal(b, b.newNewExpr(type().sootRef(), this));
ArrayList list = new ArrayList();
// 15.9.2 first part
if(type().isAnonymous()) {
if(type().isAnonymousInNonStaticContext()) {
list.add(asImmediate(b, b.emitThis(hostType())));
}
// 15.9.2 second part
ClassDecl C = (ClassDecl)type();
TypeDecl S = C.superclass();
if(S.isLocalClass()) {
if(!type().inStaticContext())
list.add(asImmediate(b, emitLocalEnclosing(b, S)));
}
else if(S.isInnerType()) {
list.add(asImmediate(b, emitInnerMemberEnclosing(b, S)));
}
}
else if(type().isLocalClass()) {
if(!type().inStaticContext())
list.add(asImmediate(b, emitLocalEnclosing(b, type())));
}
else if(type().isInnerType()) {
list.add(asImmediate(b, emitInnerMemberEnclosing(b, type())));
}
for(int i = 0; i < getNumArg(); i++)
list.add(asImmediate(b, getArg(i).type().emitCastTo(b, getArg(i), decl().getParameter(i).type()))); // MethodInvocationConversion
if(decl().isPrivate() && type() != hostType()) {
list.add(asImmediate(b, soot.jimple.NullConstant.v()));
b.setLine(this);
b.add(
b.newInvokeStmt(
b.newSpecialInvokeExpr(local, decl().createAccessor().sootRef(), list, this),
this
)
);
return local;
}
else {
b.setLine(this);
b.add(
b.newInvokeStmt(
b.newSpecialInvokeExpr(local, decl().sootRef(), list, this),
this
)
);
return local;
}
}
/**
* @ast method
* @aspect EmitJimpleRefinements
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddExtensions/SootJastAddJ/EmitJimpleRefinements.jrag:231
*/
public void collectTypesToSignatures(Collection set) {
super.collectTypesToSignatures(set);
addDependencyIfNeeded(set, decl().erasedConstructor().hostType());
}
/**
* @ast method
*
*/
public ClassInstanceExpr() {
super();
}
/**
* Initializes the child array to the correct size.
* Initializes List and Opt nta children.
* @apilevel internal
* @ast method
* @ast method
*
*/
public void init$Children() {
children = new ASTNode[3];
setChild(new List(), 1);
setChild(new Opt(), 2);
}
/**
* @ast method
*
*/
public ClassInstanceExpr(Access p0, List p1, Opt p2) {
setChild(p0, 0);
setChild(p1, 1);
setChild(p2, 2);
}
/**
* @apilevel low-level
* @ast method
*
*/
protected int numChildren() {
return 3;
}
/**
* @apilevel internal
* @ast method
*
*/
public boolean mayHaveRewrite() {
return false;
}
/**
* Replaces the Access child.
* @param node The new node to replace the Access child.
* @apilevel high-level
* @ast method
*
*/
public void setAccess(Access node) {
setChild(node, 0);
}
/**
* Retrieves the Access child.
* @return The current node used as the Access child.
* @apilevel high-level
* @ast method
*
*/
public Access getAccess() {
return (Access)getChild(0);
}
/**
* Retrieves the Access child.
* This method does not invoke AST transformations.
* @return The current node used as the Access child.
* @apilevel low-level
* @ast method
*
*/
public Access getAccessNoTransform() {
return (Access)getChildNoTransform(0);
}
/**
* Replaces the Arg list.
* @param list The new list node to be used as the Arg list.
* @apilevel high-level
* @ast method
*
*/
public void setArgList(List list) {
setChild(list, 1);
}
/**
* Retrieves the number of children in the Arg list.
* @return Number of children in the Arg list.
* @apilevel high-level
* @ast method
*
*/
public int getNumArg() {
return getArgList().getNumChild();
}
/**
* Retrieves the number of children in the Arg list.
* Calling this method will not trigger rewrites..
* @return Number of children in the Arg list.
* @apilevel low-level
* @ast method
*
*/
public int getNumArgNoTransform() {
return getArgListNoTransform().getNumChildNoTransform();
}
/**
* Retrieves the element at index {@code i} in the Arg list..
* @param i Index of the element to return.
* @return The element at position {@code i} in the Arg list.
* @apilevel high-level
* @ast method
*
*/
@SuppressWarnings({"unchecked", "cast"})
public Expr getArg(int i) {
return (Expr)getArgList().getChild(i);
}
/**
* Append an element to the Arg list.
* @param node The element to append to the Arg list.
* @apilevel high-level
* @ast method
*
*/
public void addArg(Expr node) {
List list = (parent == null || state == null) ? getArgListNoTransform() : getArgList();
list.addChild(node);
}
/**
* @apilevel low-level
* @ast method
*
*/
public void addArgNoTransform(Expr node) {
List list = getArgListNoTransform();
list.addChild(node);
}
/**
* Replaces the Arg 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
* @ast method
*
*/
public void setArg(Expr node, int i) {
List list = getArgList();
list.setChild(node, i);
}
/**
* Retrieves the Arg list.
* @return The node representing the Arg list.
* @apilevel high-level
* @ast method
*
*/
public List getArgs() {
return getArgList();
}
/**
* Retrieves the Arg list.
* This method does not invoke AST transformations.
* @return The node representing the Arg list.
* @apilevel low-level
* @ast method
*
*/
public List getArgsNoTransform() {
return getArgListNoTransform();
}
/**
* Retrieves the Arg list.
* @return The node representing the Arg list.
* @apilevel high-level
* @ast method
*
*/
@SuppressWarnings({"unchecked", "cast"})
public List getArgList() {
List list = (List)getChild(1);
list.getNumChild();
return list;
}
/**
* Retrieves the Arg list.
* This method does not invoke AST transformations.
* @return The node representing the Arg list.
* @apilevel low-level
* @ast method
*
*/
@SuppressWarnings({"unchecked", "cast"})
public List getArgListNoTransform() {
return (List)getChildNoTransform(1);
}
/**
* Replaces the optional node for the TypeDecl child. This is the {@code Opt} node containing the child TypeDecl, not the actual child!
* @param opt The new node to be used as the optional node for the TypeDecl child.
* @apilevel low-level
* @ast method
*
*/
public void setTypeDeclOpt(Opt opt) {
setChild(opt, 2);
}
/**
* Check whether the optional TypeDecl child exists.
* @return {@code true} if the optional TypeDecl child exists, {@code false} if it does not.
* @apilevel high-level
* @ast method
*
*/
public boolean hasTypeDecl() {
return getTypeDeclOpt().getNumChild() != 0;
}
/**
* Retrieves the (optional) TypeDecl child.
* @return The TypeDecl child, if it exists. Returns {@code null} otherwise.
* @apilevel low-level
* @ast method
*
*/
@SuppressWarnings({"unchecked", "cast"})
public TypeDecl getTypeDecl() {
return (TypeDecl)getTypeDeclOpt().getChild(0);
}
/**
* Replaces the (optional) TypeDecl child.
* @param node The new node to be used as the TypeDecl child.
* @apilevel high-level
* @ast method
*
*/
public void setTypeDecl(TypeDecl node) {
getTypeDeclOpt().setChild(node, 0);
}
/**
* @apilevel low-level
* @ast method
*
*/
@SuppressWarnings({"unchecked", "cast"})
public Opt getTypeDeclOpt() {
return (Opt)getChild(2);
}
/**
* Retrieves the optional node for child TypeDecl. This is the {@code Opt} node containing the child TypeDecl, not the actual child!
* This method does not invoke AST transformations.
* @return The optional node for child TypeDecl.
* @apilevel low-level
* @ast method
*
*/
@SuppressWarnings({"unchecked", "cast"})
public Opt getTypeDeclOptNoTransform() {
return (Opt)getChildNoTransform(2);
}
/**
* @ast method
* @aspect Enums
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddJ/Java1.5Frontend/Enums.jrag:19
*/
public void nameCheck() {
if(getAccess().type().isEnumDecl() && !enclosingBodyDecl().isEnumConstant())
error("enum types may not be instantiated explicitly");
else
refined_NameCheck_ClassInstanceExpr_nameCheck();
}
/**
* @ast method
* @aspect VariableArityParametersCodegen
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddExtensions/Jimple1.5Backend/VariableArityParametersCodegen.jrag:36
*/
public void transformation() {
if(decl().isVariableArity() && !invokesVariableArityAsArray()) {
// arguments to normal parameters
List list = new List();
for(int i = 0; i < decl().getNumParameter() - 1; i++)
list.add(getArg(i).fullCopy());
// arguments to variable arity parameters
List last = new List();
for(int i = decl().getNumParameter() - 1; i < getNumArg(); i++)
last.add(getArg(i).fullCopy());
// build an array holding arguments
Access typeAccess = decl().lastParameter().type().elementType().createQualifiedAccess();
for(int i = 0; i < decl().lastParameter().type().dimension(); i++)
typeAccess = new ArrayTypeAccess(typeAccess);
list.add(new ArrayCreationExpr(typeAccess, new Opt(new ArrayInit(last))));
// replace argument list with augemented argument list
setArgList(list);
}
refined_Transformations_ClassInstanceExpr_transformation();
}
protected java.util.Map isDAafterInstance_Variable_values;
/**
* @attribute syn
* @aspect DA
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddJ/Java1.4Frontend/DefiniteAssignment.jrag:421
*/
@SuppressWarnings({"unchecked", "cast"})
public boolean isDAafterInstance(Variable v) {
Object _parameters = v;
if(isDAafterInstance_Variable_values == null) isDAafterInstance_Variable_values = new java.util.HashMap(4);
if(isDAafterInstance_Variable_values.containsKey(_parameters)) {
return ((Boolean)isDAafterInstance_Variable_values.get(_parameters)).booleanValue();
}
ASTNode$State state = state();
int num = state.boundariesCrossed;
boolean isFinal = this.is$Final();
boolean isDAafterInstance_Variable_value = isDAafterInstance_compute(v);
if(isFinal && num == state().boundariesCrossed) isDAafterInstance_Variable_values.put(_parameters, Boolean.valueOf(isDAafterInstance_Variable_value));
return isDAafterInstance_Variable_value;
}
/**
* @apilevel internal
*/
private boolean isDAafterInstance_compute(Variable v) {
if(getNumArg() == 0)
return isDAbefore(v);
return getArg(getNumArg()-1).isDAafter(v);
}
/**
* @attribute syn
* @aspect DA
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddJ/Java1.4Frontend/DefiniteAssignment.jrag:235
*/
public boolean isDAafter(Variable v) {
ASTNode$State state = state();
try { return isDAafterInstance(v); }
finally {
}
}
protected java.util.Map computeDAbefore_int_Variable_values;
/**
* @attribute syn
* @aspect DA
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddJ/Java1.4Frontend/DefiniteAssignment.jrag:428
*/
@SuppressWarnings({"unchecked", "cast"})
public boolean computeDAbefore(int i, Variable v) {
java.util.List _parameters = new java.util.ArrayList(2);
_parameters.add(Integer.valueOf(i));
_parameters.add(v);
if(computeDAbefore_int_Variable_values == null) computeDAbefore_int_Variable_values = new java.util.HashMap(4);
if(computeDAbefore_int_Variable_values.containsKey(_parameters)) {
return ((Boolean)computeDAbefore_int_Variable_values.get(_parameters)).booleanValue();
}
ASTNode$State state = state();
int num = state.boundariesCrossed;
boolean isFinal = this.is$Final();
boolean computeDAbefore_int_Variable_value = computeDAbefore_compute(i, v);
if(isFinal && num == state().boundariesCrossed) computeDAbefore_int_Variable_values.put(_parameters, Boolean.valueOf(computeDAbefore_int_Variable_value));
return computeDAbefore_int_Variable_value;
}
/**
* @apilevel internal
*/
private boolean computeDAbefore_compute(int i, Variable v) { return i == 0 ? isDAbefore(v) : getArg(i-1).isDAafter(v); }
/**
* @attribute syn
* @aspect DU
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddJ/Java1.4Frontend/DefiniteAssignment.jrag:850
*/
public boolean isDUafterInstance(Variable v) {
ASTNode$State state = state();
try {
if(getNumArg() == 0)
return isDUbefore(v);
return getArg(getNumArg()-1).isDUafter(v);
}
finally {
}
}
/**
* @attribute syn
* @aspect DU
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddJ/Java1.4Frontend/DefiniteAssignment.jrag:694
*/
public boolean isDUafter(Variable v) {
ASTNode$State state = state();
try { return isDUafterInstance(v); }
finally {
}
}
protected java.util.Map computeDUbefore_int_Variable_values;
/**
* @attribute syn
* @aspect DU
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddJ/Java1.4Frontend/DefiniteAssignment.jrag:857
*/
@SuppressWarnings({"unchecked", "cast"})
public boolean computeDUbefore(int i, Variable v) {
java.util.List _parameters = new java.util.ArrayList(2);
_parameters.add(Integer.valueOf(i));
_parameters.add(v);
if(computeDUbefore_int_Variable_values == null) computeDUbefore_int_Variable_values = new java.util.HashMap(4);
if(computeDUbefore_int_Variable_values.containsKey(_parameters)) {
return ((Boolean)computeDUbefore_int_Variable_values.get(_parameters)).booleanValue();
}
ASTNode$State state = state();
int num = state.boundariesCrossed;
boolean isFinal = this.is$Final();
boolean computeDUbefore_int_Variable_value = computeDUbefore_compute(i, v);
if(isFinal && num == state().boundariesCrossed) computeDUbefore_int_Variable_values.put(_parameters, Boolean.valueOf(computeDUbefore_int_Variable_value));
return computeDUbefore_int_Variable_value;
}
/**
* @apilevel internal
*/
private boolean computeDUbefore_compute(int i, Variable v) { return i == 0 ? isDUbefore(v) : getArg(i-1).isDUafter(v); }
/**
* @attribute syn
* @aspect ConstructScope
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddJ/Java1.4Frontend/LookupConstructor.jrag:50
*/
public boolean applicableAndAccessible(ConstructorDecl decl) {
ASTNode$State state = state();
try { return decl.applicable(getArgList()) && decl.accessibleFrom(hostType()) &&
(!decl.isProtected() || hasTypeDecl() || decl.hostPackage().equals(hostPackage())); }
finally {
}
}
/**
* @apilevel internal
*/
protected boolean decls_computed = false;
/**
* @apilevel internal
*/
protected SimpleSet decls_value;
/**
* @attribute syn
* @aspect MethodSignature15
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddJ/Java1.5Frontend/MethodSignature.jrag:70
*/
@SuppressWarnings({"unchecked", "cast"})
public SimpleSet decls() {
if(decls_computed) {
return decls_value;
}
ASTNode$State state = state();
int num = state.boundariesCrossed;
boolean isFinal = this.is$Final();
decls_value = decls_compute();
if(isFinal && num == state().boundariesCrossed) decls_computed = true;
return decls_value;
}
/**
* @apilevel internal
*/
private SimpleSet decls_compute() {
TypeDecl typeDecl = hasTypeDecl() ? getTypeDecl() : getAccess().type();
return chooseConstructor(typeDecl.constructors(), getArgList());
}
/**
* @apilevel internal
*/
protected boolean decl_computed = false;
/**
* @apilevel internal
*/
protected ConstructorDecl decl_value;
/**
* @attribute syn
* @aspect ConstructScope
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddJ/Java1.4Frontend/LookupConstructor.jrag:78
*/
@SuppressWarnings({"unchecked", "cast"})
public ConstructorDecl decl() {
if(decl_computed) {
return decl_value;
}
ASTNode$State state = state();
int num = state.boundariesCrossed;
boolean isFinal = this.is$Final();
decl_value = decl_compute();
if(isFinal && num == state().boundariesCrossed) decl_computed = true;
return decl_value;
}
/**
* @apilevel internal
*/
private ConstructorDecl decl_compute() {
SimpleSet decls = decls();
if(decls.size() == 1)
return (ConstructorDecl)decls.iterator().next();
return unknownConstructor();
}
/**
* @attribute syn
* @aspect TypeScopePropagation
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddJ/Java1.4Frontend/LookupType.jrag:430
*/
public SimpleSet qualifiedLookupType(String name) {
ASTNode$State state = state();
try {
SimpleSet c = keepAccessibleTypes(type().memberTypes(name));
if(!c.isEmpty())
return c;
if(type().name().equals(name))
return SimpleSet.emptySet.add(type());
return SimpleSet.emptySet;
}
finally {
}
}
protected java.util.Map localLookupType_String_values;
/**
* @attribute syn
* @aspect TypeScopePropagation
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddJ/Java1.4Frontend/LookupType.jrag:472
*/
@SuppressWarnings({"unchecked", "cast"})
public SimpleSet localLookupType(String name) {
Object _parameters = name;
if(localLookupType_String_values == null) localLookupType_String_values = new java.util.HashMap(4);
if(localLookupType_String_values.containsKey(_parameters)) {
return (SimpleSet)localLookupType_String_values.get(_parameters);
}
ASTNode$State state = state();
int num = state.boundariesCrossed;
boolean isFinal = this.is$Final();
SimpleSet localLookupType_String_value = localLookupType_compute(name);
if(isFinal && num == state().boundariesCrossed) localLookupType_String_values.put(_parameters, localLookupType_String_value);
return localLookupType_String_value;
}
/**
* @apilevel internal
*/
private SimpleSet localLookupType_compute(String name) {
if(hasTypeDecl() && getTypeDecl().name().equals(name))
return SimpleSet.emptySet.add(getTypeDecl());
return SimpleSet.emptySet;
}
/**
* @attribute syn
* @aspect NameCheck
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddJ/Java1.4Frontend/NameCheck.jrag:135
*/
public boolean validArgs() {
ASTNode$State state = state();
try {
for(int i = 0; i < getNumArg(); i++)
if(getArg(i).type().isUnknown())
return false;
return true;
}
finally {
}
}
/**
* @attribute syn
* @aspect SyntacticClassification
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddJ/Java1.4Frontend/SyntacticClassification.jrag:56
*/
public NameType predNameType() {
ASTNode$State state = state();
try { return NameType.EXPRESSION_NAME; }
finally {
}
}
/**
* @apilevel internal
*/
protected boolean type_computed = false;
/**
* @apilevel internal
*/
protected TypeDecl type_value;
/**
* @attribute syn
* @aspect TypeAnalysis
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddJ/Java1.4Frontend/TypeAnalysis.jrag:311
*/
@SuppressWarnings({"unchecked", "cast"})
public TypeDecl type() {
if(type_computed) {
return type_value;
}
ASTNode$State state = state();
int num = state.boundariesCrossed;
boolean isFinal = this.is$Final();
type_value = type_compute();
if(isFinal && num == state().boundariesCrossed) type_computed = true;
return type_value;
}
/**
* @apilevel internal
*/
private TypeDecl type_compute() { return hasTypeDecl() ? getTypeDecl() : getAccess().type(); }
/**
* @attribute syn
* @aspect TypeCheck
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddJ/Java1.4Frontend/TypeCheck.jrag:519
*/
public boolean noEnclosingInstance() {
ASTNode$State state = state();
try { return isQualified() ? qualifier().staticContextQualifier() : inStaticContext(); }
finally {
}
}
/**
* @attribute syn
* @aspect MethodSignature15
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddJ/Java1.5Frontend/MethodSignature.jrag:327
*/
public int arity() {
ASTNode$State state = state();
try { return getNumArg(); }
finally {
}
}
/**
* @attribute syn
* @aspect VariableArityParameters
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddJ/Java1.5Frontend/VariableArityParameters.jrag:54
*/
public boolean invokesVariableArityAsArray() {
ASTNode$State state = state();
try {
if(!decl().isVariableArity())
return false;
if(arity() != decl().arity())
return false;
return getArg(getNumArg()-1).type().methodInvocationConversionTo(decl().lastParameter().type());
}
finally {
}
}
/**
* @attribute inh
* @aspect ExceptionHandling
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddJ/Java1.4Frontend/ExceptionHandling.jrag:52
*/
@SuppressWarnings({"unchecked", "cast"})
public boolean handlesException(TypeDecl exceptionType) {
ASTNode$State state = state();
boolean handlesException_TypeDecl_value = getParent().Define_boolean_handlesException(this, null, exceptionType);
return handlesException_TypeDecl_value;
}
/**
* @attribute inh
* @aspect ConstructScope
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddJ/Java1.4Frontend/LookupConstructor.jrag:27
*/
@SuppressWarnings({"unchecked", "cast"})
public TypeDecl typeObject() {
ASTNode$State state = state();
TypeDecl typeObject_value = getParent().Define_TypeDecl_typeObject(this, null);
return typeObject_value;
}
/**
* @attribute inh
* @aspect ConstructScope
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddJ/Java1.4Frontend/LookupConstructor.jrag:84
*/
@SuppressWarnings({"unchecked", "cast"})
public ConstructorDecl unknownConstructor() {
ASTNode$State state = state();
ConstructorDecl unknownConstructor_value = getParent().Define_ConstructorDecl_unknownConstructor(this, null);
return unknownConstructor_value;
}
/**
* @attribute inh
* @aspect PrettyPrint
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddJ/Java1.4Frontend/PrettyPrint.jadd:351
*/
@SuppressWarnings({"unchecked", "cast"})
public String typeDeclIndent() {
ASTNode$State state = state();
String typeDeclIndent_value = getParent().Define_String_typeDeclIndent(this, null);
return typeDeclIndent_value;
}
/**
* @attribute inh
* @aspect TypeCheck
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddJ/Java1.4Frontend/TypeCheck.jrag:504
*/
@SuppressWarnings({"unchecked", "cast"})
public TypeDecl enclosingInstance() {
ASTNode$State state = state();
TypeDecl enclosingInstance_value = getParent().Define_TypeDecl_enclosingInstance(this, null);
return enclosingInstance_value;
}
/**
* @attribute inh
* @aspect TypeHierarchyCheck
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddJ/Java1.4Frontend/TypeHierarchyCheck.jrag:126
*/
@SuppressWarnings({"unchecked", "cast"})
public boolean inExplicitConstructorInvocation() {
ASTNode$State state = state();
boolean inExplicitConstructorInvocation_value = getParent().Define_boolean_inExplicitConstructorInvocation(this, null);
return inExplicitConstructorInvocation_value;
}
/**
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddJ/Java1.4Frontend/AnonymousClasses.jrag:15
* @apilevel internal
*/
public TypeDecl Define_TypeDecl_superType(ASTNode caller, ASTNode child) {
if(caller == getTypeDeclOptNoTransform()) {
return getAccess().type();
}
else { return getParent().Define_TypeDecl_superType(this, caller);
}
}
/**
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddJ/Java1.5Frontend/MethodSignature.jrag:83
* @apilevel internal
*/
public ConstructorDecl Define_ConstructorDecl_constructorDecl(ASTNode caller, ASTNode child) {
if(caller == getTypeDeclOptNoTransform()){
Collection c = getAccess().type().constructors();
SimpleSet maxSpecific = chooseConstructor(c, getArgList());
if(maxSpecific.size() == 1)
return (ConstructorDecl)maxSpecific.iterator().next();
return unknownConstructor();
}
else { return getParent().Define_ConstructorDecl_constructorDecl(this, caller);
}
}
/**
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddJ/Java1.4Frontend/DefiniteAssignment.jrag:430
* @apilevel internal
*/
public boolean Define_boolean_isDAbefore(ASTNode caller, ASTNode child, Variable v) {
if(caller == getTypeDeclOptNoTransform()) {
return isDAafterInstance(v);
}
else if(caller == getArgListNoTransform()) {
int i = caller.getIndexOfChild(child);
return computeDAbefore(i, v);
}
else { return getParent().Define_boolean_isDAbefore(this, caller, v);
}
}
/**
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddJ/Java1.4Frontend/DefiniteAssignment.jrag:856
* @apilevel internal
*/
public boolean Define_boolean_isDUbefore(ASTNode caller, ASTNode child, Variable v) {
if(caller == getArgListNoTransform()) {
int i = caller.getIndexOfChild(child);
return computeDUbefore(i, v);
}
else { return getParent().Define_boolean_isDUbefore(this, caller, v);
}
}
/**
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddJ/Java1.4Frontend/LookupType.jrag:92
* @apilevel internal
*/
public boolean Define_boolean_hasPackage(ASTNode caller, ASTNode child, String packageName) {
if(caller == getArgListNoTransform()) {
int childIndex = caller.getIndexOfChild(child);
return unqualifiedScope().hasPackage(packageName);
}
else { return getParent().Define_boolean_hasPackage(this, caller, packageName);
}
}
/**
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddJ/Java1.4Frontend/LookupType.jrag:404
* @apilevel internal
*/
public SimpleSet Define_SimpleSet_lookupType(ASTNode caller, ASTNode child, String name) {
if(caller == getTypeDeclOptNoTransform()){
SimpleSet c = localLookupType(name);
if(!c.isEmpty())
return c;
c = lookupType(name);
if(!c.isEmpty())
return c;
return unqualifiedScope().lookupType(name);
}
else if(caller == getAccessNoTransform()){
SimpleSet c = lookupType(name);
if(c.size() == 1) {
if(isQualified())
c = keepInnerClasses(c);
}
return c;
}
else if(caller == getArgListNoTransform()) {
int childIndex = caller.getIndexOfChild(child);
return unqualifiedScope().lookupType(name);
}
else { return getParent().Define_SimpleSet_lookupType(this, caller, name);
}
}
/**
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddJ/Java1.4Frontend/LookupVariable.jrag:137
* @apilevel internal
*/
public SimpleSet Define_SimpleSet_lookupVariable(ASTNode caller, ASTNode child, String name) {
if(caller == getArgListNoTransform()) {
int childIndex = caller.getIndexOfChild(child);
return unqualifiedScope().lookupVariable(name);
}
else { return getParent().Define_SimpleSet_lookupVariable(this, caller, name);
}
}
/**
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddJ/Java1.4Frontend/SyntacticClassification.jrag:127
* @apilevel internal
*/
public NameType Define_NameType_nameType(ASTNode caller, ASTNode child) {
if(caller == getArgListNoTransform()) {
int childIndex = caller.getIndexOfChild(child);
return NameType.EXPRESSION_NAME;
}
else if(caller == getTypeDeclOptNoTransform()) {
return NameType.TYPE_NAME;
}
else if(caller == getAccessNoTransform()) {
return NameType.TYPE_NAME;
}
else { return getParent().Define_NameType_nameType(this, caller);
}
}
/**
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddJ/Java1.4Frontend/TypeAnalysis.jrag:217
* @apilevel internal
*/
public boolean Define_boolean_isAnonymous(ASTNode caller, ASTNode child) {
if(caller == getTypeDeclOptNoTransform()) {
return true;
}
else { return getParent().Define_boolean_isAnonymous(this, caller);
}
}
/**
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddJ/Java1.4Frontend/TypeAnalysis.jrag:530
* @apilevel internal
*/
public boolean Define_boolean_isMemberType(ASTNode caller, ASTNode child) {
if(caller == getTypeDeclOptNoTransform()) {
return false;
}
else { return getParent().Define_boolean_isMemberType(this, caller);
}
}
/**
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddJ/Java1.4Frontend/TypeAnalysis.jrag:576
* @apilevel internal
*/
public TypeDecl Define_TypeDecl_hostType(ASTNode caller, ASTNode child) {
if(caller == getTypeDeclOptNoTransform()) {
return hostType();
}
else { return getParent().Define_TypeDecl_hostType(this, caller);
}
}
/**
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddJ/Java1.4Frontend/TypeHierarchyCheck.jrag:147
* @apilevel internal
*/
public boolean Define_boolean_inStaticContext(ASTNode caller, ASTNode child) {
if(caller == getTypeDeclOptNoTransform()) {
return isQualified() ?
qualifier().staticContextQualifier() : inStaticContext();
}
else { return getParent().Define_boolean_inStaticContext(this, caller);
}
}
/**
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddJ/Java7Frontend/TypeInference.jrag:69
* @apilevel internal
*/
public ClassInstanceExpr Define_ClassInstanceExpr_getClassInstanceExpr(ASTNode caller, ASTNode child) {
if(caller == getAccessNoTransform()) {
return this;
}
else { return getParent().Define_ClassInstanceExpr_getClassInstanceExpr(this, caller);
}
}
/**
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddJ/Java7Frontend/TypeInference.jrag:457
* @apilevel internal
*/
public boolean Define_boolean_isAnonymousDecl(ASTNode caller, ASTNode child) {
if(caller == getAccessNoTransform()) {
return hasTypeDecl();
}
else { return getParent().Define_boolean_isAnonymousDecl(this, caller);
}
}
/**
* @apilevel internal
*/
public ASTNode rewriteTo() {
return super.rewriteTo();
}
}