org.eth.cyril.model.abstraction

Interface Abstracting<T extends Resolver>

Type Parameters:

T - The type of elements which were abstracted.

All Known Subinterfaces:

AbstractingValue, SimpleAbstracting<T>

All Known Implementing Classes:

AbstractingValueImpl

public interface Abstracting<T extends Resolver>

An abstracting object which abstracts possibly multiple other elements. See SimpleAbstracting for an interface with default implementations of some methods.

Method Summary

Modifier and Type	Method and Description
java.util.Collection<T>	abstracted() Returns all the elements which are being abstracted by this object.
java.util.Optional<java.lang.Object>	getAbstractionReason() Returns the reason for abstraction.
void	setAbstractionReason(java.lang.Object reason) Sets the reason for abstraction.

Method Detail

abstracted

java.util.Collection<T> abstracted()

Returns all the elements which are being abstracted by this object.

getAbstractionReason

java.util.Optional<java.lang.Object> getAbstractionReason()

Returns the reason for abstraction. After setAbstractionReason(Object) has been called with a non-null object, the returned result will be present.

Returns:

An object representing the reason for abstraction.

setAbstractionReason

void setAbstractionReason(java.lang.Object reason)

Sets the reason for abstraction.

Parameters:

reason - An object representing the reason for abstraction. This reason can be of any type.