public class RESTRICTInvocationResultDetails extends RelationalOperatorInvocationResultDetails
Constructor and Description |
---|
RESTRICTInvocationResultDetails(Heading heading,
java.lang.String predicate,
java.util.Collection<? extends KeyDef> keySpecifications)
Creates the RESTRICTInvocationResultDetails
|
getHeading, getKeySpecifications, getPredicate
public RESTRICTInvocationResultDetails(Heading heading, java.lang.String predicate, java.util.Collection<? extends KeyDef> keySpecifications)
heading
- The heading of the expression subjected to a restrictionpredicate
- The predicate of which the relation subjected to restriction is the extensionkeySpecifications
- The key specifications known to be satisfied by the relation subjected to a restriction