be.SIRAPRISE.typeimplementations

Class EXTENDInvocationResultDetails

java.lang.Object

be.SIRAPRISE.typeimplementations.RelationalOperatorInvocationResultDetails

be.SIRAPRISE.typeimplementations.EXTENDInvocationResultDetails

public class EXTENDInvocationResultDetails
extends RelationalOperatorInvocationResultDetails

EXTENDInvocationResultDetails

Author:

erwin

Constructor Summary

Constructors

Constructor and Description
EXTENDInvocationResultDetails(Heading extendHeading, java.lang.String relationPredicate, java.util.Collection<? extends KeyDef> keySpecifications) Creates the EXTENDInvocationResultDetails

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

EXTENDInvocationResultDetails

public EXTENDInvocationResultDetails(Heading extendHeading,
                                     java.lang.String relationPredicate,
                                     java.util.Collection<? extends KeyDef> keySpecifications)

Creates the EXTENDInvocationResultDetails

Parameters:

extendHeading - the heading of the EXTEND result

relationPredicate - The predicate of which the argument of the EXTEND is the extension

keySpecifications - The key specifications known to be satisfied by the EXTEND argument