org.eth.cyril.model.abstraction

Interface SimpleAbstracting<T extends Resolver>

Type Parameters:

T - The type of the elements to be abstracted.

All Superinterfaces:

Abstracting<T>, Resolver

public interface SimpleAbstracting<T extends Resolver>
extends Abstracting<T>, Resolver

An interface with default implementations for the Resolver.resolve(String) and Resolver.getResolvableNames() methods, by calling the same methods of the abstracted nodes. This interface isn't used for type-checks anywhere, its existence is merely to simplify writing code for Abstracting implementations.

Method Summary

Modifier and Type	Method and Description
default java.util.Set<java.lang.String>	getResolvableNames() Returns a set of strings, indicating all names which can be resolved by this resolver.
default java.util.Set<Resolver>	resolve(java.lang.String name) Resolve the given name to a set of resolvers.

Methods inherited from interface org.eth.cyril.model.abstraction.Abstracting

abstracted, getAbstractionReason, setAbstractionReason

Methods inherited from interface org.eth.cyril.model.constraintlanguage.Resolver

canResolve

Method Detail

resolve

default java.util.Set<Resolver> resolve(java.lang.String name)

Description copied from interface: Resolver

Resolve the given name to a set of resolvers. Assuming that Resolver.canResolve(String) for the same argument returns true, the set may be empty, but it will never be null or contain null elements. Note that however, if that method returns false, there are no guarantees about the returned set in any way.

Specified by:

resolve in interface Resolver

Parameters:

name - The name to be resolved for this Resolver.

Returns:

The possibly empty set of resolvers which can be resolved for the given name.

getResolvableNames

default java.util.Set<java.lang.String> getResolvableNames()

Description copied from interface: Resolver

Returns a set of strings, indicating all names which can be resolved by this resolver. Note that all those strings certainly return true for Resolver.canResolve(String). However, the opposite does not need to hold: Just because Resolver.canResolve(String) returns true for some name, does not mean that name is contained in the returned set, as sometimes listing all possibly resolvable names is not feasible as it may be infinite.

Specified by:

getResolvableNames in interface Resolver