proguard.optimize.info.ProgramFieldOptimizationInfo Maven / Gradle / Ivy

Go to download
Show more of this group Show more artifacts with this name
Show all versions of proguard-base Show documentation
ProGuard is a free shrinker, optimizer, obfuscator, and preverifier for Java bytecode
There is a newer version: 7.6.0
/*
 * ProGuard -- shrinking, optimization, obfuscation, and preverification
 *             of Java bytecode.
 *
 * Copyright (c) 2002-2021 Guardsquare NV
 *
 * This program is free software; you can redistribute it and/or modify it
 * under the terms of the GNU General Public License as published by the Free
 * Software Foundation; either version 2 of the License, or (at your option)
 * any later version.
 *
 * This program is distributed in the hope that it will be useful, but WITHOUT
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
 * more details.
 *
 * You should have received a copy of the GNU General Public License along
 * with this program; if not, write to the Free Software Foundation, Inc.,
 * 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
 */
package proguard.optimize.info;

import proguard.classfile.*;
import proguard.classfile.attribute.*;
import proguard.classfile.attribute.visitor.*;
import proguard.classfile.util.ClassUtil;
import proguard.evaluation.ConstantValueFactory;
import proguard.evaluation.value.*;

/**
 * This class stores some optimization information that can be attached to
 * a field that can be analyzed in detail.
 *
 * @author Eric Lafortune
 */
public class ProgramFieldOptimizationInfo
extends      FieldOptimizationInfo
implements   AttributeVisitor
{
    private static final ValueFactory         VALUE_FACTORY          = new ParticularValueFactory();
    private static final ConstantValueFactory CONSTANT_VALUE_FACTORY = new ConstantValueFactory(VALUE_FACTORY);
    private static final InitialValueFactory  INITIAL_VALUE_FACTORY  = new InitialValueFactory(VALUE_FACTORY);


    private volatile boolean        isWritten;
    private volatile boolean        isRead;
    private volatile boolean        canBeMadePrivate = true;
    private volatile ReferenceValue referencedClass;


    public ProgramFieldOptimizationInfo(Clazz clazz, Field field)
    {
        int accessFlags = field.getAccessFlags();

        isWritten =
        isRead    = (accessFlags & AccessConstants.VOLATILE) != 0;

        resetValue(clazz, field);
    }


    public ProgramFieldOptimizationInfo(ProgramFieldOptimizationInfo programFieldOptimizationInfo)
    {
        this.value            = programFieldOptimizationInfo.value;
        this.isWritten        = programFieldOptimizationInfo.isWritten;
        this.isRead           = programFieldOptimizationInfo.isRead;
        this.canBeMadePrivate = programFieldOptimizationInfo.canBeMadePrivate;
        this.referencedClass  = programFieldOptimizationInfo.referencedClass;
    }


    // Overridden methods for FieldOptimizationInfo, plus more setters.

    public boolean isKept()
    {
        return false;
    }


    /**
     * Specifies that the field is written to.
     */
    public void setWritten()
    {
        isWritten = true;
    }


    public boolean isWritten()
    {
        return isWritten;
    }


    /**
     * Specifies that the field is read.
     */
    public void setRead()
    {
        isRead = true;
    }


    public boolean isRead()
    {
        return isRead;
    }


    /**
     * Specifies that the field can be made private.
     */
    public void setCanNotBeMadePrivate()
    {
        canBeMadePrivate = false;
    }


    public boolean canBeMadePrivate()
    {
        return canBeMadePrivate;
    }


    /**
     * Specifies a representation of the class through which the field is
     * accessed.
     */
    public synchronized void generalizeReferencedClass(ReferenceValue referencedClass)
    {
        this.referencedClass = this.referencedClass != null ?
            this.referencedClass.generalize(referencedClass) :
            referencedClass;
    }


    public ReferenceValue getReferencedClass()
    {
        return referencedClass;
    }


    /**
     * Initializes the representation of the value of the field.
     */
    public void resetValue(Clazz clazz, Field field)
    {
        int accessFlags = field.getAccessFlags();

        value = null;

        // See if we can initialize the static field with a constant value.
        if ((accessFlags & AccessConstants.STATIC) != 0)
        {
            field.accept(clazz, new AllAttributeVisitor(this));
        }

        // Otherwise initialize a non-final field with the default value.
        // Conservatively, even a final field needs to be initialized with the
        // default value, because it may be accessed before it is set.
        if (value == null &&
            (SideEffectInstructionChecker.OPTIMIZE_CONSERVATIVELY           ||
             // Final reference fields can not be inlined by the compiler and thus
             // can be null in certain cases.
             !ClassUtil.isInternalPrimitiveType(field.getDescriptor(clazz)) ||
             (accessFlags & AccessConstants.FINAL) == 0))
        {
            // Otherwise initialize the non-final field with the default value.
            value = INITIAL_VALUE_FACTORY.createValue(field.getDescriptor(clazz));
        }
    }


    /**
     * Specifies a representation of the value of the field.
     */
    public synchronized void generalizeValue(Value value)
    {
        this.value = this.value != null ?
            this.value.generalize(value) :
            value;
    }


    // Implementations for AttributeVisitor.

    public void visitAnyAttribute(Clazz clazz, Attribute attribute) {}


    public void visitConstantValueAttribute(Clazz clazz, Field field, ConstantValueAttribute constantValueAttribute)
    {
        // Retrieve the initial static field value.
        value = CONSTANT_VALUE_FACTORY.constantValue(clazz, constantValueAttribute.u2constantValueIndex);
    }


    // Small utility methods.

    /**
     * Creates and sets a ProgramFieldOptimizationInfo instance on the given field.
     */
    public static void setProgramFieldOptimizationInfo(Clazz clazz, Field field)
    {
        field.setProcessingInfo(new ProgramFieldOptimizationInfo(clazz, field));
    }


    /**
     * Returns the ProgramFieldOptimizationInfo instance from the given field.
     */
    public static ProgramFieldOptimizationInfo getProgramFieldOptimizationInfo(Field field)
    {
        return (ProgramFieldOptimizationInfo)field.getProcessingInfo();
    }
}