All Downloads are FREE. Search and download functionalities are using the official Maven repository.

org.qbicc.graph.NotNull Maven / Gradle / Ivy

There is a newer version: 0.77.0
Show newest version
package org.qbicc.graph;

import org.qbicc.type.definition.element.ExecutableElement;

/**
 * A value that asserts non-nullity.
 */
public final class NotNull extends AbstractUnaryValue {
    NotNull(Node callSite, ExecutableElement element, int line, int bci, Value input) {
        super(callSite, element, line, bci, input);
    }

    @Override
    public boolean isNullable() {
        return false;
    }

    @Override
    public  R accept(ValueVisitor visitor, T param) {
        return visitor.visit(param, this);
    }

    public Value unconstrained() {
        return getInput().unconstrained();
    }

    @Override
    String getNodeName() {
        return "NotNull";
    }
}




© 2015 - 2024 Weber Informatics LLC | Privacy Policy