Module dev.civl.abc

Package dev.civl.abc.analysis.pointsTo.IF

Interface InsensitiveFlow

All Superinterfaces:

Iterable<AssignmentIF>

public interface InsensitiveFlow
extends Iterable<AssignmentIF>

The flow-insensitive abstraction of a function body for points-to analysis. It consists of a set of AssignmentIFs, each of which represents an assignment that may have an impact on what a pointer may points-to.

Method Summary

Modifier and Type	Method	Description
InsensitiveFlowFactory	insensitiveFlowfactory()

Methods inherited from interface java.lang.Iterable

forEach, iterator, spliterator

Method Details

insensitiveFlowfactory

InsensitiveFlowFactory insensitiveFlowfactory()

Returns:

the reference to a InsensitiveFlowFactory that creates this InsensitiveFlow