Uses of Class
joeq.Class.jq_Field

Packages that use jq_Field

joeq.Class
joeq.ClassLib.Common
joeq.Compiler.Analysis.BDD
joeq.Compiler.Analysis.FlowInsensitive
joeq.Compiler.Analysis.IPA
joeq.Compiler.Analysis.Primitive
joeq.Compiler.BytecodeAnalysis
joeq.Compiler.Quad
joeq.Runtime
joeq.Util

Uses of jq_Field in joeq.Class

Subclasses of jq_Field in joeq.Class

class	jq_InstanceField
class	jq_StaticField

Methods in joeq.Class that return jq_Field

jq_Field	jq_Class.getDeclaredField(String name)
jq_Field	jq_Class.getDeclaredField(Utf8 name)

Methods in joeq.Class with parameters of type jq_Field

void	jq_FieldVisitor.visitField(jq_Field m)
void	jq_FieldVisitor.EmptyVisitor.visitField(jq_Field m)

Uses of jq_Field in joeq.ClassLib.Common

Methods in joeq.ClassLib.Common that return jq_Field

jq_Field	NullInterfaceImpl.getJQField(Field f)
jq_Field	Interface.getJQField(Field f)

Methods in joeq.ClassLib.Common with parameters of type jq_Field

Field	NullInterfaceImpl.createNewField(jq_Field f)
Field	Interface.createNewField(jq_Field f)
void	NullInterfaceImpl.initNewField(Field dis, jq_Field f)
void	Interface.initNewField(Field dis, jq_Field f)

Uses of jq_Field in joeq.Compiler.Analysis.BDD

Methods in joeq.Compiler.Analysis.BDD with parameters of type jq_Field

int	BuildBDDIR.memberIdFromField(jq_Field f)

Uses of jq_Field in joeq.Compiler.Analysis.FlowInsensitive

Methods in joeq.Compiler.Analysis.FlowInsensitive that return jq_Field

jq_Field	MethodSummary.AccessPath.first() Returns the first field of this access path.
jq_Field	MethodSummary.FieldNode.getField()

Methods in joeq.Compiler.Analysis.FlowInsensitive with parameters of type jq_Field

