heros.fieldsens

Class AccessPathHandler<Field,Fact,Stmt,Method>

java.lang.Object

heros.fieldsens.AccessPathHandler<Field,Fact,Stmt,Method>

public class AccessPathHandler<Field,Fact,Stmt,Method>
extends java.lang.Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static interface	AccessPathHandler.ResultBuilder<FieldRef,FactAbstraction,Stmt,Method>

Constructor Summary

Constructors

Constructor and Description
AccessPathHandler(AccessPath<Field> accessPath, Resolver<Field,Fact,Stmt,Method> resolver, Debugger<Field,Fact,Stmt,Method> debugger)

Method Summary

Modifier and Type	Method and Description
boolean	canRead(Field field)
FlowFunction.ConstrainedFact<Field,Fact,Stmt,Method>	generate(Fact fact)
FlowFunction.ConstrainedFact<Field,Fact,Stmt,Method>	generateWithEmptyAccessPath(Fact fact, ZeroHandler<Field> zeroHandler)
boolean	mayBeEmpty()
boolean	mayCanRead(Field field)
AccessPathHandler.ResultBuilder<Field,Fact,Stmt,Method>	overwrite(Field field)
AccessPathHandler.ResultBuilder<Field,Fact,Stmt,Method>	prepend(Field field)
AccessPathHandler.ResultBuilder<Field,Fact,Stmt,Method>	read(Field field)

Methods inherited from class java.lang.Object

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

Constructor Detail

AccessPathHandler

public AccessPathHandler(AccessPath<Field> accessPath,
                         Resolver<Field,Fact,Stmt,Method> resolver,
                         Debugger<Field,Fact,Stmt,Method> debugger)

Method Detail

canRead

public boolean canRead(Field field)

mayCanRead

public boolean mayCanRead(Field field)

mayBeEmpty

public boolean mayBeEmpty()

generate

public FlowFunction.ConstrainedFact<Field,Fact,Stmt,Method> generate(Fact fact)

generateWithEmptyAccessPath

public FlowFunction.ConstrainedFact<Field,Fact,Stmt,Method> generateWithEmptyAccessPath(Fact fact,
                                                                                        ZeroHandler<Field> zeroHandler)

prepend

public AccessPathHandler.ResultBuilder<Field,Fact,Stmt,Method> prepend(Field field)

read

public AccessPathHandler.ResultBuilder<Field,Fact,Stmt,Method> read(Field field)

overwrite

public AccessPathHandler.ResultBuilder<Field,Fact,Stmt,Method> overwrite(Field field)