|
|||||||||
| Home >> All >> Compil3r >> [ Quad overview ] | PREV NEXT | ||||||||
Uses of Class
Compil3r.Quad.MethodSummary.Node
| Uses of MethodSummary.Node in Compil3r.Quad |
| Subclasses of MethodSummary.Node in Compil3r.Quad | |
static class |
MethodSummary.ConcreteObjectNode
A ConcreteObjectNode refers to an object that we discovered through reflection. |
static class |
MethodSummary.ConcreteTypeNode
A ConcreteTypeNode refers to an object with a concrete type. |
static class |
MethodSummary.FieldNode
A FieldNode represents the result of a 'load' instruction. |
static class |
MethodSummary.GlobalNode
A GlobalNode stores references to the static variables. |
static class |
MethodSummary.OutsideNode
An outside node is some node that can be mapped to other nodes. |
static class |
MethodSummary.ParamNode
A ParamNode represents an incoming parameter. |
static class |
MethodSummary.ReturnedNode
A ReturnedNode represents a return value or thrown exception from a method call. |
static class |
MethodSummary.ReturnValueNode
A ReturnValueNode represents the return value of a method call. |
static class |
MethodSummary.ThrownExceptionNode
A ThrownExceptionNode represents the thrown exception of a method call. |
static class |
MethodSummary.UnknownTypeNode
A UnknownTypeNode refers to an object with an unknown type. |
| Fields in Compil3r.Quad declared as MethodSummary.Node | |
(package private) MethodSummary.Node |
SelectiveCloning.AccessPath.node
|
(package private) MethodSummary.Node |
MethodSummary.Edge.dest
|
private MethodSummary.Node[] |
MethodSummary.NodeSet.elementData
|
(package private) MethodSummary.Node |
MethodSummary.AccessPath._n
The incoming transitions are associated with this AccessPath object. |
| Methods in Compil3r.Quad that return MethodSummary.Node | |
(package private) MethodSummary.Node |
BDDPointerAnalysis.getVariable(int index)
|
(package private) MethodSummary.Node |
BDDPointerAnalysis.getHeapobj(int index)
|
(package private) MethodSummary.Node |
FullyContextSensitiveBDD.getVariable(int index)
|
(package private) MethodSummary.Node |
FullyContextSensitiveBDD.getHeapobj(int index)
|
(package private) MethodSummary.Node |
ContextSensitiveBDD.getVariable(int index)
|
(package private) MethodSummary.Node |
ContextSensitiveBDD.getHeapobj(int index)
|
(package private) MethodSummary.Node |
CSBDDPointerAnalysis.getVariable(int index)
|
(package private) MethodSummary.Node |
CSBDDPointerAnalysis.getHeapobj(int index)
|
static MethodSummary.Node |
MethodSummary.readNode(java.util.StringTokenizer st)
|
abstract MethodSummary.Node |
MethodSummary.Node.copy()
Return a shallow copy of this node. |
MethodSummary.Node |
MethodSummary.ConcreteTypeNode.copy()
|
MethodSummary.Node |
MethodSummary.ConcreteObjectNode.copy()
|
MethodSummary.Node |
MethodSummary.UnknownTypeNode.copy()
|
MethodSummary.Node |
MethodSummary.GlobalNode.copy()
|
MethodSummary.Node |
MethodSummary.ReturnValueNode.copy()
|
MethodSummary.Node |
MethodSummary.ThrownExceptionNode.copy()
|
MethodSummary.Node |
MethodSummary.ParamNode.copy()
|
MethodSummary.Node |
MethodSummary.FieldNode.copy()
|
| Methods in Compil3r.Quad with parameters of type MethodSummary.Node | |
private static void |
SelectiveCloning.addNextToWorklist(MethodSummary.Node n2,
java.util.Collection mc,
java.util.HashMap visited,
java.util.LinkedList node_worklist)
|
SelectiveCloning.AccessPath |
SelectiveCloning.AccessPath.findNode(MethodSummary.Node node)
|
static SelectiveCloning.AccessPath |
SelectiveCloning.AccessPath.create(Compil3r.Quad.AndersenInterface.AndersenField f,
MethodSummary.Node node,
SelectiveCloning.AccessPath n)
|
(package private) static boolean |
SSAReader.assignBaseToNode(MethodSummary.Node base,
MethodSummary.Node dest)
|
(package private) static boolean |
SSAReader.assignBaseToBase(MethodSummary.Node base,
MethodSummary.Node dest)
|
java.util.Set |
BDDPointerAnalysis.getPointsTo(MethodSummary.Node n)
|
void |
BDDPointerAnalysis.dumpNode(MethodSummary.Node n)
|
void |
BDDPointerAnalysis.addThreadRun(MethodSummary.Node n,
Clazz.jq_Class c)
|
void |
BDDPointerAnalysis.handleNode(MethodSummary.Node n)
|
(package private) int |
BDDPointerAnalysis.getVariableIndex(MethodSummary.Node dest)
|
(package private) int |
BDDPointerAnalysis.getHeapobjIndex(MethodSummary.Node site)
|
void |
BDDPointerAnalysis.addObjectAllocation(MethodSummary.Node dest,
MethodSummary.Node site)
|
void |
BDDPointerAnalysis.addDirectAssignment(MethodSummary.Node dest,
java.util.Set srcs)
|
void |
BDDPointerAnalysis.addDirectAssignment(MethodSummary.Node dest,
MethodSummary.Node src)
|
void |
BDDPointerAnalysis.addLoadField(MethodSummary.Node dest,
MethodSummary.Node base,
Clazz.jq_Field f)
|
void |
BDDPointerAnalysis.addLoadField(java.util.Set dests,
MethodSummary.Node base,
Clazz.jq_Field f)
|
void |
BDDPointerAnalysis.addFieldStore(MethodSummary.Node base,
Clazz.jq_Field f,
MethodSummary.Node src)
|
void |
BDDPointerAnalysis.addFieldStore(MethodSummary.Node base,
Clazz.jq_Field f,
java.util.Set srcs)
|
void |
BDDPointerAnalysis.addAllocType(MethodSummary.Node site,
Clazz.jq_Reference type)
|
void |
BDDPointerAnalysis.addVarType(MethodSummary.Node var,
Clazz.jq_Reference type)
|
(package private) static void |
PointerExplorer.printAllInclusionEdges(java.util.HashSet visited,
MethodSummary.Node pnode,
MethodSummary.Node node,
java.lang.String indent,
boolean all,
Compil3r.Quad.AndersenInterface.AndersenField f,
boolean verbose)
|
(package private) int |
FullyContextSensitiveBDD.getVariableIndex(MethodSummary.Node dest)
|
(package private) int |
FullyContextSensitiveBDD.getHeapobjIndex(MethodSummary.Node site)
|
(package private) void |
FullyContextSensitiveBDD.BDDMethodSummary.handleNode(MethodSummary.Node n)
|
void |
FullyContextSensitiveBDD.BDDMethodSummary.addLoad(java.util.Set dests,
MethodSummary.Node base,
Clazz.jq_Field f)
|
void |
FullyContextSensitiveBDD.BDDMethodSummary.addStore(MethodSummary.Node base,
Clazz.jq_Field f,
java.util.Set srcs)
|
void |
FullyContextSensitiveBDD.BDDMethodSummary.addAllocType(MethodSummary.Node base,
Clazz.jq_Reference type)
|
void |
FullyContextSensitiveBDD.BDDMethodSummary.addVarType(MethodSummary.Node base,
Clazz.jq_Reference type)
|
void |
FullyContextSensitiveBDD.BDDMethodSummary.addObjectAllocation(MethodSummary.Node dest,
MethodSummary.Node site)
|
void |
FullyContextSensitiveBDD.BDDMethodSummary.addLocalEscapeNode(MethodSummary.Node n)
|
void |
FullyContextSensitiveBDD.BDDMethodSummary.addNode(MethodSummary.Node n)
|
void |
FullyContextSensitiveBDD.BDDMethodSummary.addEdge(MethodSummary.Node n1,
MethodSummary.Node n2)
|
(package private) int |
ContextSensitiveBDD.getVariableIndex(MethodSummary.Node dest)
|
(package private) int |
ContextSensitiveBDD.getHeapobjIndex(MethodSummary.Node site)
|
void |
ContextSensitiveBDD.BDDMethodSummary.handleNode(MethodSummary.Node n)
|
void |
ContextSensitiveBDD.BDDMethodSummary.addObjectAllocation(MethodSummary.Node dest,
MethodSummary.Node site)
|
void |
ContextSensitiveBDD.BDDMethodSummary.addDirectAssignment(MethodSummary.Node dest,
java.util.Set srcs)
|
void |
ContextSensitiveBDD.BDDMethodSummary.addDirectAssignment(MethodSummary.Node dest,
MethodSummary.Node src)
|
void |
ContextSensitiveBDD.BDDMethodSummary.addLoadField(MethodSummary.Node dest,
MethodSummary.Node base,
Clazz.jq_Field f)
|
void |
ContextSensitiveBDD.BDDMethodSummary.addLoadField(java.util.Set dests,
MethodSummary.Node base,
Clazz.jq_Field f)
|
void |
ContextSensitiveBDD.BDDMethodSummary.addFieldStore(MethodSummary.Node base,
Clazz.jq_Field f,
MethodSummary.Node src)
|
void |
ContextSensitiveBDD.BDDMethodSummary.addFieldStore(MethodSummary.Node base,
Clazz.jq_Field f,
java.util.Set srcs)
|
void |
ContextSensitiveBDD.BDDMethodSummary.addAllocType(MethodSummary.Node site,
Clazz.jq_Reference type)
|
void |
ContextSensitiveBDD.BDDMethodSummary.addVarType(MethodSummary.Node var,
Clazz.jq_Reference type)
|
(package private) int |
CSBDDPointerAnalysis.getVariableIndex(MethodSummary.Node dest)
|
(package private) int |
CSBDDPointerAnalysis.getHeapobjIndex(MethodSummary.Node site)
|
void |
CSBDDPointerAnalysis.addAllocType(MethodSummary.Node site,
Clazz.jq_Reference type)
|
void |
CSBDDPointerAnalysis.addVarType(MethodSummary.Node var,
Clazz.jq_Reference type)
|
void |
CSBDDPointerAnalysis.BDDMethodSummary.handleNode(MethodSummary.Node n)
|
void |
CSBDDPointerAnalysis.BDDMethodSummary.addObjectAllocation(MethodSummary.Node dest,
MethodSummary.Node site)
|
void |
CSBDDPointerAnalysis.BDDMethodSummary.addEdge(MethodSummary.Node dest,
MethodSummary.Node src)
|
void |
CSBDDPointerAnalysis.BDDMethodSummary.addEdge(MethodSummary.Node dest,
java.util.Set srcs)
|
void |
CSBDDPointerAnalysis.BDDMethodSummary.addLoad(java.util.Set dests,
MethodSummary.Node base,
Clazz.jq_Field f)
|
void |
CSBDDPointerAnalysis.BDDMethodSummary.addStore(MethodSummary.Node base,
Clazz.jq_Field f,
java.util.Set srcs)
|
void |
CSBDDPointerAnalysis.BDDMethodSummary.addLocalEscapeNode(MethodSummary.Node n)
|
void |
CSBDDPointerAnalysis.BDDMethodSummary.addNode(MethodSummary.Node n)
|
Compil3r.BytecodeAnalysis.CallTargets |
ProgramLocation.getCallTargets(Compil3r.Quad.AndersenInterface.AndersenMethod target,
MethodSummary.Node n)
|
(package private) static java.util.Set |
MethodSummary.get_mapping(java.util.HashMap callee_to_caller,
MethodSummary.Node callee_n)
Utility function to get the mapping for a callee node. |
void |
MethodSummary.unifyAccessPathEdges(MethodSummary.Node n)
Unify similar access path edges from the given node. |
private boolean |
MethodSummary.addIfUseful(java.util.HashSet visited,
java.util.HashSet path,
MethodSummary.Node n)
Utility function to add the given node to the node set if it is useful, and transitively for other nodes. |
private void |
MethodSummary.addAsUseful(java.util.HashSet visited,
java.util.HashSet path,
MethodSummary.Node n)
Utility function to add the given node to the node set as useful, and transitively for other nodes. |
(package private) void |
MethodSummary.verifyNoReferences(MethodSummary.Node n)
|
protected void |
MethodSummary.BuildMethodSummary.setLocal(int i,
MethodSummary.Node n)
Set the given local in the current state to point to the given node. |
protected void |
MethodSummary.BuildMethodSummary.setRegister(RegisterFactory.Register r,
MethodSummary.Node n)
Set the given register in the current state to point to the given node. |
protected void |
MethodSummary.BuildMethodSummary.heapLoad(java.util.Set result,
MethodSummary.Node base,
Clazz.jq_Field f,
MethodSummary.FieldNode fn)
Abstractly perform a heap load operation on the given base and field with the given field node, putting the result in the given set. |
protected void |
MethodSummary.BuildMethodSummary.heapLoad(Quad obj,
RegisterFactory.Register dest_r,
MethodSummary.Node base_n,
Clazz.jq_Field f)
Abstractly perform a heap load operation corresponding to quad 'obj' with the given destination register, base and field. |
protected void |
MethodSummary.BuildMethodSummary.heapStore(MethodSummary.Node base,
MethodSummary.Node src,
Clazz.jq_Field f,
Quad q)
Abstractly perform a heap store operation of the given source node on the given base node and field. |
protected void |
MethodSummary.BuildMethodSummary.heapStore(MethodSummary.Node base,
java.util.Set src,
Clazz.jq_Field f,
Quad q)
Abstractly perform a heap store operation of the given source nodes on the given base node and field. |
protected void |
MethodSummary.BuildMethodSummary.heapStore(RegisterFactory.Register base_r,
MethodSummary.Node src_n,
Clazz.jq_Field f,
Quad q)
Abstractly perform a heap store operation of the given source node on the nodes in the given register in the current state and the given field. |
protected void |
MethodSummary.BuildMethodSummary.heapStore(MethodSummary.Node base,
RegisterFactory.Register src_r,
Clazz.jq_Field f,
Quad q)
Abstractly perform a heap store operation of the nodes in the given register on the given base node and field. |
private static MethodSummary.Edge |
MethodSummary.Edge.get(MethodSummary.Node source,
MethodSummary.Node dest,
Compil3r.Quad.AndersenInterface.AndersenField field)
|
int |
MethodSummary.Node.compareTo(MethodSummary.Node that)
|
(package private) static void |
MethodSummary.Node.addGlobalEdges(MethodSummary.Node n)
|
boolean |
MethodSummary.Node.hasPredecessor(Compil3r.Quad.AndersenInterface.AndersenField f,
MethodSummary.Node n)
|
boolean |
MethodSummary.Node.removePredecessor(Compil3r.Quad.AndersenInterface.AndersenField m,
MethodSummary.Node n)
Remove the given predecessor node on the given field from the predecessor set. |
boolean |
MethodSummary.Node.addPredecessor(Compil3r.Quad.AndersenInterface.AndersenField m,
MethodSummary.Node n)
Add the given predecessor node on the given field to the predecessor set. |
private boolean |
MethodSummary.Node._removeEdge(Compil3r.Quad.AndersenInterface.AndersenField m,
MethodSummary.Node n)
|
boolean |
MethodSummary.Node.removeEdge(Compil3r.Quad.AndersenInterface.AndersenField m,
MethodSummary.Node n)
Remove the given successor node on the given field from the inside edge set. |
boolean |
MethodSummary.Node.hasEdge(Compil3r.Quad.AndersenInterface.AndersenField m,
MethodSummary.Node n)
|
boolean |
MethodSummary.Node.addEdge(Compil3r.Quad.AndersenInterface.AndersenField m,
MethodSummary.Node n,
java.lang.Object q)
Add the given successor node on the given field to the inside edge set. |
static boolean |
MethodSummary.Node.addEdges(java.util.Set s,
Compil3r.Quad.AndersenInterface.AndersenField f,
MethodSummary.Node n,
Quad q)
Add the given successor node on the given field to the inside edge set of all of the given set of nodes. |
boolean |
MethodSummary.Node.hasAccessPathEdge(Compil3r.Quad.AndersenInterface.AndersenField m,
MethodSummary.Node n)
|
Quad |
MethodSummary.Node.getSourceQuad(Compil3r.Quad.AndersenInterface.AndersenField f,
MethodSummary.Node n)
|
boolean |
MethodSummary.ConcreteObjectNode.hasEdge(Compil3r.Quad.AndersenInterface.AndersenField m,
MethodSummary.Node n)
|
boolean |
MethodSummary.ConcreteObjectNode.removeEdge(Compil3r.Quad.AndersenInterface.AndersenField m,
MethodSummary.Node n)
|
static MethodSummary.FieldNode |
MethodSummary.FieldNode.get(MethodSummary.Node base,
Compil3r.Quad.AndersenInterface.AndersenField f,
Quad obj)
|
private static int |
MethodSummary.NodeSet.compare(MethodSummary.Node n1,
MethodSummary.Node n2)
|
private int |
MethodSummary.NodeSet.whereDoesItGo(MethodSummary.Node o)
|
boolean |
MethodSummary.NodeSet.add(MethodSummary.Node arg0)
|
int |
MethodSummary.NodeSet.indexOf(MethodSummary.Node arg0)
|
boolean |
MethodSummary.NodeSet.contains(MethodSummary.Node arg0)
|
boolean |
MethodSummary.NodeSet.remove(MethodSummary.Node arg0)
|
static MethodSummary.AccessPath |
MethodSummary.AccessPath.create(Compil3r.Quad.AndersenInterface.AndersenField f,
MethodSummary.Node n,
MethodSummary.AccessPath p)
Return an access path that is equivalent to the given access path prepended with a transition on the given field and node. |
static MethodSummary.AccessPath |
MethodSummary.AccessPath.create(MethodSummary.AccessPath p,
Compil3r.Quad.AndersenInterface.AndersenField f,
MethodSummary.Node n)
Return an access path that is equivalent to the given access path appended with a transition on the given field and node. |
private MethodSummary.AccessPath |
MethodSummary.AccessPath.findNode(MethodSummary.Node n,
java.util.HashSet s)
Helper function for findNode(Node n), below. |
MethodSummary.AccessPath |
MethodSummary.AccessPath.findNode(MethodSummary.Node n)
Find the AccessPath object that corresponds to the given node. |
(package private) void |
AndersenPointerAnalysis.addInclusionBackEdge(MethodSummary.OutsideNode n,
MethodSummary.Node n2)
|
(package private) void |
AndersenPointerAnalysis.addInclusionEdge(MethodSummary.OutsideNode n,
MethodSummary.Node s,
java.lang.Object mc)
|
(package private) java.util.Set |
AndersenPointerAnalysis.getInclusionEdges(MethodSummary.Node n)
|
(package private) static boolean |
AndersenPointerAnalysis.checkInvalidFieldAccess(MethodSummary.Node n,
Clazz.jq_Field f)
|
(package private) void |
AndersenPointerAnalysis.addEdgesFromConcreteNodes(MethodSummary.Node from,
Clazz.jq_Field f,
java.util.Set to)
|
(package private) void |
AndersenPointerAnalysis.addEdgesFromConcreteNodes(MethodSummary.Node from,
Clazz.jq_Field f,
MethodSummary.Node to)
|
(package private) void |
AndersenPointerAnalysis.addInclusionEdgesToConcreteNodes(java.util.Set from,
MethodSummary.Node base,
Clazz.jq_Field f)
|
(package private) void |
AndersenPointerAnalysis.addInclusionEdgesToConcreteNodes(MethodSummary.OutsideNode from,
MethodSummary.Node base,
Clazz.jq_Field f)
|
(package private) java.util.Set |
AndersenPointerAnalysis.getConcreteNodes(MethodSummary.Node from,
SelectiveCloning.AccessPath ap)
|
(package private) java.util.Set |
AndersenPointerAnalysis.getConcreteNodes(MethodSummary.Node from)
|
| Constructors in Compil3r.Quad with parameters of type MethodSummary.Node | |
MethodSummary.Edge(MethodSummary.Node source,
MethodSummary.Node dest,
Compil3r.Quad.AndersenInterface.AndersenField field)
|
|
MethodSummary.Node(MethodSummary.Node that)
|
|
MethodSummary.OutsideNode(MethodSummary.Node n)
|
|
MethodSummary.AccessPath(Compil3r.Quad.AndersenInterface.AndersenField f,
MethodSummary.Node n,
boolean last)
Private constructor. |
|
MethodSummary.AccessPath(Compil3r.Quad.AndersenInterface.AndersenField f,
MethodSummary.Node n)
Private constructor. |
|
|
|||||||||
| Home >> All >> Compil3r >> [ Quad overview ] | PREV NEXT | ||||||||