Package org.checkerframework.dataflow.busyexpr

Class Summary

Class	Description
BusyExprStore	A busy expression store contains a set of busy expressions represented by nodes.
BusyExprTransfer	A busy expression transfer function
BusyExprValue	BusyExprValue class contains a BinaryOperationNode.