DASCA
/
WALA
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

changes for new language support

This commit is contained in:
Julian Dolby 2015-10-25 16:13:07 -04:00
parent 556d8ff043
commit 849177fa5e
3 changed files with 6 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
com.ibm.wala.cast/source/java/com/ibm/wala/cast/ir/translator/AstTranslator.java
View File

@ -1057,7 +1057,7 @@ public abstract class AstTranslator extends CAstVisitor<AstTranslator.WalkContex
deadBlocks.remove(dst);
}
boolean isDeadBlock(PreBasicBlock block) {
public boolean isDeadBlock(PreBasicBlock block) {
return deadBlocks.contains(block);
}
@ -3387,7 +3387,7 @@ public abstract class AstTranslator extends CAstVisitor<AstTranslator.WalkContex
return new UnwindContext(n, context, visitor);
}
private Map<CAstEntity, Set<String>> entity2ExposedNames;
protected Map<CAstEntity, Set<String>> entity2ExposedNames;
protected int processFunctionExpr(CAstNode n, WalkContext context) {
CAstEntity fn = (CAstEntity) n.getChild(0).getValue();
declareFunction(fn, context);

5
com.ibm.wala.cast/source/java/com/ibm/wala/cast/loader/AstDynamicPropertyClass.java
View File

@ -33,10 +33,11 @@ public abstract class AstDynamicPropertyClass extends AstClass {
@Override
public IField getField(final Atom name) {
IField x;
if (declaredFields.containsKey(name)) {
return declaredFields.get(name);
} else if (getSuperclass() != null) {
return getSuperclass().getField(name);
} else if (getSuperclass() != null && (x = getSuperclass().getField(name)) != null) {
return x;
} else {
final boolean isStatic = isStaticField(name);
declaredFields.put(name, new AstDynamicField(isStatic, this, name, defaultDescriptor));

1
com.ibm.wala.ide.jdt/source/com/ibm/wala/cast/java/translator/jdt/ejc/EJCSourceModuleTranslator.java
View File

@ -158,6 +158,7 @@ public class EJCSourceModuleTranslator implements SourceModuleTranslator {
* Project -> AST code from org.eclipse.jdt.core.tests.performance
*/
@SuppressWarnings("unchecked")
@Override
public void loadAllSources(Set<ModuleEntry> modules) {
List<String> sources = new LinkedList<String>();