@Override
public Symbol resolve(String name) {
Symbol toReturn = owlEntityCheckerScope.resolve(name);
if (toReturn == null && name.startsWith("!")) {
toReturn = new CreateOnDemandIdentifier(name);
}
return toReturn;
}
@Override
public void dispose() {
owlEntityCheckerScope.dispose();
}
@Override
public Set<Symbol> match(String prefix) {
return owlEntityCheckerScope.match(prefix);
}
@Override
public Set<Symbol> getAllSymbols(Type type) {
return owlEntityCheckerScope.getAllSymbols();
}
