接口 ProgramLocationDependent
-
- 所有已知实现类:
BamLocationDependentJvmMemoryLocation,JvmAbstractState,JvmMemoryLocationAbstractState,JvmValueAbstractState
public interface ProgramLocationDependentIf anAbstractStateis program location-specific (i.e., is associated to a specific node from theCfa), it should implementProgramLocationDependent.
-
-
方法概要
所有方法 实例方法 抽象方法 修饰符和类型 方法 说明 JvmCfaNodegetProgramLocation()Returns the program location.voidsetProgramLocation(JvmCfaNode programLocation)Sets the program location.
-
-
-
方法详细资料
-
getProgramLocation
JvmCfaNode getProgramLocation()
Returns the program location.
-
setProgramLocation
void setProgramLocation(JvmCfaNode programLocation)
Sets the program location.
-
-