public class UNGROUPInvocationResultDetails extends RelationalOperatorInvocationResultDetails
| Constructor and Description |
|---|
UNGROUPInvocationResultDetails(Heading heading,
java.lang.String predicate,
java.util.Collection<? extends KeyDef> keySpecifications)
Creates the UNGROUPInvocationResultDetails
|
getHeading, getKeySpecifications, getPredicatepublic UNGROUPInvocationResultDetails(Heading heading, java.lang.String predicate, java.util.Collection<? extends KeyDef> keySpecifications)
heading - the heading of the result produced by the invocationpredicate - the predicate corresponding to the resultkeySpecifications - the key specifications known to be satisfied by the result