Package com.ibm.wala.cast.analysis.typeInference

Class AstTypeInference.AstTypeOperatorFactory

java.lang.Object

com.ibm.wala.ssa.SSAInstruction.Visitor

com.ibm.wala.analysis.typeInference.TypeInference.TypeOperatorFactory

com.ibm.wala.cast.analysis.typeInference.AstTypeInference.AstTypeOperatorFactory

All Implemented Interfaces:

AstInstructionVisitor, SSAInference.OperatorFactory<TypeVariable>, IVisitorWithAddresses, SSAInstruction.IVisitor

Direct Known Subclasses:

AstJavaTypeInference.AstJavaTypeOperatorFactory

Enclosing class:

AstTypeInference

protected class AstTypeInference.AstTypeOperatorFactory
extends TypeInference.TypeOperatorFactory
implements AstInstructionVisitor

Field Summary

Fields inherited from class com.ibm.wala.analysis.typeInference.TypeInference.TypeOperatorFactory

result

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	AstTypeOperatorFactory()

Method Summary

Modifier and Type	Method	Description
void	visitAssert(AstAssertInstruction instruction)
void	visitAstGlobalRead(AstGlobalRead instruction)
void	visitAstGlobalWrite(AstGlobalWrite instruction)
void	visitAstLexicalRead(AstLexicalRead inst)
void	visitAstLexicalWrite(AstLexicalWrite inst)
void	visitEachElementGet(EachElementGetInstruction inst)
void	visitEachElementHasNext(EachElementHasNextInstruction inst)
void	visitEcho(AstEchoInstruction inst)
void	visitIsDefined(AstIsDefinedInstruction inst)
void	visitPropertyRead(AstPropertyRead inst)
void	visitPropertyWrite(AstPropertyWrite inst)

Methods inherited from class com.ibm.wala.analysis.typeInference.TypeInference.TypeOperatorFactory

get, visitAddressOf, visitArrayLength, visitArrayLoad, visitBinaryOp, visitCheckCast, visitComparison, visitConversion, visitGet, visitGetCaughtException, visitInstanceof, visitInvoke, visitLoadIndirect, visitLoadMetadata, visitNew, visitPhi, visitPi, visitStoreIndirect, visitUnaryOp

Methods inherited from class com.ibm.wala.ssa.SSAInstruction.Visitor

visitArrayStore, visitConditionalBranch, visitGoto, visitMonitor, visitPut, visitReturn, visitSwitch, visitThrow

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface com.ibm.wala.cast.ir.ssa.AstInstructionVisitor

visitYield

Methods inherited from interface com.ibm.wala.ssa.SSAInstruction.IVisitor

visitArrayLength, visitArrayLoad, visitArrayStore, visitBinaryOp, visitCheckCast, visitComparison, visitConditionalBranch, visitConversion, visitGet, visitGetCaughtException, visitGoto, visitInstanceof, visitInvoke, visitLoadMetadata, visitMonitor, visitNew, visitPhi, visitPi, visitPut, visitReturn, visitSwitch, visitThrow, visitUnaryOp

Constructor Details

AstTypeOperatorFactory

protected AstTypeOperatorFactory()

Method Details

visitPropertyRead

public void visitPropertyRead(AstPropertyRead inst)

Specified by:

visitPropertyRead in interface AstInstructionVisitor

visitPropertyWrite

public void visitPropertyWrite(AstPropertyWrite inst)

Specified by:

visitPropertyWrite in interface AstInstructionVisitor

visitAstLexicalRead

public void visitAstLexicalRead(AstLexicalRead inst)

Specified by:

visitAstLexicalRead in interface AstInstructionVisitor

visitAstLexicalWrite

public void visitAstLexicalWrite(AstLexicalWrite inst)

Specified by:

visitAstLexicalWrite in interface AstInstructionVisitor

visitAstGlobalRead

public void visitAstGlobalRead(AstGlobalRead instruction)

Specified by:

visitAstGlobalRead in interface AstInstructionVisitor

visitAstGlobalWrite

public void visitAstGlobalWrite(AstGlobalWrite instruction)

Specified by:

visitAstGlobalWrite in interface AstInstructionVisitor

visitAssert

public void visitAssert(AstAssertInstruction instruction)

Specified by:

visitAssert in interface AstInstructionVisitor

visitEachElementGet

public void visitEachElementGet(EachElementGetInstruction inst)

Specified by:

visitEachElementGet in interface AstInstructionVisitor

visitEachElementHasNext

public void visitEachElementHasNext(EachElementHasNextInstruction inst)

Specified by:

visitEachElementHasNext in interface AstInstructionVisitor

visitIsDefined

public void visitIsDefined(AstIsDefinedInstruction inst)

Specified by:

visitIsDefined in interface AstInstructionVisitor

visitEcho

public void visitEcho(AstEchoInstruction inst)

Specified by:

visitEcho in interface AstInstructionVisitor