Uses of Interface Compil3r.Dataflow.TransferFunction

Overview

Package

Class

Use

Deprecated

Index

Home >> All >> Compil3r >> [ Dataflow overview ]

PREV NEXT

Methods in Compil3r.Dataflow that return TransferFunction

TransferFunction ReachingDefs.getTransferFunction(java.lang.Object e)


abstract TransferFunction Problem.getTransferFunction(java.lang.Object e)
          Returns the transfer function for the given code element.

TransferFunction Problem.compose(TransferFunction tf1, TransferFunction tf2)
          Returns the composition of two transfer functions.

TransferFunction Problem.closure(TransferFunction tf)
          Returns the closure of the given transfer function.

Methods in Compil3r.Dataflow with parameters of type TransferFunction

Fact Problem.apply(TransferFunction tf, Fact f)
          Applies the transfer function to the given dataflow value, yielding another dataflow value.

TransferFunction Problem.compose(TransferFunction tf1, TransferFunction tf2)
          Returns the composition of two transfer functions.

TransferFunction Problem.closure(TransferFunction tf)
          Returns the closure of the given transfer function.