Java Code Examples for com.android.dx.rop.type.Type#INT

The following examples show how to use com.android.dx.rop.type.Type#INT . You can vote up the ones you like or vote down the ones you don't like, and go to the original project or source file by following the links above each example. You may check out the related API usage on the sidebar.
Example 1
Source File: BasicBlocker.java    From Box with Apache License 2.0 4 votes vote down vote up 
/** {@inheritDoc} */
@Override
public void visitNoArgs(int opcode, int offset, int length, Type type) {
    switch (opcode) {
        case ByteOps.IRETURN:
        case ByteOps.RETURN: {
            visitCommon(offset, length, false);
            targetLists[offset] = IntList.EMPTY;
            break;
        }
        case ByteOps.ATHROW: {
            visitCommon(offset, length, false);
            visitThrowing(offset, length, false);
            break;
        }
        case ByteOps.IALOAD:
        case ByteOps.LALOAD:
        case ByteOps.FALOAD:
        case ByteOps.DALOAD:
        case ByteOps.AALOAD:
        case ByteOps.BALOAD:
        case ByteOps.CALOAD:
        case ByteOps.SALOAD:
        case ByteOps.IASTORE:
        case ByteOps.LASTORE:
        case ByteOps.FASTORE:
        case ByteOps.DASTORE:
        case ByteOps.AASTORE:
        case ByteOps.BASTORE:
        case ByteOps.CASTORE:
        case ByteOps.SASTORE:
        case ByteOps.ARRAYLENGTH:
        case ByteOps.MONITORENTER:
        case ByteOps.MONITOREXIT: {
            /*
             * These instructions can all throw, so they have to end
             * the block they appear in (since throws are branches).
             */
            visitCommon(offset, length, true);
            visitThrowing(offset, length, true);
            break;
        }
        case ByteOps.IDIV:
        case ByteOps.IREM: {
            /*
             * The int and long versions of division and remainder may
             * throw, but not the other types.
             */
            visitCommon(offset, length, true);
            if ((type == Type.INT) || (type == Type.LONG)) {
                visitThrowing(offset, length, true);
            }
            break;
        }
        default: {
            visitCommon(offset, length, true);
            break;
        }
    }
}
Example 2
Source File: Merger.java    From Box with Apache License 2.0 4 votes vote down vote up 
/**
 * Merges two frame types.
 *
 * @param ft1 {@code non-null;} a frame type
 * @param ft2 {@code non-null;} another frame type
 * @return {@code non-null;} the result of merging the two types
 */
