DASCA
/
WALA
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Fix broken type, field, and method references in Javadoc comments

This commit is contained in:
Ben Liblit 2017-03-22 18:24:59 -05:00
parent ff5e79c2d3
commit 3b88836488
25 changed files with 103 additions and 102 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/ssa/JavaScriptPropertyRead.java
View File

@ -49,7 +49,7 @@ public class JavaScriptPropertyRead extends AbstractReflectiveGet {
/**
/* (non-Javadoc)
* @see com.ibm.domo.ssa.SSAInstruction#visit(com.ibm.domo.ssa.SSAInstruction.Visitor)
* @see com.ibm.wala.ssa.SSAInstruction#visit(com.ibm.wala.ssa.SSAInstruction.IVisitor)
*/
@Override
public void visit(IVisitor v) {

2
com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/ssa/JavaScriptPropertyWrite.java
View File

@ -36,7 +36,7 @@ public class JavaScriptPropertyWrite extends AbstractReflectivePut {
}
/**
* @see com.ibm.domo.ssa.Instruction#visit(Visitor)
* @see com.ibm.wala.ssa.SSAInstruction#visit(IVisitor)
*/
@Override
public void visit(IVisitor v) {

4
com.ibm.wala.cast/source/java/com/ibm/wala/cast/ir/ssa/AbstractReflectiveGet.java
View File

@ -34,7 +34,7 @@ public abstract class AbstractReflectiveGet extends ReflectiveMemberAccess {
}
/**
* @see com.ibm.wala.ssa.Instruction#getDef()
* @see com.ibm.wala.ssa.SSAInstruction#getDef()
*/
@Override
public boolean hasDef() {
@ -52,7 +52,7 @@ public abstract class AbstractReflectiveGet extends ReflectiveMemberAccess {
}
/**
* @see com.ibm.wala.ssa.Instruction#getNumberOfUses()
* @see com.ibm.wala.ssa.SSAInstruction#getNumberOfUses()
*/
@Override
public int getNumberOfUses() {

4
com.ibm.wala.cast/source/java/com/ibm/wala/cast/ir/ssa/AbstractReflectivePut.java
View File

@ -34,7 +34,7 @@ public abstract class AbstractReflectivePut extends ReflectiveMemberAccess {
}
/**
* @see com.ibm.wala.ssa.Instruction#getDef()
* @see com.ibm.wala.ssa.SSAInstruction#getDef()
*/
@Override
public int getDef() {
@ -42,7 +42,7 @@ public abstract class AbstractReflectivePut extends ReflectiveMemberAccess {
}
/**
* @see com.ibm.wala.ssa.Instruction#getNumberOfUses()
* @see com.ibm.wala.ssa.SSAInstruction#getNumberOfUses()
*/
@Override
public int getNumberOfUses() {

2
com.ibm.wala.cast/source/java/com/ibm/wala/cast/tree/rewrite/CAstRewriter.java
View File

@ -47,7 +47,7 @@ import com.ibm.wala.util.collections.Pair;
* a key used to ease cloning of partial ASTs. When rewriting an AST,
* sub-classes maintain a mapping from (original node, key) pairs
* (where key is of type K) to new nodes; see
* {@link #copyNodes(CAstNode, RewriteContext, Map)}
* {@link #copyNodes}
*/
public abstract class CAstRewriter<C extends CAstRewriter.RewriteContext<K>, K extends CAstRewriter.CopyKey<K>> {

6
com.ibm.wala.core.tests/src/com/ibm/wala/core/tests/callGraph/ReflectionTest.java
View File

@ -585,7 +585,7 @@ public class ReflectionTest extends WalaTestCase {
/**
* Test that when analyzing Reflect21, the call graph includes a node for the
* constructor of {@link Helper} that takes two {@link Object} parameters.
* constructor of {@code Helper} that takes two {@link Object} parameters.
* This is to test the support for Class.getDeclaredConstructor.
*/
@Test
@ -604,7 +604,7 @@ public class ReflectionTest extends WalaTestCase {
/**
* Test that when analyzing Reflect22, the call graph includes a node for the
* constructor of {@link Helper} that takes one {@link Integer} parameters.
* constructor of {@code Helper} that takes one {@link Integer} parameters.
* This is to test the support for Class.getDeclaredConstructors.
*/
@Test
@ -623,7 +623,7 @@ public class ReflectionTest extends WalaTestCase {
/**
* Test that when analyzing Reflect22, the call graph includes a node for the
* constructor of {@link Helper} that takes one {@link Integer} parameters.
* constructor of {@code Helper} that takes one {@link Integer} parameters.
* This is to test the support for Class.getDeclaredConstructors.
*/
@Test

4
com.ibm.wala.core/src/com/ibm/wala/demandpa/util/MemoryAccessMap.java
View File

@ -19,12 +19,12 @@ import com.ibm.wala.ipa.callgraph.propagation.PointerKey;
public interface MemoryAccessMap {
/**
* @return {@link Collection}&lt;{@link FieldAccess}&gt;
* @return {@link Collection}&lt;{@link MemoryAccess}&gt;
*/
public Collection<MemoryAccess> getFieldReads(PointerKey baseRef, IField field);
/**
* @return {@link Collection}&lt;{@link FieldAccess}&gt;
* @return {@link Collection}&lt;{@link MemoryAccess}&gt;
*/
public Collection<MemoryAccess> getFieldWrites(PointerKey baseRef, IField field);

4
com.ibm.wala.core/src/com/ibm/wala/util/ssa/ParameterAccessor.java
View File

@ -294,7 +294,7 @@ public class ParameterAccessor {
*
* Using this Constructor influences the SSA-Values returned later. The cha is needed to
* determine whether mRef is static. If this is already known one should prefer the faster
* {@link #ParameterAccessor(ParameterAccessor, boolean)}.
* {@link #ParameterAccessor(MethodReference, boolean)}.
*
* @param mRef The method to read the parameters from.
*/
@ -457,7 +457,7 @@ public class ParameterAccessor {
*
* @param no the number in the Selector
* @return new Parameter-Object for no
* @throws IllegalArgumentExceptions if the parameter is zero
* @throws IllegalArgumentException if the parameter is zero
* @throws ArrayIndexOutOfBoundsException if no is not within bounds [1 to numberOfParameters]
*/
public Parameter getParameter(final int no) {

2
com.ibm.wala.core/src/com/ibm/wala/util/ssa/SSAValue.java
View File

@ -55,7 +55,7 @@ import com.ibm.wala.types.TypeReference;
* Use ParameterAccessor to get the parameters of a function as SSAValues.
*
* @see com.ibm.wala.util.ssa.TypeSafeInstructionFactory
* @see com.ibm.wala.util.ParameterAccessor
* @see com.ibm.wala.util.ssa.ParameterAccessor
*
* @author Tobias Blaschke <code@tobiasblaschke.de>
* @since 2013-10-20

2
com.ibm.wala.core/src/com/ibm/wala/util/ssa/SSAValueManager.java
View File

@ -195,7 +195,7 @@ public class SSAValueManager {
* @param ssaValue the number the SSA-Instruction assigns to
* @param setBy the Phi-Instruction itself - may be null
* @throws IllegalArgumentException if you assign to a number requested using
* {@link #getFree(TypeReference)} but types mismatch.
* {@link #getFree} but types mismatch.
* @throws IllegalStateException if you forgot to close some Phis
*/
public void setPhi(final SSAValue value, SSAInstruction setBy) {

17
com.ibm.wala.core/src/com/ibm/wala/util/ssa/TypeSafeInstructionFactory.java
View File

@ -52,6 +52,7 @@ import com.ibm.wala.classLoader.NewSiteReference;
import com.ibm.wala.ipa.cha.IClassHierarchy;
import com.ibm.wala.shrikeBT.IConditionalBranchInstruction;
import com.ibm.wala.shrikeBT.IInvokeInstruction;
import com.ibm.wala.shrikeCT.BootstrapMethodsReader.BootstrapMethod;
import com.ibm.wala.ssa.SSAArrayLoadInstruction;
import com.ibm.wala.ssa.SSAArrayStoreInstruction;
import com.ibm.wala.ssa.SSAConditionalBranchInstruction;
@ -100,7 +101,7 @@ public class TypeSafeInstructionFactory {
*
* Calls result.setAssigned()
*
* @see com.ibm.wala.classLoader.JavaLanguage.JavaInstructionFactory.InvokeInstruction(int, int, int[], int, CallSiteReference)
* @see com.ibm.wala.classLoader.JavaLanguage.JavaInstructionFactory#InvokeInstruction(int, int, int[], int, CallSiteReference, BootstrapMethod)
*
* @param iindex Zero or a positive number unique to any instruction of the same method
* @param result Where to place the return-value of the called method. Is SSAValue.setAssigned() automatically.
@ -213,7 +214,7 @@ public class TypeSafeInstructionFactory {
* All parameters (but exception) are typechecked first. If the check passes they get unpacked and handed over
* to the corresponding JavaInstructionFactory.InvokeInstruction.
*
* @see com.ibm.wala.classLoader.JavaLanguage.JavaInstructionFactory.InvokeInstruction(int, int[], int, CallSiteReference)
* @see com.ibm.wala.classLoader.JavaLanguage.JavaInstructionFactory#InvokeInstruction(int, int[], int, CallSiteReference, BootstrapMethod)
*
* @param iindex Zero or a positive number unique to any instruction of the same method
* @param params Parameters to the call starting with the implicit this-pointer if necessary
@ -311,7 +312,7 @@ public class TypeSafeInstructionFactory {
*
* If type check passes the corresponding ReturnInstruction of the JavaInstructionFactory is called.
*
* @see com.ibm.wala.classLoader.JavaLanguage.JavaInstructionFactory.ReturnInstruction(int, int, boolean)
* @see com.ibm.wala.classLoader.JavaLanguage.JavaInstructionFactory#ReturnInstruction(int, int, boolean)
*
* @param iindex Zero or a positive number unique to any instruction of the same method
* @param result SSAValue to return _with_ validIn _set_!
@ -337,7 +338,7 @@ public class TypeSafeInstructionFactory {
* If type check passes the corresponding GetInstruction of the JavaInstructionFactory is called.
* Calls targetValue.setAssigned()
*
* @see com.ibm.wala.classLoader.JavaLanguage.JavaInstructionFactory.GetInstruction(int, int, int, FieldReference)
* @see com.ibm.wala.classLoader.JavaLanguage.JavaInstructionFactory#GetInstruction(int, int, int, FieldReference)
*
* @param iindex Zero or a positive number unique to any instruction of the same method
* @param targetValue the result of the GetInstruction is placed there
@ -386,7 +387,7 @@ public class TypeSafeInstructionFactory {
* If type check passes the corresponding GetInstruction of the JavaInstructionFactory is called.
* Calls targetValue.setAssigned()
*
* @see com.ibm.wala.classLoader.JavaLanguage.JavaInstructionFactory.GetInstruction(int, int, int, FieldReference)
* @see com.ibm.wala.classLoader.JavaLanguage.JavaInstructionFactory#GetInstruction(int, int, int, FieldReference)
*
* @param iindex Zero or a positive number unique to any instruction of the same method
* @param targetValue the result of the GetInstruction is placed there
@ -420,7 +421,7 @@ public class TypeSafeInstructionFactory {
*
* If type check passes the corresponding PutInstruction of the JavaInstructionFactory is called.
*
* @see com.ibm.wala.classLoader.JavaLanguage.JavaInstructionFactory.PutInstruction(int, int, int, FieldReference)
* @see com.ibm.wala.classLoader.JavaLanguage.JavaInstructionFactory#PutInstruction(int, int, int, FieldReference)
*
* @param iindex Zero or a psitive number unique to any instruction of the same method
* @param targetInstance the instance of the object to write a field of
@ -467,7 +468,7 @@ public class TypeSafeInstructionFactory {
*
* If type check passes the corresponding PutInstruction of the JavaInstructionFactory is called.
*
* @see com.ibm.wala.classLoader.JavaLanguage.JavaInstructionFactory.PutInstruction(int, int, int, FieldReference)
* @see com.ibm.wala.classLoader.JavaLanguage.JavaInstructionFactory#PutInstruction(int, int, int, FieldReference)
*
* @param iindex Zero or a psitive number unique to any instruction of the same method
* @param targetInstance the instance of the object to write a field of
@ -559,7 +560,7 @@ public class TypeSafeInstructionFactory {
* If type check passes the corresponding PhiInstruction of the JavaInstructionFactory is called.
* Calls result.setAssigned().
*
* @see com.ibm.wala.classLoader.JavaLanguage.JavaInstructionFactory.PhiInstruction(int, int, int[])
* @see com.ibm.wala.classLoader.JavaLanguage.JavaInstructionFactory#PhiInstruction(int, int, int[])
*
* @param iindex Zero or a positive number unique to any instruction of the same method
* @param result Where to write result to

2
com.ibm.wala.dalvik/src/com/ibm/wala/dalvik/classLoader/DexIMethod.java
View File

@ -259,7 +259,7 @@ public class DexIMethod implements IBytecodeMethod {
/**
* XXX not fully about the + 2.
* @return the RegisterCount + 2 to make some room for the return and exception register
* @see com.ibm.wala.classLoader.IMethod#getMaxLocals()
* @see com.ibm.wala.classLoader.ShrikeCTMethod#getMaxLocals()
*/
public int getMaxLocals() {
return eMethod.codeItem.getRegisterCount() + 2;

4
com.ibm.wala.dalvik/src/com/ibm/wala/dalvik/ipa/callgraph/androidModel/AndroidModel.java
View File

@ -167,7 +167,7 @@ public class AndroidModel /* makes SummarizedMethod */
* Generates the model on a sub-set of Entrypoints.
*
* Asks {@link #selectEntryPoint(AndroidEntryPoint)} for each EntryPoint known to the AndroidEntryPointManager,
* if the EntryPoint should be included in the model. Then calls {@link #build(Atom, Iterable<? extends Entrypoint>)}
* if the EntryPoint should be included in the model. Then calls {@link #build(Atom, Collection)}
* on these.
*
* @param name The name the generated method will be known as
@ -334,7 +334,7 @@ public class AndroidModel /* makes SummarizedMethod */
/**
* Add Instructions to the model.
*
* {@link #build(Iterable<?extends Entrypoint>)} prepares the MethodSummary, then calls populate() to
* {@link #build(Atom, Collection)} prepares the MethodSummary, then calls populate() to
* add the instructions, then finishes the model. Populate is only an extra function to shorten build(),
* calling it doesn't make sense in an other context.
*/

2
com.ibm.wala.dalvik/src/com/ibm/wala/dalvik/ipa/callgraph/androidModel/AndroidModelClass.java
View File

@ -84,7 +84,7 @@ import com.ibm.wala.util.strings.Atom;
*
* In the generated code this class may be found as "Lcom/ibm/wala/AndroidModelClass"
*
* @see com.ibm.wala.dalvik.ipa.callgraph.impl.FakeRootClass
* @see com.ibm.wala.ipa.callgraph.impl.FakeRootClass
*
* @author Tobias Blaschke <code@tobiasblaschke.de>
* @todo Move this class into an other loader? Currently: Primordial

4
com.ibm.wala.dalvik/src/com/ibm/wala/dalvik/ipa/callgraph/androidModel/parameters/AndroidModelParameterManager.java
View File

@ -662,7 +662,7 @@ public class AndroidModelParameterManager {
* Handed through to an IInstantiationBehavior if set in the constructor.
*
* @return true if Type is a REUSE type
* @throws IllegalStateExcpetion if AndroidModelParameterManager was constructed without an IInstanciationBehavior
* @throws IllegalStateException if AndroidModelParameterManager was constructed without an IInstanciationBehavior
*/
public boolean isReuse(TypeReference type) {
if (this.behaviour == null) {
@ -677,7 +677,7 @@ public class AndroidModelParameterManager {
* Shorthand for not({@link #isReuse(TypeReference)}.
*
* @return true if type is a CREATE-Type
* @throws IllegalStateExcpetion if AndroidModelParameterManager was constructed without an IInstanciationBehavior
* @throws IllegalStateException if AndroidModelParameterManager was constructed without an IInstanciationBehavior
*/
public boolean isCreate(TypeReference type) {
return (! isReuse(type));

4
com.ibm.wala.dalvik/src/com/ibm/wala/dalvik/ipa/callgraph/androidModel/parameters/IInstantiationBehavior.java
View File

@ -67,7 +67,7 @@ public abstract class IInstantiationBehavior implements Serializable {
}
/**
* Information on how the IInstanciationBehavior made its decision for {@link #InstanceBehavior}
* Information on how the IInstanciationBehavior made its decision for {@link InstanceBehavior}
*/
public static enum Exactness {
/**
@ -92,7 +92,7 @@ public abstract class IInstantiationBehavior implements Serializable {
/**
* Returns how the model should behave on the type.
*
* See the documentation of {@link #InstanceBehavior} for the description of the possible behaviours.
* See the documentation of {@link InstanceBehavior} for the description of the possible behaviours.
*
* Although this function takes a parameter withName one should not rely on its value.
*

16
com.ibm.wala.dalvik/src/com/ibm/wala/dalvik/ipa/callgraph/androidModel/structure/AbstractAndroidModel.java
View File

@ -197,7 +197,7 @@ public abstract class AbstractAndroidModel {
* Gets called when Label ExecutionOrder.AT_FIRST got stepped over.
*
* In most cases you don't want to invoke this function directly but to use
* {@link #enter(ExecutionOrder.AT_FIRST, int)} instead.
* {@code enter(ExecutionOrder.AT_FIRST, int)} instead.
*
* Sideeffects: currentSection is updated, instructions are inserted into the body
*
@ -211,7 +211,7 @@ public abstract class AbstractAndroidModel {
* Gets called when Label ExecutionOrder.BEFORE_LOOP got stepped over.
*
* In most cases you don't want to invoke this function directly but to use
* {@link #enter(ExecutionOrder.BEFORE_LOOP, int)} instead
* {@code enter(ExecutionOrder.BEFORE_LOOP, int)} instead
*
* Sideeffects: currentSection is updated, instructions are inserted into the body
*
@ -225,7 +225,7 @@ public abstract class AbstractAndroidModel {
* Gets called when Label ExecutionOrder.START_OF_LOOP got stepped over.
*
* In most cases you don't want to invoke this function directly but to use
* {@link #enter(ExecutionOrder.START_OF_LOOP, int)} instead
* {@code enter(ExecutionOrder.START_OF_LOOP, int)} instead
*
* Sideeffects: currentSection is updated, instructions are inserted into the body
*
@ -239,7 +239,7 @@ public abstract class AbstractAndroidModel {
* Gets called when Label ExecutionOrder.MIDDLE_OF_LOOP got stepped over.
*
* In most cases you don't want to invoke this function directly but to use
* {@link #enter(ExecutionOrder.MIDDLE_OF_LOOP, int)} instead
* {@code enter(ExecutionOrder.MIDDLE_OF_LOOP, int)} instead
*
* Sideeffects: currentSection is updated, instructions are inserted into the body
*
@ -253,7 +253,7 @@ public abstract class AbstractAndroidModel {
* Gets called when Label ExecutionOrder.MULTIPLE_TIMES_IN_LOOP got stepped over.
*
* In most cases you don't want to invoke this function directly but to use
* {@link #enter(ExecutionOrder.MULTIPLE_TIMES_IN_LOOP, int)} instead
* {@code enter(ExecutionOrder.MULTIPLE_TIMES_IN_LOOP, int)} instead
*
* Sideeffects: currentSection is updated, instructions are inserted into the body
*
@ -267,7 +267,7 @@ public abstract class AbstractAndroidModel {
* Gets called when Label ExecutionOrder.END_OF_LOOP got stepped over.
*
* In most cases you don't want to invoke this function directly but to use
* {@link #enter(ExecutionOrder.END_OF_LOOP, int)} instead
* {@code enter(ExecutionOrder.END_OF_LOOP, int)} instead
*
* Sideeffects: currentSection is updated, instructions are inserted into the body
*
@ -281,7 +281,7 @@ public abstract class AbstractAndroidModel {
* Gets called when Label ExecutionOrder.AFTER_LOOP got stepped over.
*
* In most cases you don't want to invoke this function directly but to use
* {@link #enter(ExecutionOrder.AFTER_LOOP, int)} instead
* {@code enter(ExecutionOrder.AFTER_LOOP, int)} instead
*
* Sideeffects: currentSection is updated, instructions are inserted into the body
*
@ -295,7 +295,7 @@ public abstract class AbstractAndroidModel {
* Gets called when Label ExecutionOrder.AT_LAST got stepped over.
*
* In most cases you don't want to invoke this function directly but to use
* {@link #enter(ExecutionOrder.AT_LAST, int)} instead
* {@code enter(ExecutionOrder.AT_LAST, int)} instead
*
* Sideeffects: currentSection is updated, instructions are inserted into the body
*

2
com.ibm.wala.dalvik/src/com/ibm/wala/dalvik/ipa/callgraph/androidModel/structure/package-info.java
View File

@ -45,7 +45,7 @@
*
* All Classes in this package extend AbstractAndroidModel.
*
* @see com.com.ibm.wala.dalvik.ipa.callgraph.androidModel.structure.AbstractAndroidModel
* @see com.ibm.wala.dalvik.ipa.callgraph.androidModel.structure.AbstractAndroidModel
*
* @since 2013-10-25
* @author Tobias Blaschke <code@tobiasblaschke.de>

2
com.ibm.wala.dalvik/src/com/ibm/wala/dalvik/ipa/callgraph/impl/AndroidEntryPoint.java
View File

@ -264,7 +264,7 @@ public class AndroidEntryPoint extends DexEntryPoint {
* Use this to place a call to an EntryPoint between two other EntryPoint calls or ExecutionOrder "labels".
* between() does not care about section-boundaries by itself!
*
* Use {@link between(IExecutionOrder[], IExecutionOrder[])} and use labels as additional placement-information
* Use {@link #between(IExecutionOrder[], IExecutionOrder[])} and use labels as additional placement-information
* to prevent unexpected misplacement.
*
* @param after the call or "label" to be executed before this one

2
com.ibm.wala.dalvik/src/com/ibm/wala/dalvik/ipa/callgraph/propagation/cfa/IntentStarters.java
View File

@ -146,7 +146,7 @@ public class IntentStarters {
/**
* These influence how the model is built.
*
* @see com.ibm.wala.dalvik.ipa.callgraph.propagation.cfa.IntentStarters.StarerFlags
* @see com.ibm.wala.dalvik.ipa.callgraph.propagation.cfa.IntentStarters.StarterFlags
*/
public Set<StarterFlags> getFlags() {
return this.flags;

46
com.ibm.wala.dalvik/src/com/ibm/wala/dalvik/ssa/AbstractIntRegisterMachine.java
View File

@ -902,7 +902,7 @@ public abstract class AbstractIntRegisterMachine implements FixedPointConstants
protected class BasicRegisterMachineVisitor extends Visitor {
/**
* @see com.ibm.wala.shrikeBT.Instruction.Visitor#visitArrayLength(ArrayLengthInstruction)
* @see com.ibm.wala.shrikeBT.IInstruction.Visitor#visitArrayLength(ArrayLengthInstruction)
*/
@Override
public void visitArrayLength(ArrayLength instruction) {
@ -914,7 +914,7 @@ public abstract class AbstractIntRegisterMachine implements FixedPointConstants
}
/**
* @see com.ibm.wala.shrikeBT.Instruction.Visitor#visitArrayLoad(IArrayLoadInstruction)
* @see com.ibm.wala.shrikeBT.IInstruction.Visitor#visitArrayLoad(IArrayLoadInstruction)
*/
@Override
public void visitArrayGet(ArrayGet instruction) {
@ -927,7 +927,7 @@ public abstract class AbstractIntRegisterMachine implements FixedPointConstants
}
/**
* @see com.ibm.wala.shrikeBT.Instruction.Visitor#visitArrayStore(IArrayStoreInstruction)
* @see com.ibm.wala.shrikeBT.IInstruction.Visitor#visitArrayStore(IArrayStoreInstruction)
*/
@Override
public void visitArrayPut(ArrayPut instruction) {
@ -939,7 +939,7 @@ public abstract class AbstractIntRegisterMachine implements FixedPointConstants
}
/**
* @see com.ibm.wala.shrikeBT.Instruction.Visitor#visitBinaryOp(IBinaryOpInstruction)
* @see com.ibm.wala.shrikeBT.IInstruction.Visitor#visitBinaryOp(IBinaryOpInstruction)
*/
@Override
public void visitBinaryOperation(BinaryOperation instruction) {
@ -949,7 +949,7 @@ public abstract class AbstractIntRegisterMachine implements FixedPointConstants
}
/**
* @see com.ibm.wala.shrikeBT.Instruction.Visitor#visitComparison(IComparisonInstruction)
* @see com.ibm.wala.shrikeBT.IInstruction.Visitor#visitComparison(IComparisonInstruction)
*/
// @Override
// public void visitComparison(IComparisonInstruction instruction) {
@ -959,7 +959,7 @@ public abstract class AbstractIntRegisterMachine implements FixedPointConstants
// }
/**
* @see com.ibm.wala.shrikeBT.Instruction.Visitor#visitConditionalBranch(IConditionalBranchInstruction)
* @see com.ibm.wala.shrikeBT.IInstruction.Visitor#visitConditionalBranch(IConditionalBranchInstruction)
*/
@Override
public void visitBranch(Branch instruction) {
@ -970,7 +970,7 @@ public abstract class AbstractIntRegisterMachine implements FixedPointConstants
}
/**
* @see com.ibm.wala.shrikeBT.Instruction.Visitor#visitConstant(ConstantInstruction)
* @see com.ibm.wala.shrikeBT.IInstruction.Visitor#visitConstant(ConstantInstruction)
*/
@Override
public void visitConstant(Constant instruction) {
@ -980,7 +980,7 @@ public abstract class AbstractIntRegisterMachine implements FixedPointConstants
}
/**
* @see com.ibm.wala.shrikeBT.Instruction.Visitor#visitConversion(IConversionInstruction)
* @see com.ibm.wala.shrikeBT.IInstruction.Visitor#visitConversion(IConversionInstruction)
*/
// @Override
// public void visitConversion(IConversionInstruction instruction) {
@ -989,7 +989,7 @@ public abstract class AbstractIntRegisterMachine implements FixedPointConstants
// }
/**
* @see com.ibm.wala.shrikeBT.Instruction.Visitor#visitDup(DupInstruction)
* @see com.ibm.wala.shrikeBT.IInstruction.Visitor#visitDup(DupInstruction)
*/
// @Override
// public void visitDup(DupInstruction instruction) {
@ -1022,7 +1022,7 @@ public abstract class AbstractIntRegisterMachine implements FixedPointConstants
// }
/**
* @see com.ibm.wala.shrikeBT.Instruction.Visitor#visitGet(IGetInstruction)
* @see com.ibm.wala.shrikeBT.IInstruction.Visitor#visitGet(IGetInstruction)
*/
@Override
public void visitGetField(GetField instruction) {
@ -1039,7 +1039,7 @@ public abstract class AbstractIntRegisterMachine implements FixedPointConstants
// }
/**
* @see com.ibm.wala.shrikeBT.Instruction.Visitor#visitInstanceof(InstanceofInstruction)
* @see com.ibm.wala.shrikeBT.IInstruction.Visitor#visitInstanceof
*/
@Override
public void visitInstanceof(InstanceOf instruction) {
@ -1050,7 +1050,7 @@ public abstract class AbstractIntRegisterMachine implements FixedPointConstants
}
/**
* @see com.ibm.wala.shrikeBT.Instruction.Visitor#visitInvoke(IInvokeInstruction)
* @see com.ibm.wala.shrikeBT.IInstruction.Visitor#visitInvoke(IInvokeInstruction)
*/
@Override
public void visitInvoke(Invoke instruction) {
@ -1065,7 +1065,7 @@ public abstract class AbstractIntRegisterMachine implements FixedPointConstants
}
/**
* @see com.ibm.wala.shrikeBT.Instruction.Visitor#visitMonitor(MonitorInstruction)
* @see com.ibm.wala.shrikeBT.IInstruction.Visitor#visitMonitor(MonitorInstruction)
*/
@Override
public void visitMonitor(Monitor instruction) {
@ -1075,7 +1075,7 @@ public abstract class AbstractIntRegisterMachine implements FixedPointConstants
}
/**
* @see com.ibm.wala.shrikeBT.Instruction.Visitor#visitLocalLoad(ILoadInstruction)
* @see com.ibm.wala.shrikeBT.IInstruction.Visitor#visitLocalLoad(ILoadInstruction)
*/
// @Override
// public void visitLocalLoad(ILoadInstruction instruction) {
@ -1084,7 +1084,7 @@ public abstract class AbstractIntRegisterMachine implements FixedPointConstants
// }
/**
* @see com.ibm.wala.shrikeBT.Instruction.Visitor#visitLocalStore(IStoreInstruction)
* @see com.ibm.wala.shrikeBT.IInstruction.Visitor#visitLocalStore(IStoreInstruction)
*/
// @Override
// public void visitLocalStore(IStoreInstruction instruction) {
@ -1093,7 +1093,7 @@ public abstract class AbstractIntRegisterMachine implements FixedPointConstants
// }
/**
* @see com.ibm.wala.shrikeBT.Instruction.Visitor#visitNew(NewInstruction)
* @see com.ibm.wala.shrikeBT.IInstruction.Visitor#visitNew(NewInstruction)
*/
@Override
public void visitNew(New instruction) {
@ -1104,7 +1104,7 @@ public abstract class AbstractIntRegisterMachine implements FixedPointConstants
}
/**
* @see com.ibm.wala.shrikeBT.Instruction.Visitor#visitPop(PopInstruction)
* @see com.ibm.wala.shrikeBT.IInstruction.Visitor#visitPop(PopInstruction)
*/
// @Override
// public void visitPop(PopInstruction instruction) {
@ -1114,7 +1114,7 @@ public abstract class AbstractIntRegisterMachine implements FixedPointConstants
// }
/**
* @see com.ibm.wala.shrikeBT.Instruction.Visitor#visitPut(IPutInstruction)
* @see com.ibm.wala.shrikeBT.IInstruction.Visitor#visitPut(IPutInstruction)
*/
@Override
public void visitPutField(PutField instruction) {
@ -1124,7 +1124,7 @@ public abstract class AbstractIntRegisterMachine implements FixedPointConstants
}
/**
* @see com.ibm.wala.shrikeBT.Instruction.Visitor#visitShift(IShiftInstruction)
* @see com.ibm.wala.shrikeBT.IInstruction.Visitor#visitShift(IShiftInstruction)
*/
// @Override
// public void visitShift(IShiftInstruction instruction) {
@ -1132,7 +1132,7 @@ public abstract class AbstractIntRegisterMachine implements FixedPointConstants
// }
/**
* @see com.ibm.wala.shrikeBT.Instruction.Visitor#visitSwap(SwapInstruction)
* @see com.ibm.wala.shrikeBT.IInstruction.Visitor#visitSwap(SwapInstruction)
*/
// @Override
// public void visitSwap(SwapInstruction instruction) {
@ -1140,7 +1140,7 @@ public abstract class AbstractIntRegisterMachine implements FixedPointConstants
// }
/**
* @see com.ibm.wala.shrikeBT.Instruction.Visitor#visitSwitch(SwitchInstruction)
* @see com.ibm.wala.shrikeBT.IInstruction.Visitor#visitSwitch(SwitchInstruction)
*/
@Override
public void visitSwitch(Switch instruction) {
@ -1150,7 +1150,7 @@ public abstract class AbstractIntRegisterMachine implements FixedPointConstants
}
/**
* @see com.ibm.wala.shrikeBT.Instruction.Visitor#visitThrow(ThrowInstruction)
* @see com.ibm.wala.shrikeBT.IInstruction.Visitor#visitThrow(ThrowInstruction)
*/
@Override
public void visitThrow(Throw instruction) {
@ -1162,7 +1162,7 @@ public abstract class AbstractIntRegisterMachine implements FixedPointConstants
}
/**
* @see com.ibm.wala.shrikeBT.Instruction.Visitor#visitUnaryOp(IUnaryOpInstruction)
* @see com.ibm.wala.shrikeBT.IInstruction.Visitor#visitUnaryOp(IUnaryOpInstruction)
*/
@Override
public void visitUnaryOperation(UnaryOperation instruction) {

44
com.ibm.wala.dalvik/src/com/ibm/wala/dalvik/ssa/DexSSABuilder.java
View File

@ -428,7 +428,7 @@ public class DexSSABuilder extends AbstractIntRegisterMachine {
// TODO: make sure all visit functions are overridden
/**
* @see com.ibm.wala.shrikeBT.Instruction.Visitor#visitArrayLength(ArrayLengthInstruction)
* @see com.ibm.wala.shrikeBT.IInstruction.Visitor#visitArrayLength(ArrayLengthInstruction)
*/
@Override
public void visitArrayLength(ArrayLength instruction) {
@ -441,7 +441,7 @@ public class DexSSABuilder extends AbstractIntRegisterMachine {
}
/**
* @see com.ibm.wala.shrikeBT.Instruction.Visitor#visitArrayLoad(IArrayLoadInstruction)
* @see com.ibm.wala.shrikeBT.IInstruction.Visitor#visitArrayLoad(IArrayLoadInstruction)
*/
@Override
public void visitArrayGet(ArrayGet instruction) {
@ -462,7 +462,7 @@ public class DexSSABuilder extends AbstractIntRegisterMachine {
}
/**
* @see com.ibm.wala.shrikeBT.Instruction.Visitor#visitArrayStore(IArrayStoreInstruction)
* @see com.ibm.wala.shrikeBT.IInstruction.Visitor#visitArrayStore(IArrayStoreInstruction)
*/
@Override
public void visitArrayPut(ArrayPut instruction) {
@ -536,7 +536,7 @@ public class DexSSABuilder extends AbstractIntRegisterMachine {
}
/**
* @see com.ibm.wala.shrikeBT.Instruction.Visitor#visitBinaryOp(IBinaryOpInstruction)
* @see com.ibm.wala.shrikeBT.IInstruction.Visitor#visitBinaryOp(IBinaryOpInstruction)
*/
@Override
public void visitBinaryOperation(BinaryOperation instruction) {
@ -553,7 +553,7 @@ public class DexSSABuilder extends AbstractIntRegisterMachine {
}
/**
* @see com.ibm.wala.shrikeBT.Instruction.Visitor#visitBinaryOp(IBinaryOpInstruction)
* @see com.ibm.wala.shrikeBT.IInstruction.Visitor#visitBinaryOp(IBinaryOpInstruction)
*/
@Override
public void visitBinaryLiteral(BinaryLiteralOperation instruction) {
@ -597,7 +597,7 @@ public class DexSSABuilder extends AbstractIntRegisterMachine {
}
/**
* @see com.ibm.wala.shrikeBT.Instruction.Visitor#visitCheckCast(CheckCastInstruction)
* @see com.ibm.wala.shrikeBT.IInstruction.Visitor#visitCheckCast
*/
@Override
public void visitCheckCast(CheckCast instruction) {
@ -612,7 +612,7 @@ public class DexSSABuilder extends AbstractIntRegisterMachine {
}
/**
* @see com.ibm.wala.shrikeBT.Instruction.Visitor#visitConditionalBranch(IConditionalBranchInstruction)
* @see com.ibm.wala.shrikeBT.IInstruction.Visitor#visitConditionalBranch(IConditionalBranchInstruction)
*/
@Override
public void visitBranch(Branch instruction) {
@ -642,7 +642,7 @@ public class DexSSABuilder extends AbstractIntRegisterMachine {
}
/**
* @see com.ibm.wala.shrikeBT.Instruction.Visitor#visitConstant(ConstantInstruction)
* @see com.ibm.wala.shrikeBT.IInstruction.Visitor#visitConstant(ConstantInstruction)
*/
@Override
public void visitConstant(Constant instruction) {
@ -709,7 +709,7 @@ public class DexSSABuilder extends AbstractIntRegisterMachine {
}
/**
* @see com.ibm.wala.shrikeBT.Instruction.Visitor#visitConversion(IConversionInstruction)
* @see com.ibm.wala.shrikeBT.IInstruction.Visitor#visitConversion(IConversionInstruction)
*/
// TODO: is this just a unary operation?
// @Override
@ -726,7 +726,7 @@ public class DexSSABuilder extends AbstractIntRegisterMachine {
// }
/**
* @see com.ibm.wala.shrikeBT.Instruction.Visitor#visitGet(IGetInstruction)
* @see com.ibm.wala.shrikeBT.IInstruction.Visitor#visitGet(IGetInstruction)
*/
@Override
public void visitGetField(GetField instruction) {
@ -762,7 +762,7 @@ public class DexSSABuilder extends AbstractIntRegisterMachine {
}
/**
* @see com.ibm.wala.shrikeBT.Instruction.Visitor#visitGoto(GotoInstruction)
* @see com.ibm.wala.shrikeBT.IInstruction.Visitor#visitGoto(GotoInstruction)
*/
@Override
public void visitGoto(Goto instruction) {
@ -770,7 +770,7 @@ public class DexSSABuilder extends AbstractIntRegisterMachine {
}
/**
* @see com.ibm.wala.shrikeBT.Instruction.Visitor#visitInstanceof(InstanceofInstruction)
* @see com.ibm.wala.shrikeBT.IInstruction.Visitor#visitInstanceof
*/
@Override
public void visitInstanceof(InstanceOf instruction) {
@ -785,7 +785,7 @@ public class DexSSABuilder extends AbstractIntRegisterMachine {
}
/**
* @see com.ibm.wala.shrikeBT.Instruction.Visitor#visitInvoke(IInvokeInstruction)
* @see com.ibm.wala.shrikeBT.IInstruction.Visitor#visitInvoke(IInvokeInstruction)
*/
@Override
public void visitInvoke(Invoke instruction) {
@ -903,7 +903,7 @@ public class DexSSABuilder extends AbstractIntRegisterMachine {
// }
//
// /*
// * @see com.ibm.wala.shrikeBT.Instruction.Visitor#visitLocalStore(com.ibm.wala.shrikeBT.StoreInstruction)
// * @see com.ibm.wala.shrikeBT.IInstruction.Visitor#visitLocalStore(com.ibm.wala.shrikeBT.StoreInstruction)
// */
// @Override
// public void visitLocalStore(IStoreInstruction instruction) {
@ -914,7 +914,7 @@ public class DexSSABuilder extends AbstractIntRegisterMachine {
// }
/**
* @see com.ibm.wala.shrikeBT.Instruction.Visitor#visitMonitor(MonitorInstruction)
* @see com.ibm.wala.shrikeBT.IInstruction.Visitor#visitMonitor(MonitorInstruction)
*/
@Override
public void visitMonitor(Monitor instruction) {
@ -924,7 +924,7 @@ public class DexSSABuilder extends AbstractIntRegisterMachine {
}
/**
* @see com.ibm.wala.shrikeBT.Instruction.Visitor#visitNew(NewInstruction)
* @see com.ibm.wala.shrikeBT.IInstruction.Visitor#visitNew(NewInstruction)
*/
@Override
public void visitNew(New instruction) {
@ -990,7 +990,7 @@ public class DexSSABuilder extends AbstractIntRegisterMachine {
/**
* @see com.ibm.wala.shrikeBT.Instruction.Visitor#visitGet(IGetInstruction)
* @see com.ibm.wala.shrikeBT.IInstruction.Visitor#visitGet(IGetInstruction)
*/
@Override
public void visitPutField(PutField instruction) {
@ -1011,7 +1011,7 @@ public class DexSSABuilder extends AbstractIntRegisterMachine {
}
/**
* @see com.ibm.wala.shrikeBT.Instruction.Visitor#visitReturn(ReturnInstruction)
* @see com.ibm.wala.shrikeBT.IInstruction.Visitor#visitReturn(ReturnInstruction)
*/
@Override
public void visitReturn(Return instruction) {
@ -1046,7 +1046,7 @@ public class DexSSABuilder extends AbstractIntRegisterMachine {
}
/**
* @see com.ibm.wala.shrikeBT.Instruction.Visitor#visitShift(IShiftInstruction)
* @see com.ibm.wala.shrikeBT.IInstruction.Visitor#visitShift(IShiftInstruction)
*/
// TODO: this is just a binary operation
// @Override
@ -1060,7 +1060,7 @@ public class DexSSABuilder extends AbstractIntRegisterMachine {
// }
/**
* @see com.ibm.wala.shrikeBT.Instruction.Visitor#visitSwitch(SwitchInstruction)
* @see com.ibm.wala.shrikeBT.IInstruction.Visitor#visitSwitch(SwitchInstruction)
*/
@Override
public void visitSwitch(Switch instruction) {
@ -1104,7 +1104,7 @@ public class DexSSABuilder extends AbstractIntRegisterMachine {
}
/**
* @see com.ibm.wala.shrikeBT.Instruction.Visitor#visitThrow(ThrowInstruction)
* @see com.ibm.wala.shrikeBT.IInstruction.Visitor#visitThrow(ThrowInstruction)
*/
@Override
public void visitThrow(Throw instruction) {
@ -1123,7 +1123,7 @@ public class DexSSABuilder extends AbstractIntRegisterMachine {
}
/**
* @see com.ibm.wala.shrikeBT.Instruction.Visitor#visitUnaryOp(IUnaryOpInstruction)
* @see com.ibm.wala.shrikeBT.IInstruction.Visitor#visitUnaryOp(IUnaryOpInstruction)
*/
@Override
public void visitUnaryOperation(UnaryOperation instruction) {

12
com.ibm.wala.dalvik/src/com/ibm/wala/dalvik/util/AndroidEntryPointManager.java
View File

@ -222,7 +222,7 @@ public final /* singleton */ class AndroidEntryPointManager implements Serializa
/**
* Whether to generate a global android environment.
*
* See the {@link #setDoBootSequence()} documentation.
* See the {@link #setDoBootSequence} documentation.
*
* @return the setting, defaults to true
*/
@ -293,7 +293,7 @@ public final /* singleton */ class AndroidEntryPointManager implements Serializa
/**
* The behavior set using setModelBehavior(Class).
*
* Use {@link makeModelBehavior(VolatileMethodSummary, JavaInstructionFactory, AndroidModelParameterManager, Iterable<? extends Entrypoint>}
* Use {@link #makeModelBehavior}
* to retrieve an instance of this class.
*
* If no class was set it returns null, makeModelBehavior will generate a LoopAndroidModel by default.
@ -362,7 +362,7 @@ public final /* singleton */ class AndroidEntryPointManager implements Serializa
* See: {@link #setPackage(String)}
*
* @return The package or null if it was indeterminable.
* @see guessPacakge()
* @see #guessPackage()
*/
public String getPackage() {
if (this.pack == null) {
@ -380,7 +380,7 @@ public final /* singleton */ class AndroidEntryPointManager implements Serializa
* the package based on the first entrypoint.
*
* @return The package or null if it was indeterminable.
* @see getPackage()
* @see #getPackage()
*/
public String guessPackage() {
if (this.pack != null) {
@ -418,7 +418,7 @@ public final /* singleton */ class AndroidEntryPointManager implements Serializa
* @param intent An Intent with more or the same information as known to the system before.
* @throws IllegalArgumentException if you lower the information on an already registered Intent or the
* information is incompatible.
* @see registerIntentForce()
* @see #registerIntentForce
*/
public void registerIntent(Intent intent) {
if (overrideIntents.containsKey(intent)) {
@ -476,7 +476,7 @@ public final /* singleton */ class AndroidEntryPointManager implements Serializa
*
* @param from the Intent to override
* @param to the new Intent to resolve once 'from' is seen
* @see setOverrideForce()
* @see #setOverrideForce
* @throws IllegalArgumentException if you override an Intent with itself
*/
public void setOverride(Intent from, Intent to) {

14
com.ibm.wala.dalvik/src/com/ibm/wala/dalvik/util/androidEntryPoints/FragmentEP.java
View File

@ -297,7 +297,7 @@ public final class FragmentEP {
//
/**
* @see ActivityEP.onActivityResult
* @see ActivityEP#onActivityResult
*/
public static final AndroidPossibleEntryPoint onActivityResult = new AndroidPossibleEntryPoint(AndroidComponent.FRAGMENT,
"onActivityResult",
@ -401,15 +401,15 @@ public final class FragmentEP {
));
/**
* @see ActivityEP.onLowMemory
* @see ApplicationEP.onLowMemory
* @see ActivityEP#onLowMemory
* @see ApplicationEP#onLowMemory
*/
public static final AndroidPossibleEntryPoint onLowMemory = new AndroidPossibleEntryPoint(AndroidComponent.FRAGMENT,
"onLowMemory",
ExecutionOrder.directlyBefore(ActivityEP.onLowMemory)
);
/**
* @see ActivityEP.onOptionsItemSelected
* @see ActivityEP#onOptionsItemSelected
*/
public static final AndroidPossibleEntryPoint onOptionsItemSelected = new AndroidPossibleEntryPoint(AndroidComponent.FRAGMENT,
"onOptionsItemSelected",
@ -417,7 +417,7 @@ public final class FragmentEP {
);
/**
* @see ActivityEP.onOptionsMenuClosed
* @see ActivityEP#onOptionsMenuClosed
*/
public static final AndroidPossibleEntryPoint onOptionsMenuClosed = new AndroidPossibleEntryPoint(AndroidComponent.FRAGMENT,
"onOptionsMenuClosed",
@ -427,7 +427,7 @@ public final class FragmentEP {
/**
* This is called right before the menu is shown, every time it is shown.
*
* @see ActivityEP.onPrepareOptionsMenu
* @see ActivityEP#onPrepareOptionsMenu
*/
public static final AndroidPossibleEntryPoint onPrepareOptionsMenu = new AndroidPossibleEntryPoint(AndroidComponent.FRAGMENT,
"onPrepareOptionsMenu",
@ -467,7 +467,7 @@ public final class FragmentEP {
));
/**
* @see ActtivityEP.onTrimMemory
* @see ActivityEP#onTrimMemory
*/
public static final AndroidPossibleEntryPoint onTrimMemory = new AndroidPossibleEntryPoint(AndroidComponent.FRAGMENT,
"onTrimMemory",

2
com.ibm.wala.util/src/com/ibm/wala/util/config/SetOfClasses.java
View File

@ -14,7 +14,7 @@ import java.io.Serializable;
import java.util.Set;
/**
* Logically, a set of {@link IClass}.
* Logically, a set of {@link Class}.
*
* TODO: why does this not extend {@link Set}? Is there a good reason anymore?
*/