public static boolean isSynthetic(JavaClass j) {
if (j.isSynthetic()) {
return true;
}
for (Attribute a : j.getAttributes()) {
if (a instanceof Synthetic) {
return true;
}
}
return false;
}
public JavaArrayClass(String className, JavaClass et, int dimension) {
super(
et.getClassNameIndex(),
et.getSuperclassNameIndex(),
et.getFileName(),
et.getMajor(),
et.getMinor(),
et.getAccessFlags(),
et.getConstantPool(),
et.getInterfaceIndices(),
et.getFields(),
et.getMethods(),
et.getAttributes());
this.dimension = dimension;
this.className = className;
isBasicType = false;
}
private void writeMainHTML(AttributeHTML attribute_html) throws IOException {
PrintWriter file = new PrintWriter(new FileOutputStream(dir + class_name + ".html"));
Attribute[] attributes = java_class.getAttributes();
file.println(
"<HTML>\n"
+ "<HEAD><TITLE>Documentation for "
+ class_name
+ "</TITLE>"
+ "</HEAD>\n"
+ "<FRAMESET BORDER=1 cols=\"30%,*\">\n"
+ "<FRAMESET BORDER=1 rows=\"80%,*\">\n"
+ "<FRAME NAME=\"ConstantPool\" SRC=\""
+ class_name
+ "_cp.html"
+ "\"\n MARGINWIDTH=\"0\" "
+ "MARGINHEIGHT=\"0\" FRAMEBORDER=\"1\" SCROLLING=\"AUTO\">\n"
+ "<FRAME NAME=\"Attributes\" SRC=\""
+ class_name
+ "_attributes.html"
+ "\"\n MARGINWIDTH=\"0\" "
+ "MARGINHEIGHT=\"0\" FRAMEBORDER=\"1\" SCROLLING=\"AUTO\">\n"
+ "</FRAMESET>\n"
+ "<FRAMESET BORDER=1 rows=\"80%,*\">\n"
+ "<FRAME NAME=\"Code\" SRC=\""
+ class_name
+ "_code.html\"\n MARGINWIDTH=0 "
+ "MARGINHEIGHT=0 FRAMEBORDER=1 SCROLLING=\"AUTO\">\n"
+ "<FRAME NAME=\"Methods\" SRC=\""
+ class_name
+ "_methods.html\"\n MARGINWIDTH=0 "
+ "MARGINHEIGHT=0 FRAMEBORDER=1 SCROLLING=\"AUTO\">\n"
+ "</FRAMESET></FRAMESET></HTML>");
file.close();
for (int i = 0; i < attributes.length; i++)
attribute_html.writeAttribute(attributes[i], "class" + i);
}
private void setup() throws Exception {
// populate BT
BT.addAll(manifest.getBaseTypes());
// populate BLM
BLM.addAll(manifest.getBaseMethods());
// populate BLS
LS.addAll(manifest.getTransformations());
// populate ELM
for (Method blm : BLM)
for (Annotation an : AnnotationReader.getAnnotations(blm.getAttributes())) {
if (an instanceof Equivalents) {
Set<Method> lms = new HashSet<Method>();
ELM.put(blm, lms);
for (String lm_name : ((Equivalents) an).value().split(",")) lms.add(rlm(lm_name));
}
}
// populate ET, ETinv
for (JavaClass bt : BT)
for (Annotation an : AnnotationReader.getAnnotations(bt.getAttributes()))
if (an instanceof Equivalents) {
Set<JavaClass> tset = new HashSet<JavaClass>();
ET.put(bt, tset);
for (String t_name : ((Equivalents) an).value().split(",")) tset.add(rlk(t_name));
for (JavaClass t : tset) {
if (ETinv.containsKey(t))
throw new InvalidLibraryException(
"Bad type " + t + ": already equivalent to base method " + ETinv.get(t) + ".");
ETinv.put(t, bt);
}
}
// populate VLM
for (Method blm : BLM) {
VLM.put(blm, new HashMap<String, Method>());
for (Method lm : ELM.get(blm)) {
String vsig = lm.getSignature();
VLM.get(blm).put(vsig, lm);
}
}
// VLM type check
for (Method blm : BLM) {
Map<Integer, JavaClass> bv = method2v(blm);
for (Method lm : ELM.get(blm)) {
Map<Integer, JavaClass> v = method2v(lm);
if (!v.keySet().equals(bv.keySet()))
throw new InvalidLibraryException(
"Bad method " + lm + ": number of parameters differ from base method.");
for (int i : v.keySet())
if (!ETinv.get(v.get(i)).equals(bv.get(i)))
throw new InvalidLibraryException(
"Bad method " + lm + ": argument " + i + " is incompatible with base method.");
}
}
// populate FLS
for (JavaClass t : ETinv.keySet()) FLS.put(t, new HashMap<JavaClass, Method>());
for (Method ls : LS) {
Map<Integer, JavaClass> v = method2v(ls);
if (!v.containsKey(-1))
throw new InvalidLibraryException("Bad transform " + ls + ": must return an object.");
if (v.size() != 2)
throw new InvalidLibraryException(
"Bad transform " + ls + ": must take exactly one argument.");
JavaClass tu = v.get(-1);
JavaClass tv = v.get(0);
if (!ETinv.containsKey(tu))
throw new InvalidLibraryException(
"Bad transform " + ls + ": invalid source type " + tu + ".");
if (!ETinv.containsKey(tv))
throw new InvalidLibraryException(
"Bad transform " + ls + ": invalid dest type " + tu + ".");
if (!ETinv.get(tu).equals(ETinv.get(tv)))
throw new InvalidLibraryException(
"Bad transform " + ls + ": source and dest types not compatible.");
FLS.get(tu).put(tv, ls);
}
// populate CLM
for (Set<Method> lms : ELM.values())
for (Method lm : lms)
for (Annotation an : AnnotationReader.getAnnotations(lm.getAttributes()))
/*
if (an instanceof Cost)
czm.put(zm, ((Cost)an).value());
*/
if (an instanceof CostFn) {
String zc_name = ((CostFn) an).value();
Method zc = rlm(zc_name);
CLM.put(lm, zc);
}
// populate CLS
for (Method ls : LS) // TODO check that types are equivalent?
for (Annotation an : AnnotationReader.getAnnotations(ls.getAttributes()))
/*
if (an instanceof Cost)
czs.put(zs, ((Cost)an).value());
*/
if (an instanceof CostFn) {
String zc_name = ((CostFn) an).value();
Method zc = rlm(zc_name);
CLS.put(ls, zc);
}
}
