public interface DomainOperation extends DomainFeature
Modifier and Type | Method and Description |
---|---|
DomainExpression |
getBodyExpression() |
int |
getIndex()
Return the index of this operation in the operation dispatch table.
|
DomainInheritance |
getInheritance(DomainStandardLibrary standardLibrary)
Return the Inheritance dispatch table for the owning type, or null for am orphan property owned by an Annotation.
|
OperationId |
getOperationId() |
java.util.List<? extends DomainTypedElement> |
getOwnedParameter() |
ParametersId |
getParametersId()
Return the unique identity of the ordered list of parameters of this operation.
|
DomainParameterTypes |
getParameterTypes()
Return the ordered list of parameters of this operation.
|
java.util.List<? extends DomainConstraint> |
getPostcondition() |
java.util.List<? extends DomainConstraint> |
getPrecondition() |
DomainTypeParameters |
getTypeParameters()
Return the ordered list of type parameters of this operation.
|
getImplementation, getOwningType, isStatic
getType, getTypeId
int getIndex()
DomainExpression getBodyExpression()
@Nullable DomainInheritance getInheritance(@NonNull DomainStandardLibrary standardLibrary)
@NonNull ParametersId getParametersId()
@NonNull DomainParameterTypes getParameterTypes()
@NonNull java.util.List<? extends DomainConstraint> getPostcondition()
@NonNull java.util.List<? extends DomainConstraint> getPrecondition()
@NonNull DomainTypeParameters getTypeParameters()
@NonNull OperationId getOperationId()
@NonNull java.util.List<? extends DomainTypedElement> getOwnedParameter()