boolean	MethodSummary.Node.addAccessPathEdge(jq_Field m, MethodSummary.FieldNode n) Add the given successor node on the given field to the outside edge set.
boolean	MethodSummary.Node.addAccessPathEdges(jq_Field m, Set s) Add the given set of successor nodes on the given field to the outside edge set.
boolean	MethodSummary.Node.addEdge(jq_Field m, MethodSummary.Node n) Add the given successor node on the given field to the inside edge set.
boolean	MethodSummary.Node.addEdges(jq_Field m, Set s) Add the given set of successor nodes on the given field to the inside edge set.
static boolean	MethodSummary.Node.addEdges(Set s, jq_Field f, MethodSummary.Node n) 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.addPredecessor(jq_Field m, MethodSummary.Node n) Add the given predecessor node on the given field to the predecessor set.
static MethodSummary.AccessPath	MethodSummary.AccessPath.create(jq_Field 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, jq_Field 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.
static MethodSummary.ConcreteObjectNode	MethodSummary.ConcreteObjectNode.get(jq_Field f, Object o)
static MethodSummary.FieldNode	MethodSummary.FieldNode.get(MethodSummary.Node base, jq_Field f, ProgramLocation obj)
Set	MethodSummary.Node.getAccessPathEdges(jq_Field m)
void	MethodSummary.Node.getAccessPathEdges(jq_Field m, Set result) Add the nodes that are targets of outside edges on the given field to the given result set.
Set	MethodSummary.Node.getAllEdges(jq_Field m)
void	MethodSummary.Node.getAllEdges(jq_Field m, Set result) Add the nodes that are targets of inside edges on the given field to the given result set.
void	MethodSummary.Node.getEdges_escaped(jq_Field m, Set result) Add the nodes that are targets of inside edges on the given field to the given result set.
Set	MethodSummary.Node.getNonEscapingEdges(jq_Field m)
boolean	MethodSummary.Node.hasAccessPathEdge(jq_Field m, MethodSummary.Node n)
boolean	MethodSummary.Node.hasNonEscapingEdge(jq_Field m, MethodSummary.Node n)
boolean	MethodSummary.ConcreteObjectNode.hasNonEscapingEdge(jq_Field m, MethodSummary.Node n)
boolean	MethodSummary.Node.hasPredecessor(jq_Field f, MethodSummary.Node n)
protected void	MethodSummary.BuildMethodSummary.heapLoad(ProgramLocation obj, RegisterFactory.Register dest_r, MethodSummary.Node base_n, 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.heapLoad(ProgramLocation obj, RegisterFactory.Register dest_r, RegisterFactory.Register base_r, jq_Field f) Abstractly perform a heap load operation corresponding to quad 'obj' with the given destination register, base register and field.
protected void	MethodSummary.BuildMethodSummary.heapLoad(ProgramLocation obj, RegisterFactory.Register dest_r, Set base_s, jq_Field f) Abstractly perform a heap load operation corresponding to quad 'obj' with the given destination register, bases and field.
protected void	MethodSummary.BuildMethodSummary.heapLoad(Set result, MethodSummary.Node base, 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.heapStore(MethodSummary.Node base, MethodSummary.Node src, jq_Field f) 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, Object src, jq_Field f)
protected void	MethodSummary.BuildMethodSummary.heapStore(MethodSummary.Node base, Set src, jq_Field f) Abstractly perform a heap store operation of the given source nodes on the given base node and field.
protected void	MethodSummary.BuildMethodSummary.heapStore(Object base, Object src, jq_Field f) 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.
boolean	MethodSummary.Node.removeAccessPathEdge(jq_Field m, MethodSummary.FieldNode n) Remove the given successor node on the given field from the outside edge set.
boolean	MethodSummary.Node.removeEdge(jq_Field m, MethodSummary.Node n) Remove the given successor node on the given field from the inside edge set.
boolean	MethodSummary.ConcreteObjectNode.removeEdge(jq_Field m, MethodSummary.Node n)
boolean	MethodSummary.Node.removePredecessor(jq_Field m, MethodSummary.Node n) Remove the given predecessor node on the given field from the predecessor set.
static MethodSummary.FieldNode	MethodSummary.FieldNode.unify(jq_Field f, Set s) Returns a new FieldNode that is the unification of the given set of FieldNodes.

Uses of jq_Field in joeq.Compiler.Analysis.IPA

Methods in joeq.Compiler.Analysis.IPA that return jq_Field

jq_Field

PAResults.getField(int v)

Methods in joeq.Compiler.Analysis.IPA with parameters of type jq_Field

int	PAResults.getFieldIndex(jq_Field m)
Set	PAResultSelector.getFieldPointeeTypes(jq_Field f)

Uses of jq_Field in joeq.Compiler.Analysis.Primitive

Methods in joeq.Compiler.Analysis.Primitive that return jq_Field

jq_Field	PrimitiveMethodSummary.AccessPath.first() Returns the first field of this access path.
jq_Field	PrimitiveMethodSummary.FieldNode.getField()

Methods in joeq.Compiler.Analysis.Primitive with parameters of type jq_Field

boolean	PrimitiveMethodSummary.Node.addAccessPathEdge(jq_Field m, PrimitiveMethodSummary.FieldNode n) Add the given successor node on the given field to the outside edge set.
boolean	PrimitiveMethodSummary.Node.addAccessPathEdges(jq_Field m, Set s) Add the given set of successor nodes on the given field to the outside edge set.
boolean	PrimitiveMethodSummary.Node.addEdge(jq_Field m, PrimitiveMethodSummary.Node n) Add the given successor node on the given field to the inside edge set.
boolean	PrimitiveMethodSummary.Node.addEdges(jq_Field m, Set s) Add the given set of successor nodes on the given field to the inside edge set.
static boolean	PrimitiveMethodSummary.Node.addEdges(Set s, jq_Field f, PrimitiveMethodSummary.Node n) Add the given successor node on the given field to the inside edge set of all of the given set of nodes.
boolean	PrimitiveMethodSummary.Node.addPredecessor(jq_Field m, PrimitiveMethodSummary.Node n) Add the given predecessor node on the given field to the predecessor set.
static PrimitiveMethodSummary.AccessPath	PrimitiveMethodSummary.AccessPath.create(jq_Field f, PrimitiveMethodSummary.Node n, PrimitiveMethodSummary.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 PrimitiveMethodSummary.AccessPath	PrimitiveMethodSummary.AccessPath.create(PrimitiveMethodSummary.AccessPath p, jq_Field f, PrimitiveMethodSummary.Node n) Return an access path that is equivalent to the given access path appended with a transition on the given field and node.
static PrimitiveMethodSummary.ConcreteObjectNode	PrimitiveMethodSummary.ConcreteObjectNode.get(jq_Field f, Object o)
static PrimitiveMethodSummary.FieldNode	PrimitiveMethodSummary.FieldNode.get(PrimitiveMethodSummary.Node base, jq_Field f, ProgramLocation obj)
Set	PrimitiveMethodSummary.Node.getAccessPathEdges(jq_Field m)
void	PrimitiveMethodSummary.Node.getAccessPathEdges(jq_Field m, Set result) Add the nodes that are targets of outside edges on the given field to the given result set.
Set	PrimitiveMethodSummary.Node.getAllEdges(jq_Field m)
void	PrimitiveMethodSummary.Node.getAllEdges(jq_Field m, Set result) Add the nodes that are targets of inside edges on the given field to the given result set.
void	PrimitiveMethodSummary.Node.getEdges_escaped(jq_Field m, Set result) Add the nodes that are targets of inside edges on the given field to the given result set.
Set	PrimitiveMethodSummary.Node.getNonEscapingEdges(jq_Field m)
boolean	PrimitiveMethodSummary.Node.hasAccessPathEdge(jq_Field m, PrimitiveMethodSummary.Node n)
boolean	PrimitiveMethodSummary.Node.hasNonEscapingEdge(jq_Field m, PrimitiveMethodSummary.Node n)
boolean	PrimitiveMethodSummary.ConcreteObjectNode.hasNonEscapingEdge(jq_Field m, PrimitiveMethodSummary.Node n)
boolean	PrimitiveMethodSummary.Node.hasPredecessor(jq_Field f, PrimitiveMethodSummary.Node n)
protected void	PrimitiveMethodSummary.BuildMethodSummary.heapLoad(ProgramLocation obj, RegisterFactory.Register dest_r, PrimitiveMethodSummary.Node base_n, jq_Field f) Abstractly perform a heap load operation corresponding to quad 'obj' with the given destination register, base and field.
protected void	PrimitiveMethodSummary.BuildMethodSummary.heapLoad(ProgramLocation obj, RegisterFactory.Register dest_r, RegisterFactory.Register base_r, jq_Field f) Abstractly perform a heap load operation corresponding to quad 'obj' with the given destination register, base register and field.
protected void	PrimitiveMethodSummary.BuildMethodSummary.heapLoad(ProgramLocation obj, RegisterFactory.Register dest_r, Set base_s, jq_Field f) Abstractly perform a heap load operation corresponding to quad 'obj' with the given destination register, bases and field.
protected void	PrimitiveMethodSummary.BuildMethodSummary.heapLoad(Set result, PrimitiveMethodSummary.Node base, jq_Field f, PrimitiveMethodSummary.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	PrimitiveMethodSummary.BuildMethodSummary.heapStore(Object base, Object src, jq_Field f) 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	PrimitiveMethodSummary.BuildMethodSummary.heapStore(PrimitiveMethodSummary.Node base, Object src, jq_Field f)
protected void	PrimitiveMethodSummary.BuildMethodSummary.heapStore(PrimitiveMethodSummary.Node base, PrimitiveMethodSummary.Node src, jq_Field f) Abstractly perform a heap store operation of the given source node on the given base node and field.
protected void	PrimitiveMethodSummary.BuildMethodSummary.heapStore(PrimitiveMethodSummary.Node base, Set src, jq_Field f) Abstractly perform a heap store operation of the given source nodes on the given base node and field.
boolean	PrimitiveMethodSummary.Node.removeAccessPathEdge(jq_Field m, PrimitiveMethodSummary.FieldNode n) Remove the given successor node on the given field from the outside edge set.
boolean	PrimitiveMethodSummary.Node.removeEdge(jq_Field m, PrimitiveMethodSummary.Node n) Remove the given successor node on the given field from the inside edge set.
boolean	PrimitiveMethodSummary.ConcreteObjectNode.removeEdge(jq_Field m, PrimitiveMethodSummary.Node n)
boolean	PrimitiveMethodSummary.Node.removePredecessor(jq_Field m, PrimitiveMethodSummary.Node n) Remove the given predecessor node on the given field from the predecessor set.
static PrimitiveMethodSummary.FieldNode	PrimitiveMethodSummary.FieldNode.unify(jq_Field f, Set s) Returns a new FieldNode that is the unification of the given set of FieldNodes.

Uses of jq_Field in joeq.Compiler.BytecodeAnalysis

Methods in joeq.Compiler.BytecodeAnalysis that return jq_Field

jq_Field

Bytecodes.FieldInstruction.getField()

Constructors in joeq.Compiler.BytecodeAnalysis with parameters of type jq_Field

Bytecodes.FieldInstruction(short opcode, jq_Field f)

Uses of jq_Field in joeq.Compiler.Quad

Methods in joeq.Compiler.Quad that return jq_Field

jq_Field	AndersenPointerAnalysis.AccessPath.first()
jq_Field	Operand.FieldOperand.getField()

Methods in joeq.Compiler.Quad with parameters of type jq_Field

static AndersenPointerAnalysis.AccessPath	AndersenPointerAnalysis.AccessPath.create(jq_Field f, MethodSummary.Node node, AndersenPointerAnalysis.AccessPath n)
void	Operand.FieldOperand.setField(jq_Field f)

Constructors in joeq.Compiler.Quad with parameters of type jq_Field

Operand.FieldOperand(jq_Field f)

Uses of jq_Field in joeq.Runtime

Methods in joeq.Runtime that return jq_Field

static jq_Field	Reflection.getJQMember(Field f)
jq_Field	BasicReflectionImpl.getJQMember(Field f)

Uses of jq_Field in joeq.Util

Methods in joeq.Util with parameters of type jq_Field

static String

NameMunger.mungeFieldName(jq_Field t)