• Home
• org.qbicc
• qbicc-plugin-reachability
• 0.61.0
• source code
• FieldReachabilityFacts.java

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

org.qbicc.plugin.reachability.FieldReachabilityFacts Maven / Gradle / Ivy

package org.qbicc.plugin.reachability;

import org.qbicc.facts.Fact;
import org.qbicc.type.definition.element.FieldElement;

/**
 * The core set of field facts.
 */
public enum FieldReachabilityFacts implements Fact {
    /**
     * The field is touched by a read operation in reachable code.
     */
    IS_READ,
    /**
     * The field is touched by a write operation in reachable code.
     */
    IS_WRITTEN,
    ;

    @Override
    public Class getElementType() {
        return FieldElement.class;
    }
}