org.qbicc.graph.NotNull Maven / Gradle / Ivy
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