Package com.aquima.interactions.expressions.semantics

Class DomainValidator

java.lang.Object

com.aquima.interactions.expressions.semantics.DomainValidator

public final class DomainValidator
extends Object

Utility class that can be used to check if domains have an intersection.

Since:

6.3

Author:

O. Kerpershoek

Method Summary

Modifier and Type	Method	Description
static boolean	containsValue(Domain specifiedDomain, IValue derivedValue)	This method returns a boolean indicating if the value is present in the domain.
static boolean	hasIntersection(Type left, Type right)	This method returns a boolean indicating if there is an intersection between the domains of the left and right type.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details

hasIntersection

public static boolean hasIntersection(Type left,
 Type right)

This method returns a boolean indicating if there is an intersection between the domains of the left and right type.

Parameters:

left - The first type that should be compared.

right - The second type that should be compared.

Returns:

a boolean indicating if there is an intersection between the two domain types.

containsValue

public static boolean containsValue(Domain specifiedDomain,
 IValue derivedValue)

This method returns a boolean indicating if the value is present in the domain.

Parameters:

specifiedDomain - The domain that should be checked if it contains the value.

derivedValue - The value that should be checked against the domain.

Returns:

boolean indicating if the value is present in the domain.