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, getPredicate
public 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