• Home
• io.virtdata
• virtdata-lib-basics
• 1.2.20
• source code
• NullnessValue.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.

checker.src.org.checkerframework.checker.nullness.NullnessValue Maven / Gradle / Ivy

package org.checkerframework.checker.nullness;

import org.checkerframework.checker.nullness.qual.Nullable;
import org.checkerframework.checker.nullness.qual.PolyNull;
import org.checkerframework.framework.flow.CFAbstractAnalysis;
import org.checkerframework.framework.flow.CFAbstractValue;
import org.checkerframework.framework.flow.CFValue;
import org.checkerframework.framework.type.AnnotatedTypeMirror;

/**
 * Behaves just like {@link CFValue}, but additionally tracks whether at this
 * point {@link PolyNull} is known to be {@link Nullable}.
 *
 * @author Stefan Heule
 */
public class NullnessValue extends CFAbstractValue {

    protected boolean isPolyNullNull;

    public NullnessValue(CFAbstractAnalysis analysis,
            AnnotatedTypeMirror type) {
        super(analysis, type);
    }

}