public class IsSubTypeOperatorImplementation extends java.lang.Object implements OperatorImplementation_V0104
| Constructor and Description |
|---|
IsSubTypeOperatorImplementation(java.lang.String rootTypeName,
java.util.LinkedList<be.SIRAPRISE.server.ServerSideConstrainedTypeImplementation> superTypeImplementationsChain)
Creates the IsSubTypeOperatorImplementation
|
| Modifier and Type | Method and Description |
|---|---|
ValueBuffer |
executeOperator(java.util.LinkedList<ValueBuffer> args)
Performs the actual logic of the operator.
|
java.lang.String[] |
getArgumentTypeNames()
Gets the list of names of types of the needed argument values
|
java.lang.String |
getReturnTypeName()
Gets the name of the type of the return value
|
java.lang.String |
getSignature()
Gets the name of the operator implemented by this implementation object
|
boolean |
isDeterministic()
Tells whether the operator is deterministic with respect to the arguments of its invocations.
|
public IsSubTypeOperatorImplementation(java.lang.String rootTypeName,
java.util.LinkedList<be.SIRAPRISE.server.ServerSideConstrainedTypeImplementation> superTypeImplementationsChain)
rootTypeName - The typename of the argument of this operator (a value of the supertype, of which it is to be tested whether it satisfies the subtype condition)superTypeImplementationsChain - The chain of implementations from the argument's type to the constrained type that is to be checkedpublic ValueBuffer executeOperator(java.util.LinkedList<ValueBuffer> args)
OperatorImplementation_V0104executeOperator in interface OperatorImplementation_V0104args - the argument list. The list must hold as many ValueBuffer objects as there are arguments to the operator, and each ValueBuffer object holds a value for some argument to the operator. ValueBuffer objects on the list must appear in the same order as the operator argument declarations. Implementations have the option, but are not required, to do a check the conformance of the argument list (the argument count, notably) to the operator signature.public java.lang.String[] getArgumentTypeNames()
OperatorImplementation_V0104getArgumentTypeNames in interface OperatorImplementation_V0104public java.lang.String getReturnTypeName()
OperatorImplementation_V0104getReturnTypeName in interface OperatorImplementation_V0104public boolean isDeterministic()
OperatorImplementation_V0104isDeterministic in interface OperatorImplementation_V0104public java.lang.String getSignature()
OperatorImplementation_V0104getSignature in interface OperatorImplementation_V0104