public class ExecutorOperation extends java.lang.Object implements DomainOperation
Modifier and Type | Field and Description |
---|---|
protected LibraryFeature |
implementation |
protected int |
index |
protected DomainInheritance |
inheritance |
protected java.lang.String |
name |
protected DomainParameterTypes |
parameterTypes |
protected DomainTypeParameters |
typeParameters |
Constructor and Description |
---|
ExecutorOperation(java.lang.String name,
DomainParameterTypes parameterTypes,
DomainInheritance inheritance,
int index,
DomainTypeParameters typeParameters,
LibraryFeature implementation) |
Modifier and Type | Method and Description |
---|---|
DomainExpression |
getBodyExpression() |
LibraryFeature |
getImplementation()
Return the implementation of this feature.
|
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.
|
java.lang.String |
getName() |
OperationId |
getOperationId() |
java.util.List<? extends DomainTypedElement> |
getOwnedParameter() |
java.util.List<? extends DomainConstraint> |
getOwnedRule() |
DomainType |
getOwningType()
Return the owner this feature.
|
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() |
DomainType |
getType() |
TypeId |
getTypeId() |
DomainTypeParameters |
getTypeParameters()
Return the ordered list of type parameters of this operation.
|
boolean |
isStatic()
Return true if this is a static operation.
|
java.lang.String |
toString() |
@NonNull protected final java.lang.String name
@NonNull protected final DomainParameterTypes parameterTypes
@NonNull protected final DomainInheritance inheritance
protected final int index
@NonNull protected final LibraryFeature implementation
@NonNull protected final DomainTypeParameters typeParameters
public ExecutorOperation(@NonNull java.lang.String name, @NonNull DomainParameterTypes parameterTypes, @NonNull DomainInheritance inheritance, int index, @NonNull DomainTypeParameters typeParameters, @Nullable LibraryFeature implementation)
@NonNull public LibraryFeature getImplementation()
DomainFeature
getImplementation
in interface DomainFeature
public DomainExpression getBodyExpression()
getBodyExpression
in interface DomainOperation
public final int getIndex()
DomainOperation
getIndex
in interface DomainOperation
@NonNull public final DomainInheritance getInheritance(@NonNull DomainStandardLibrary standardLibrary)
DomainOperation
getInheritance
in interface DomainOperation
@NonNull public OperationId getOperationId()
getOperationId
in interface DomainOperation
@NonNull public java.util.List<? extends DomainTypedElement> getOwnedParameter()
getOwnedParameter
in interface DomainOperation
@NonNull public java.util.List<? extends DomainConstraint> getOwnedRule()
@NonNull public DomainType getOwningType()
DomainFeature
getOwningType
in interface DomainFeature
@NonNull public ParametersId getParametersId()
DomainOperation
getParametersId
in interface DomainOperation
@NonNull public DomainParameterTypes getParameterTypes()
DomainOperation
getParameterTypes
in interface DomainOperation
@NonNull public java.util.List<? extends DomainConstraint> getPostcondition()
getPostcondition
in interface DomainOperation
@NonNull public java.util.List<? extends DomainConstraint> getPrecondition()
getPrecondition
in interface DomainOperation
@NonNull public DomainType getType()
getType
in interface DomainTypedElement
@NonNull public TypeId getTypeId()
getTypeId
in interface DomainTypedElement
@NonNull public DomainTypeParameters getTypeParameters()
DomainOperation
getTypeParameters
in interface DomainOperation
public boolean isStatic()
DomainFeature
isStatic
in interface DomainFeature
public java.lang.String toString()
toString
in class java.lang.Object