Dexmaker 1.5 · org.droidparts.dexmaker.dx.ssa.LocalVariableInfo

Field Summary

Modifier and Type	Field and Description
private final RegisterSpecSet[]	blockStarts `non-null;` array consisting of register sets representing the sets of variables already assigned upon entry to each block, where array indices correspond to block indices
private final RegisterSpecSet	emptySet `non-null;` `org.droidparts.dexmaker.dx.rop.code.RegisterSpecSet` to use when indicating a block that has no locals; it is empty and immutable but has an appropriate max size for the method
private final HashMap<SsaInsn, RegisterSpec>	insnAssignments `non-null;` map from instructions to the variable each assigns
private final int	regCount `>= 0;` the register count for the method

Constructor Summary

Access	Constructor and Description
public	LocalVariableInfo(SsaMethod `non-null;` the method being represented by this instance method) Constructs an instance.

Method Summary

Modifier and Type	Method and Description
public void	addAssignment(SsaInsn `non-null;` the instruction in question insn, RegisterSpec `non-null;` the associated register spec spec) Adds an assignment association for the given instruction and register spec.
public void	debugDump()
public RegisterSpec	Returns: `null-ok;` the named register being assigned, if any getAssignment(SsaInsn `non-null;` instruction in question insn) Gets the named register being assigned by the given instruction, if previously stored in this instance.
public int	Returns: `>= 0;` the number of assignments getAssignmentCount() Gets the number of assignments recorded by this instance.
public RegisterSpecSet	Returns: `non-null;` the associated register set getStarts(int `>= 0;` the block index index) Gets the register set associated with the start of the block with the given index.
public RegisterSpecSet	Returns: `non-null;` the associated register set getStarts(SsaBasicBlock `non-null;` the block in question block) Gets the register set associated with the start of the given block.
private RegisterSpecSet	Returns: `null-ok;` associated register set or `null` if there is none getStarts0(int `>= 0;` the block index index) Helper method, to get the starts for a index, throwing the right exception for range problems.
public boolean	Returns: `true` if the merge resulted in an actual change to the associated set (including storing one for the first time) or `false` if there was no change mergeStarts(int `>= 0;` the block index index, RegisterSpecSet `non-null;` the register set to merge into the start set for the block specs) Merges the given register set into the set for the block with the given index.
public RegisterSpecSet	Returns: `non-null;` the associated register set mutableCopyOfStarts(int `>= 0;` the block index index) Gets a mutable copy of the register set associated with the start of the block with the given index.
public void	setStarts(int `>= 0;` the block index index, RegisterSpecSet `non-null;` the register set to associate with the block specs) Sets the register set associated with the start of the block with the given index.

Inherited from org.droidparts.dexmaker.dx.util.MutabilityControl:: isImmutable isMutable setImmutable throwIfImmutable throwIfMutable

Field Detail

blockStarts	back to summary
private final RegisterSpecSet[] blockStarts `non-null;` array consisting of register sets representing the sets of variables already assigned upon entry to each block, where array indices correspond to block indices

emptySet	back to summary
private final RegisterSpecSet emptySet `non-null;` `org.droidparts.dexmaker.dx.rop.code.RegisterSpecSet` to use when indicating a block that has no locals; it is empty and immutable but has an appropriate max size for the method

insnAssignments	back to summary
private final HashMap<SsaInsn, RegisterSpec> insnAssignments `non-null;` map from instructions to the variable each assigns

regCount	back to summary
private final int regCount `>= 0;` the register count for the method

Constructor Detail

LocalVariableInfo back to summary

LocalVariableInfo	back to summary
public LocalVariableInfo(SsaMethod method) Constructs an instance. Parameters method:SsaMethod `non-null;` the method being represented by this instance

public LocalVariableInfo(SsaMethod method)

Constructs an instance.

Parameters

method:SsaMethod: non-null; the method being represented by this instance

Method Detail

addAssignment back to summary

addAssignment	back to summary
public void addAssignment(SsaInsn insn, RegisterSpec spec) Adds an assignment association for the given instruction and register spec. This throws an exception if the instruction doesn't actually perform a named variable assignment Note Although the instruction contains its own spec for the result, it still needs to be passed in explicitly to this method, since the spec that is stored here should always have a simple type and the one in the instruction can be an arbitrary `org.droidparts.dexmaker.dx.rop.type.TypeBearer` (such as a constant value). Parameters insn:SsaInsn `non-null;` the instruction in question spec:RegisterSpec `non-null;` the associated register spec

public void addAssignment(SsaInsn insn, RegisterSpec spec)

Adds an assignment association for the given instruction and register spec. This throws an exception if the instruction doesn't actually perform a named variable assignment

Note

Although the instruction contains its own spec for the result, it still needs to be passed in explicitly to this method, since the spec that is stored here should always have a simple type and the one in the instruction can be an arbitrary org.droidparts.dexmaker.dx.rop.type.TypeBearer (such as a constant value).

Parameters

insn:SsaInsn: non-null; the instruction in question
spec:RegisterSpec: non-null; the associated register spec

