package soot.JastAddJ;
import java.util.HashSet;
import java.util.LinkedHashSet;
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;
/**
* @ast node
* @declaredat Annotations.ast:3
*/
public class AnnotationMethodDecl extends MethodDecl implements Cloneable {
/**
* @apilevel low-level
*/
public void flushCache() {
super.flushCache();
}
/**
* @apilevel internal
*/
public void flushCollectionCache() {
super.flushCollectionCache();
}
/**
* @apilevel internal
*/
@SuppressWarnings({"unchecked", "cast"})
public AnnotationMethodDecl clone() throws CloneNotSupportedException {
AnnotationMethodDecl node = (AnnotationMethodDecl)super.clone();
node.in$Circle(false);
node.is$Final(false);
return node;
}
/**
* @apilevel internal
*/
@SuppressWarnings({"unchecked", "cast"})
public AnnotationMethodDecl copy() {
try {
AnnotationMethodDecl node = (AnnotationMethodDecl)clone();
if(children != null) node.children = (ASTNode[])children.clone();
return node;
} catch (CloneNotSupportedException e) {
}
System.err.println("Error: Could not clone node of type " + getClass().getName() + "!");
return null;
}
/**
* @apilevel low-level
*/
@SuppressWarnings({"unchecked", "cast"})
public AnnotationMethodDecl fullCopy() {
AnnotationMethodDecl res = (AnnotationMethodDecl)copy();
for(int i = 0; i < getNumChildNoTransform(); i++) {
ASTNode node = getChildNoTransform(i);
if(node != null) node = node.fullCopy();
res.setChild(node, i);
}
return res;
}
/**
* @ast method
* @aspect Annotations
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddJ/Java1.5Frontend/Annotations.jrag:160
*/
public void typeCheck() {
super.typeCheck();
if(hasDefaultValue() && !type().commensurateWith(getDefaultValue()))
error(type().typeName() + " is not commensurate with " + getDefaultValue().type().typeName());
}
/**
* @ast method
* @aspect Annotations
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddJ/Java1.5Frontend/Annotations.jrag:571
*/
public void toString(StringBuffer s) {
s.append(indent());
getModifiers().toString(s);
getTypeAccess().toString(s);
s.append(" " + name() + "()");
if(hasDefaultValue()) {
s.append(" default ");
getDefaultValue().toString(s);
}
s.append(";\n");
}
/**
* @ast method
* @aspect AnnotationsCodegen
* @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddExtensions/Jimple1.5Backend/AnnotationsCodegen.jrag:293
*/
public void addAttributes() {
super.addAttributes();
// 4.8.19
if(hasDefaultValue()) {
ArrayList elements = new ArrayList(1);
getDefaultValue().appendAsAttributeTo(elements, "default");
soot.tagkit.AnnotationDefaultTag tag = new soot.tagkit.AnnotationDefaultTag((soot.tagkit.AnnotationElem)elements.get(0));
sootMethod.addTag(tag);
}
}
/**
* @ast method
* @declaredat Annotations.ast:1
*/
public AnnotationMethodDecl() {
super();
setChild(new List(), 2);
setChild(new List(), 3);
setChild(new Opt(), 4);
setChild(new Opt(), 5);
}
/**
* @ast method
* @declaredat Annotations.ast:11
*/
public AnnotationMethodDecl(Modifiers p0, Access p1, String p2, List<ParameterDeclaration> p3, List<Access> p4, Opt<Block> p5, Opt<ElementValue> p6) {
setChild(p0, 0);
setChild(p1, 1);
setID(p2);
setChild(p3, 2);
setChild(p4, 3);
setChild(p5, 4);
setChild(p6, 5);
}
/**
* @ast method
* @declaredat Annotations.ast:20
*/
public AnnotationMethodDecl(Modifiers p0, Access p1, beaver.Symbol p2, List<ParameterDeclaration> p3, List<Access> p4, Opt<Block> p5, Opt<ElementValue> p6) {
setChild(p0, 0);
setChild(p1, 1);
setID(p2);
setChild(p3, 2);
setChild(p4, 3);
setChild(p5, 4);
setChild(p6, 5);
}
/**
* @apilevel low-level
* @ast method
* @declaredat Annotations.ast:32
*/
protected int numChildren() {
return 6;
}
/**
* @apilevel internal
* @ast method
* @declaredat Annotations.ast:38
*/
public boolean mayHaveRewrite() {
return false;
}
/**
* Setter for Modifiers
* @apilevel high-level
* @ast method
* @declaredat java.ast:5
*/
public void setModifiers(Modifiers node) {
setChild(node, 0);
}
/**
* Getter for Modifiers
* @apilevel high-level
* @ast method
* @declaredat java.ast:12
*/
public Modifiers getModifiers() {
return (Modifiers)getChild(0);
}
/**
* @apilevel low-level
* @ast method
* @declaredat java.ast:18
*/
public Modifiers getModifiersNoTransform() {
return (Modifiers)getChildNoTransform(0);
}
/**
* Setter for TypeAccess
* @apilevel high-level
* @ast method
* @declaredat java.ast:5
*/
public void setTypeAccess(Access node) {
setChild(node, 1);
}
/**
* Getter for TypeAccess
* @apilevel high-level
* @ast method
* @declaredat java.ast:12
*/
public Access getTypeAccess() {
return (Access)getChild(1);
}
/**
* @apilevel low-level
* @ast method
* @declaredat java.ast:18
*/
public Access getTypeAccessNoTransform() {
return (Access)getChildNoTransform(1);
}
/**
* Setter for lexeme ID
* @apilevel high-level
* @ast method
* @declaredat java.ast:5
*/
public void setID(String value) {
tokenString_ID = value;
}
/**
* @ast method
* @declaredat java.ast:8
*/
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();
}
/**
* Getter for lexeme ID
* @apilevel high-level
* @ast method
* @declaredat java.ast:19
*/
public String getID() {
return tokenString_ID != null ? tokenString_ID : "";
}
/**
* Setter for ParameterList
* @apilevel high-level
* @ast method
* @declaredat java.ast:5
*/
public void setParameterList(List<ParameterDeclaration> list) {
setChild(list, 2);
}
/**
* @return number of children in ParameterList
* @apilevel high-level
* @ast method
* @declaredat java.ast:12
*/
public int getNumParameter() {
return getParameterList().getNumChild();
}
/**
* Getter for child in list ParameterList
* @apilevel high-level
* @ast method
* @declaredat java.ast:19
*/
@SuppressWarnings({"unchecked", "cast"})
public ParameterDeclaration getParameter(int i) {
return (ParameterDeclaration)getParameterList().getChild(i);
}
/**
* Add element to list ParameterList
* @apilevel high-level
* @ast method
* @declaredat java.ast:27
*/
public void addParameter(ParameterDeclaration node) {
List<ParameterDeclaration> list = (parent == null || state == null) ? getParameterListNoTransform() : getParameterList();
list.addChild(node);
}
/**
* @apilevel low-level
* @ast method
* @declaredat java.ast:34
*/
public void addParameterNoTransform(ParameterDeclaration node) {
List<ParameterDeclaration> list = getParameterListNoTransform();
list.addChild(node);
}
/**
* Setter for child in list ParameterList
* @apilevel high-level
* @ast method
* @declaredat java.ast:42
*/
public void setParameter(ParameterDeclaration node, int i) {
List<ParameterDeclaration> list = getParameterList();
list.setChild(node, i);
}
/**
* Getter for Parameter list.
* @apilevel high-level
* @ast method
* @declaredat java.ast:50
*/
public List<ParameterDeclaration> getParameters() {
return getParameterList();
}
/**
* @apilevel low-level
* @ast method
* @declaredat java.ast:56
*/
public List<ParameterDeclaration> getParametersNoTransform() {
return getParameterListNoTransform();
}
/**
* Getter for list ParameterList
* @apilevel high-level
* @ast method
* @declaredat java.ast:63
*/
@SuppressWarnings({"unchecked", "cast"})
public List<ParameterDeclaration> getParameterList() {
List<ParameterDeclaration> list = (List<ParameterDeclaration>)getChild(2);
list.getNumChild();
return list;
}
/**
* @apilevel low-level
* @ast method
* @declaredat java.ast:72
*/
@SuppressWarnings({"unchecked", "cast"})
public List<ParameterDeclaration> getParameterListNoTransform() {
return (List<ParameterDeclaration>)getChildNoTransform(2);
}
/**
* Setter for ExceptionList
* @apilevel high-level
* @ast method
* @declaredat java.ast:5
*/
public void setExceptionList(List<Access> list) {
setChild(list, 3);
}
/**
* @return number of children in ExceptionList
* @apilevel high-level
* @ast method
* @declaredat java.ast:12
*/
public int getNumException() {
return getExceptionList().getNumChild();
}
/**
* Getter for child in list ExceptionList
* @apilevel high-level
* @ast method
* @declaredat java.ast:19
*/
@SuppressWarnings({"unchecked", "cast"})
public Access getException(int i) {
return (Access)getExceptionList().getChild(i);
}
/**
* Add element to list ExceptionList
* @apilevel high-level
* @ast method
* @declaredat java.ast:27
*/
public void addException(Access node) {
List<Access> list = (parent == null || state == null) ? getExceptionListNoTransform() : getExceptionList();
list.addChild(node);
}
/**
* @apilevel low-level
* @ast method
* @declaredat java.ast:34
*/
public void addExceptionNoTransform(Access node) {
List<Access> list = getExceptionListNoTransform();
list.addChild(node);
}
/**
* Setter for child in list ExceptionList
* @apilevel high-level
* @ast method
* @declaredat java.ast:42
*/
public void setException(Access node, int i) {
List<Access> list = getExceptionList();
list.setChild(node, i);
}
/**
* Getter for Exception list.
* @apilevel high-level
* @ast method
* @declaredat java.ast:50
*/
public List<Access> getExceptions() {
return getExceptionList();
}
/**
* @apilevel low-level
* @ast method
* @declaredat java.ast:56
*/
public List<Access> getExceptionsNoTransform() {
return getExceptionListNoTransform();
}
/**
* Getter for list ExceptionList
* @apilevel high-level
* @ast method
* @declaredat java.ast:63
*/
@SuppressWarnings({"unchecked", "cast"})
public List<Access> getExceptionList() {
List<Access> list = (List<Access>)getChild(3);
list.getNumChild();
return list;
}
/**
* @apilevel low-level
* @ast method
* @declaredat java.ast:72
*/
@SuppressWarnings({"unchecked", "cast"})
public List<Access> getExceptionListNoTransform() {
return (List<Access>)getChildNoTransform(3);
}
/**
* Setter for BlockOpt
* @apilevel low-level
* @ast method
* @declaredat java.ast:5
*/
public void setBlockOpt(Opt<Block> opt) {
setChild(opt, 4);
}
/**
* Does this node have a Block child?
* @apilevel high-level
* @ast method
* @declaredat java.ast:12
*/
public boolean hasBlock() {
return getBlockOpt().getNumChild() != 0;
}
/**
* Getter for optional child Block
* @apilevel high-level
* @ast method
* @declaredat java.ast:19
*/
@SuppressWarnings({"unchecked", "cast"})
public Block getBlock() {
return (Block)getBlockOpt().getChild(0);
}
/**
* Setter for optional child Block
* @apilevel high-level
* @ast method
* @declaredat java.ast:27
*/
public void setBlock(Block node) {
getBlockOpt().setChild(node, 0);
}
/**
* @apilevel low-level
* @ast method
* @declaredat java.ast:37
*/
@SuppressWarnings({"unchecked", "cast"})
public Opt<Block> getBlockOpt() {
return (Opt<Block>)getChild(4);
}
/**
* @apilevel low-level
* @ast method
* @declaredat java.ast:44
*/
@SuppressWarnings({"unchecked", "cast"})
public Opt<Block> getBlockOptNoTransform() {
return (Opt<Block>)getChildNoTransform(4);
}
/**
* Setter for DefaultValueOpt
* @apilevel low-level
* @ast method
* @declaredat Annotations.ast:5
*/
public void setDefaultValueOpt(Opt<ElementValue> opt) {
setChild(opt, 5);
}
/**
* Does this node have a DefaultValue child?
* @apilevel high-level
* @ast method
* @declaredat Annotations.ast:12
*/
public boolean hasDefaultValue() {
return getDefaultValueOpt().getNumChild() != 0;
}
/**
* Getter for optional child DefaultValue
* @apilevel high-level
* @ast method
* @declaredat Annotations.ast:19
*/
@SuppressWarnings({"unchecked", "cast"})
public ElementValue getDefaultValue() {
return (ElementValue)getDefaultValueOpt().getChild(0);
}
/**
* Setter for optional child DefaultValue
* @apilevel high-level
* @ast method
* @declaredat Annotations.ast:27
*/
public void setDefaultValue(ElementValue node) {
getDefaultValueOpt().setChild(node, 0);
}
/**
* @apilevel low-level
* @ast method
* @declaredat Annotations.ast:37
*/
@SuppressWarnings({"unchecked", "cast"})
public Opt<ElementValue> getDefaultValueOpt() {
return (Opt<ElementValue>)getChild(5);
}
/**
* @apilevel low-level
* @ast method
* @declaredat Annotations.ast:44
*/
@SuppressWarnings({"unchecked", "cast"})
public Opt<ElementValue> getDefaultValueOptNoTransform() {
return (Opt<ElementValue>)getChildNoTransform(5);
}
/**
* @apilevel internal
*/
public ASTNode rewriteTo() {
return super.rewriteTo();
}
}