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

small cleanups for TypeInference 

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1141 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
sjfink 2007-05-16 19:32:02 +00:00
parent d0cd43898f
commit a946870b21
1 changed files with 11 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
com.ibm.wala.cast/source/java/com/ibm/wala/cast/analysis/typeInference/AstTypeInference.java
View File

@ -19,29 +19,34 @@ public abstract class AstTypeInference extends TypeInference {
private final TypeAbstraction booleanType;
protected class AstTypeOperatorFactory
extends TypeOperatorFactory
implements AstInstructionVisitor
{
protected class AstTypeOperatorFactory extends TypeOperatorFactory implements AstInstructionVisitor {
public void visitAstLexicalRead(AstLexicalRead inst) {
result = new DeclaredTypeOperator(new ConeType(cha.getRootClass(), cha));
}
public void visitAstLexicalWrite(AstLexicalWrite inst) {
}
public void visitAstGlobalRead(AstGlobalRead instruction) {
result = new DeclaredTypeOperator(new ConeType(cha.getRootClass(), cha));
}
public void visitAstGlobalWrite(AstGlobalWrite instruction) {
}
public void visitNonExceptingThrow(NonExceptingThrowInstruction inst) {
}
public void visitAssert(AstAssertInstruction instruction) {
}
public void visitEachElementGet(EachElementGetInstruction inst) {
result = new DeclaredTypeOperator(new ConeType(cha.getRootClass(), cha));
}
public void visitEachElementHasNext(EachElementHasNextInstruction inst) {
}
public void visitIsDefined(AstIsDefinedInstruction inst) {
if (doPrimitives) {
result = new DeclaredTypeOperator(booleanType);
@ -49,11 +54,8 @@ public abstract class AstTypeInference extends TypeInference {
}
};
public AstTypeInference(IR ir,
ClassHierarchy cha,
TypeAbstraction booleanType,
boolean doPrimitives) {
super(ir, cha, doPrimitives);
public AstTypeInference(IR ir, ClassHierarchy cha, TypeAbstraction booleanType, boolean doPrimitives) {
super(ir, doPrimitives);
this.booleanType = booleanType;
}
@ -62,4 +64,3 @@ public abstract class AstTypeInference extends TypeInference {
}
}