be.SIRAPRISE.typeimplementations

Class RESTRICTInvocationResultDetails

java.lang.Object

be.SIRAPRISE.typeimplementations.RelationalOperatorInvocationResultDetails

be.SIRAPRISE.typeimplementations.RESTRICTInvocationResultDetails

public class RESTRICTInvocationResultDetails
extends RelationalOperatorInvocationResultDetails

RESTRICTInvocationResultDetails

Author:

erwin

Constructor Summary

Constructors

Constructor and Description
RESTRICTInvocationResultDetails(Heading heading, java.lang.String predicate, java.util.Collection<? extends KeyDef> keySpecifications) Creates the RESTRICTInvocationResultDetails

Method Summary

Methods inherited from class be.SIRAPRISE.typeimplementations.RelationalOperatorInvocationResultDetails

getHeading, getKeySpecifications, getPredicate

Methods inherited from class java.lang.Object

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

Constructor Detail

RESTRICTInvocationResultDetails

public RESTRICTInvocationResultDetails(Heading heading,
                                       java.lang.String predicate,
                                       java.util.Collection<? extends KeyDef> keySpecifications)

Creates the RESTRICTInvocationResultDetails

Parameters:

heading - The heading of the expression subjected to a restriction

predicate - The predicate of which the relation subjected to restriction is the extension

keySpecifications - The key specifications known to be satisfied by the relation subjected to a restriction