package org.spoofax.interpreter.library.index.primitives;

import org.spoofax.interpreter.library.index.IIndex;

public interface IIndexContext {
    public abstract IIndex index();
}

package org.spoofax.interpreter.library.index.primitives;

import javax.annotation.Nullable;

import org.spoofax.interpreter.library.index.IIndex;

public interface IIndexContext {
    public abstract @Nullable IIndex index();
}

Mark method as nullable