public static TypeBearer mergeType(TypeBearer ft1, TypeBearer ft2) {
    if ((ft1 == null) || ft1.equals(ft2)) {
        return ft1;
    } else if (ft2 == null) {
        return null;
    } else {
        Type type1 = ft1.getType();
        Type type2 = ft2.getType();

        if (type1 == type2) {
            return type1;
        } else if (type1.isReference() && type2.isReference()) {
            if (type1 == Type.KNOWN_NULL) {
                /*
                 * A known-null merges with any other reference type to
                 * be that reference type.
                 */
                return type2;
            } else if (type2 == Type.KNOWN_NULL) {
                /*
                 * The same as above, but this time it's type2 that's
                 * the known-null.
                 */
                return type1;
            } else if (type1.isArray() && type2.isArray()) {
                TypeBearer componentUnion =
                    mergeType(type1.getComponentType(),
                            type2.getComponentType());
                if (componentUnion == null) {
                    /*
                     * At least one of the types is a primitive type,
                     * so the merged result is just Object.
                     */
                    return Type.OBJECT;
                }
                return ((Type) componentUnion).getArrayType();
            } else {
                /*
                 * All other unequal reference types get merged to be
                 * Object in this phase. This is fine here, but it
                 * won't be the right thing to do in the verifier.
                 */
                return Type.OBJECT;
            }
        } else if (type1.isIntlike() && type2.isIntlike()) {
            /*
             * Merging two non-identical int-like types results in
             * the type int.
             */
            return Type.INT;
        } else {
            return null;
        }
    }
}
Example 3
Source File: CstInteger.java    From Box with Apache License 2.0 4 votes vote down vote up 
/** {@inheritDoc} */
@Override
public Type getType() {
    return Type.INT;
}
Example 4
Source File: BasicBlocker.java    From Box with Apache License 2.0 4 votes vote down vote up 
/** {@inheritDoc} */
@Override
public void visitNoArgs(int opcode, int offset, int length, Type type) {
    switch (opcode) {
        case ByteOps.IRETURN:
        case ByteOps.RETURN: {
            visitCommon(offset, length, false);
            targetLists[offset] = IntList.EMPTY;
            break;
        }
        case ByteOps.ATHROW: {
            visitCommon(offset, length, false);
            visitThrowing(offset, length, false);
            break;
        }
        case ByteOps.IALOAD:
        case ByteOps.LALOAD:
        case ByteOps.FALOAD:
        case ByteOps.DALOAD:
        case ByteOps.AALOAD:
        case ByteOps.BALOAD:
        case ByteOps.CALOAD:
        case ByteOps.SALOAD:
        case ByteOps.IASTORE:
        case ByteOps.LASTORE:
        case ByteOps.FASTORE:
        case ByteOps.DASTORE:
        case ByteOps.AASTORE:
        case ByteOps.BASTORE:
        case ByteOps.CASTORE:
        case ByteOps.SASTORE:
        case ByteOps.ARRAYLENGTH:
        case ByteOps.MONITORENTER:
        case ByteOps.MONITOREXIT: {
            /*
             * These instructions can all throw, so they have to end
             * the block they appear in (since throws are branches).
             */
            visitCommon(offset, length, true);
            visitThrowing(offset, length, true);
            break;
        }
        case ByteOps.IDIV:
        case ByteOps.IREM: {
            /*
             * The int and long versions of division and remainder may
             * throw, but not the other types.
             */
            visitCommon(offset, length, true);
            if ((type == Type.INT) || (type == Type.LONG)) {
                visitThrowing(offset, length, true);
            }
            break;
        }
        default: {
            visitCommon(offset, length, true);
            break;
        }
    }
}
Example 5
Source File: Merger.java    From Box with Apache License 2.0 4 votes vote down vote up 
/**
 * Merges two frame types.
 *
 * @param ft1 {@code non-null;} a frame type
 * @param ft2 {@code non-null;} another frame type
 * @return {@code non-null;} the result of merging the two types
 */
public static TypeBearer mergeType(TypeBearer ft1, TypeBearer ft2) {
    if ((ft1 == null) || ft1.equals(ft2)) {
        return ft1;
    } else if (ft2 == null) {
        return null;
    } else {
        Type type1 = ft1.getType();
        Type type2 = ft2.getType();

        if (type1 == type2) {
            return type1;
        } else if (type1.isReference() && type2.isReference()) {
            if (type1 == Type.KNOWN_NULL) {
                /*
                 * A known-null merges with any other reference type to
                 * be that reference type.
                 */
                return type2;
            } else if (type2 == Type.KNOWN_NULL) {
                /*
                 * The same as above, but this time it's type2 that's
                 * the known-null.
                 */
                return type1;
            } else if (type1.isArray() && type2.isArray()) {
                TypeBearer componentUnion =
                    mergeType(type1.getComponentType(),
                            type2.getComponentType());
                if (componentUnion == null) {
                    /*
                     * At least one of the types is a primitive type,
                     * so the merged result is just Object.
                     */
                    return Type.OBJECT;
                }
                return ((Type) componentUnion).getArrayType();
            } else {
                /*
                 * All other unequal reference types get merged to be
                 * Object in this phase. This is fine here, but it
                 * won't be the right thing to do in the verifier.
                 */
                return Type.OBJECT;
            }
        } else if (type1.isIntlike() && type2.isIntlike()) {
            /*
             * Merging two non-identical int-like types results in
             * the type int.
             */
            return Type.INT;
        } else {
            return null;
        }
    }
}
Example 6
Source File: CstInteger.java    From Box with Apache License 2.0 4 votes vote down vote up 
/** {@inheritDoc} */
@Override
public Type getType() {
    return Type.INT;
}
Example 7
Source File: BasicBlocker.java    From J2ME-Loader with Apache License 2.0 4 votes vote down vote up 
/** {@inheritDoc} */
   @Override
