fabil.visit

Class ReadWriteChecker

java.lang.Object

<any>

fabil.visit.ReadWriteChecker

public class ReadWriteChecker
extends <any>

This dataflow analysis checks whether or not a local variable (or more precisely what that variable points to) is guaranteed to have already been read from or written to at a point in a method.

Author:

xinz

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected static class	ReadWriteChecker.DataFlowItem
static class	ReadWriteChecker.State The access state of a variable (resident, read, written).

Constructor Summary

Constructors

Constructor and Description
ReadWriteChecker(Job job, TypeSystem ts, NodeFactory nf)

Method Summary

Modifier and Type	Method and Description
protected void	check(<any> graph, Term n, boolean entry, ReadWriteChecker.DataFlowItem inItem, java.util.Map<EdgeKey,ReadWriteChecker.DataFlowItem> outItems)
protected ReadWriteChecker.DataFlowItem	confluence(java.util.List<ReadWriteChecker.DataFlowItem> items, <any> peer, <any> graph)
protected ReadWriteChecker.DataFlowItem	createInitialItem(<any> graph, Term node, boolean entry)
protected java.util.Map<EdgeKey,ReadWriteChecker.DataFlowItem>	flow(ReadWriteChecker.DataFlowItem in, <any> graph, <any> peer)

Methods inherited from class java.lang.Object

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

Constructor Detail

ReadWriteChecker

public ReadWriteChecker(Job job,
                        TypeSystem ts,
                        NodeFactory nf)

Method Detail

createInitialItem

protected ReadWriteChecker.DataFlowItem createInitialItem(<any> graph,
                                                          Term node,
                                                          boolean entry)

confluence

protected ReadWriteChecker.DataFlowItem confluence(java.util.List<ReadWriteChecker.DataFlowItem> items,
                                                   <any> peer,
                                                   <any> graph)

flow

protected java.util.Map<EdgeKey,ReadWriteChecker.DataFlowItem> flow(ReadWriteChecker.DataFlowItem in,
                                                                    <any> graph,
                                                                    <any> peer)

check

protected void check(<any> graph,
                     Term n,
                     boolean entry,
                     ReadWriteChecker.DataFlowItem inItem,
                     java.util.Map<EdgeKey,ReadWriteChecker.DataFlowItem> outItems)