equal
deleted
inserted
replaced
1542 @Override |
1542 @Override |
1543 public Element visitModuleTarget(ModuleTarget_attribute attr, Element p) { |
1543 public Element visitModuleTarget(ModuleTarget_attribute attr, Element p) { |
1544 Element e = new Element(x.getCpString(attr.attribute_name_index)); |
1544 Element e = new Element(x.getCpString(attr.attribute_name_index)); |
1545 e.add(x.getCpString(attr.os_name_index)); |
1545 e.add(x.getCpString(attr.os_name_index)); |
1546 e.add(x.getCpString(attr.os_arch_index)); |
1546 e.add(x.getCpString(attr.os_arch_index)); |
1547 e.add(x.getCpString(attr.os_version_index)); |
|
1548 e.trimToSize(); |
1547 e.trimToSize(); |
1549 p.add(e); |
1548 p.add(e); |
1550 return null; |
1549 return null; |
1551 } |
1550 } |
1552 } |
1551 } |