debugDump	back to summary
public void debugDump()

getAssignment back to summary

getAssignment	back to summary
public RegisterSpec getAssignment(SsaInsn insn) Gets the named register being assigned by the given instruction, if previously stored in this instance. Parameters insn:SsaInsn `non-null;` instruction in question Returns:RegisterSpec `null-ok;` the named register being assigned, if any

public RegisterSpec getAssignment(SsaInsn insn)

Gets the named register being assigned by the given instruction, if previously stored in this instance.

Parameters

insn:SsaInsn: non-null; instruction in question

Returns:RegisterSpec

null-ok; the named register being assigned, if any

getAssignmentCount back to summary

getAssignmentCount	back to summary
public int getAssignmentCount() Gets the number of assignments recorded by this instance. Returns:int `>= 0;` the number of assignments

public int getAssignmentCount()

Gets the number of assignments recorded by this instance.

Returns:int: >= 0; the number of assignments

getStarts back to summary

getStarts	back to summary
public RegisterSpecSet getStarts(int index) Gets the register set associated with the start of the block with the given index. This returns an empty set with the appropriate max size if no set was associated with the block in question. Parameters index:int `>= 0;` the block index Returns:RegisterSpecSet `non-null;` the associated register set

public RegisterSpecSet getStarts(int index)

Gets the register set associated with the start of the block with the given index. This returns an empty set with the appropriate max size if no set was associated with the block in question.

Parameters

index:int: >= 0; the block index

Returns:RegisterSpecSet

non-null; the associated register set

getStarts back to summary

getStarts	back to summary
public RegisterSpecSet getStarts(SsaBasicBlock block) Gets the register set associated with the start of the given block. This is just convenient shorthand for `getStarts(block.getLabel())`. Parameters block:SsaBasicBlock `non-null;` the block in question Returns:RegisterSpecSet `non-null;` the associated register set

public RegisterSpecSet getStarts(SsaBasicBlock block)

Gets the register set associated with the start of the given block. This is just convenient shorthand for getStarts(block.getLabel()).

Parameters

block:SsaBasicBlock: non-null; the block in question

Returns:RegisterSpecSet

non-null; the associated register set

getStarts0 back to summary

getStarts0	back to summary
private RegisterSpecSet getStarts0(int index) Helper method, to get the starts for a index, throwing the right exception for range problems. Parameters index:int `>= 0;` the block index Returns:RegisterSpecSet `null-ok;` associated register set or `null` if there is none

private RegisterSpecSet getStarts0(int index)

Helper method, to get the starts for a index, throwing the right exception for range problems.

Parameters

index:int: >= 0; the block index

Returns:RegisterSpecSet

null-ok; associated register set or null if there is none

mergeStarts back to summary

mergeStarts	back to summary
public boolean mergeStarts(int index, RegisterSpecSet specs) Merges the given register set into the set for the block with the given index. If there was not already an associated set, then this is the same as calling `setStarts`. Otherwise, this will merge the two sets and call `setStarts` on the result of the merge. Parameters index:int `>= 0;` the block index specs:RegisterSpecSet `non-null;` the register set to merge into the start set for the block Returns:boolean `true` if the merge resulted in an actual change to the associated set (including storing one for the first time) or `false` if there was no change

public boolean mergeStarts(int index, RegisterSpecSet specs)

Merges the given register set into the set for the block with the given index. If there was not already an associated set, then this is the same as calling setStarts. Otherwise, this will merge the two sets and call setStarts on the result of the merge.

Parameters

index:int: >= 0; the block index
specs:RegisterSpecSet: non-null; the register set to merge into the start set for the block

Returns:boolean

true if the merge resulted in an actual change to the associated set (including storing one for the first time) or false if there was no change

mutableCopyOfStarts back to summary

mutableCopyOfStarts	back to summary
public RegisterSpecSet mutableCopyOfStarts(int index) Gets a mutable copy of the register set associated with the start of the block with the given index. This returns a newly-allocated empty `RegisterSpecSet` of appropriate max size if there is not yet any set associated with the block. Parameters index:int `>= 0;` the block index Returns:RegisterSpecSet `non-null;` the associated register set

public RegisterSpecSet mutableCopyOfStarts(int index)

Gets a mutable copy of the register set associated with the start of the block with the given index. This returns a newly-allocated empty RegisterSpecSet of appropriate max size if there is not yet any set associated with the block.

Parameters

index:int: >= 0; the block index

Returns:RegisterSpecSet

non-null; the associated register set

setStarts back to summary

setStarts	back to summary
public void setStarts(int index, RegisterSpecSet specs) Sets the register set associated with the start of the block with the given index. Parameters index:int `>= 0;` the block index specs:RegisterSpecSet `non-null;` the register set to associate with the block

public void setStarts(int index, RegisterSpecSet specs)

Sets the register set associated with the start of the block with the given index.

Parameters

index:int: >= 0; the block index
specs:RegisterSpecSet: non-null; the register set to associate with the block

public Class LocalVariableInfo

Field Summary

Constructor Summary

Method Summary

Field Detail

Constructor Detail

Method Detail