package org.metaborg.meta.nabl2.terms;

import com.google.common.collect.ImmutableClassToInstanceMap;

public interface ITermVar extends ITerm, IListTerm {

    String getResource();

    String getName();

    ITermVar withAttachments(ImmutableClassToInstanceMap<Object> value);

}
package org.metaborg.meta.nabl2.terms;

import com.google.common.collect.ImmutableClassToInstanceMap;

public interface ITermVar extends ITerm, IListTerm {

    String getResource();

    String getName();

    ITermVar withAttachments(ImmutableClassToInstanceMap<Object> value);

    @Override ITermVar withLocked(boolean locked);

}
Add override to refine return type.