public void visitNoArgs(int opcode, int offset, int length, Type type) {
       switch (opcode) {
           case ByteOps.IRETURN:
           case ByteOps.RETURN: {
               visitCommon(offset, length, false);
               targetLists[offset] = IntList.EMPTY;
               break;
           }
           case ByteOps.ATHROW: {
               visitCommon(offset, length, false);
               visitThrowing(offset, length, false);
               break;
           }
           case ByteOps.IALOAD:
           case ByteOps.LALOAD:
           case ByteOps.FALOAD:
           case ByteOps.DALOAD:
           case ByteOps.AALOAD:
           case ByteOps.BALOAD:
           case ByteOps.CALOAD:
           case ByteOps.SALOAD:
           case ByteOps.IASTORE:
           case ByteOps.LASTORE:
           case ByteOps.FASTORE:
           case ByteOps.DASTORE:
           case ByteOps.AASTORE:
           case ByteOps.BASTORE:
           case ByteOps.CASTORE:
           case ByteOps.SASTORE:
           case ByteOps.ARRAYLENGTH:
           case ByteOps.MONITORENTER:
           case ByteOps.MONITOREXIT: {
               /*
                * These instructions can all throw, so they have to end
                * the block they appear in (since throws are branches).
                */
               visitCommon(offset, length, true);
               visitThrowing(offset, length, true);
               break;
           }
           case ByteOps.IDIV:
           case ByteOps.IREM: {
               /*
                * The int and long versions of division and remainder may
                * throw, but not the other types.
                */
               visitCommon(offset, length, true);
               if ((type == Type.INT) || (type == Type.LONG)) {
                   visitThrowing(offset, length, true);
               }
               break;
           }
           default: {
               visitCommon(offset, length, true);
               break;
           }
       }
   }
Example 8
Source File: Merger.java    From J2ME-Loader with Apache License 2.0 4 votes vote down vote up 
/**
 * Merges two frame types.
 *
 * @param ft1 {@code non-null;} a frame type
 * @param ft2 {@code non-null;} another frame type
 * @return {@code non-null;} the result of merging the two types
 */
public static TypeBearer mergeType(TypeBearer ft1, TypeBearer ft2) {
    if ((ft1 == null) || ft1.equals(ft2)) {
        return ft1;
    } else if (ft2 == null) {
        return null;
    } else {
        Type type1 = ft1.getType();
        Type type2 = ft2.getType();

        if (type1 == type2) {
            return type1;
        } else if (type1.isReference() && type2.isReference()) {
            if (type1 == Type.KNOWN_NULL) {
                /*
                 * A known-null merges with any other reference type to
                 * be that reference type.
                 */
                return type2;
            } else if (type2 == Type.KNOWN_NULL) {
                /*
                 * The same as above, but this time it's type2 that's
                 * the known-null.
                 */
                return type1;
            } else if (type1.isArray() && type2.isArray()) {
                TypeBearer componentUnion =
                    mergeType(type1.getComponentType(),
                            type2.getComponentType());
                if (componentUnion == null) {
                    /*
                     * At least one of the types is a primitive type,
                     * so the merged result is just Object.
                     */
                    return Type.OBJECT;
                }
                return ((Type) componentUnion).getArrayType();
            } else {
                /*
                 * All other unequal reference types get merged to be
                 * Object in this phase. This is fine here, but it
                 * won't be the right thing to do in the verifier.
                 */
                return Type.OBJECT;
            }
        } else if (type1.isIntlike() && type2.isIntlike()) {
            /*
             * Merging two non-identical int-like types results in
             * the type int.
             */
            return Type.INT;
        } else {
            return null;
        }
    }
}
Example 9
Source File: CstInteger.java    From J2ME-Loader with Apache License 2.0 4 votes vote down vote up 
/** {@inheritDoc} */
   @Override
