heros.fieldsens

Interface AccessPathHandler.ResultBuilder<FieldRef,FactAbstraction,Stmt,Method>

Enclosing class:

AccessPathHandler<Field,Fact,Stmt,Method>

public static interface AccessPathHandler.ResultBuilder<FieldRef,FactAbstraction,Stmt,Method>

Method Summary

Modifier and Type	Method and Description
FlowFunction.ConstrainedFact<FieldRef,FactAbstraction,Stmt,Method>	generate(FactAbstraction fact)

Method Detail

generate

FlowFunction.ConstrainedFact<FieldRef,FactAbstraction,Stmt,Method> generate(FactAbstraction fact)