public Type getType() {
       return Type.INT;
   }
Example 10
Source File: BasicBlocker.java    From buck with Apache License 2.0 4 votes vote down vote up 
/** {@inheritDoc} */
public void visitNoArgs(int opcode, int offset, int length, Type type) {
    switch (opcode) {
        case ByteOps.IRETURN:
        case ByteOps.RETURN: {
            visitCommon(offset, length, false);
            targetLists[offset] = IntList.EMPTY;
            break;
        }
        case ByteOps.ATHROW: {
            visitCommon(offset, length, false);
            visitThrowing(offset, length, false);
            break;
        }
        case ByteOps.IALOAD:
        case ByteOps.LALOAD:
        case ByteOps.FALOAD:
        case ByteOps.DALOAD:
        case ByteOps.AALOAD:
        case ByteOps.BALOAD:
        case ByteOps.CALOAD:
        case ByteOps.SALOAD:
        case ByteOps.IASTORE:
        case ByteOps.LASTORE:
        case ByteOps.FASTORE:
        case ByteOps.DASTORE:
        case ByteOps.AASTORE:
        case ByteOps.BASTORE:
        case ByteOps.CASTORE:
        case ByteOps.SASTORE:
        case ByteOps.ARRAYLENGTH:
        case ByteOps.MONITORENTER:
        case ByteOps.MONITOREXIT: {
            /*
             * These instructions can all throw, so they have to end
             * the block they appear in (since throws are branches).
             */
            visitCommon(offset, length, true);
            visitThrowing(offset, length, true);
            break;
        }
        case ByteOps.IDIV:
        case ByteOps.IREM: {
            /*
             * The int and long versions of division and remainder may
             * throw, but not the other types.
             */
            visitCommon(offset, length, true);
            if ((type == Type.INT) || (type == Type.LONG)) {
                visitThrowing(offset, length, true);
            }
            break;
        }
        default: {
            visitCommon(offset, length, true);
            break;
        }
    }
}
Example 11
Source File: Merger.java    From buck with Apache License 2.0 4 votes vote down vote up 
/**
 * Merges two frame types.
 *
 * @param ft1 {@code non-null;} a frame type
 * @param ft2 {@code non-null;} another frame type
 * @return {@code non-null;} the result of merging the two types
 */
public static TypeBearer mergeType(TypeBearer ft1, TypeBearer ft2) {
    if ((ft1 == null) || ft1.equals(ft2)) {
        return ft1;
    } else if (ft2 == null) {
        return null;
    } else {
        Type type1 = ft1.getType();
        Type type2 = ft2.getType();

        if (type1 == type2) {
            return type1;
        } else if (type1.isReference() && type2.isReference()) {
            if (type1 == Type.KNOWN_NULL) {
                /*
                 * A known-null merges with any other reference type to
                 * be that reference type.
                 */
                return type2;
            } else if (type2 == Type.KNOWN_NULL) {
                /*
                 * The same as above, but this time it's type2 that's
                 * the known-null.
                 */
                return type1;
            } else if (type1.isArray() && type2.isArray()) {
                TypeBearer componentUnion =
                    mergeType(type1.getComponentType(),
                            type2.getComponentType());
                if (componentUnion == null) {
                    /*
                     * At least one of the types is a primitive type,
                     * so the merged result is just Object.
                     */
                    return Type.OBJECT;
                }
                return ((Type) componentUnion).getArrayType();
            } else {
                /*
                 * All other unequal reference types get merged to be
                 * Object in this phase. This is fine here, but it
                 * won't be the right thing to do in the verifier.
                 */
                return Type.OBJECT;
            }
        } else if (type1.isIntlike() && type2.isIntlike()) {
            /*
             * Merging two non-identical int-like types results in
             * the type int.
             */
            return Type.INT;
        } else {
            return null;
        }
    }
}
Example 12
Source File: CstInteger.java    From buck with Apache License 2.0 4 votes vote down vote up 
/** {@inheritDoc} */
public Type getType() {
    return Type.INT;
}