public interface Base2ASConversion
Modifier and Type | Method and Description |
---|---|
void |
setClassifierContext(ExpressionInOCL pivotSpecification,
Type contextType) |
void |
setContextVariable(ExpressionInOCL pivotSpecification,
java.lang.String selfVariableName,
Type contextType,
Type contextInstance) |
void |
setParameterVariables(ExpressionInOCL pivotSpecification,
java.util.List<Parameter> parameters) |
void |
setParameterVariables(ExpressionInOCL pivotSpecification,
java.util.Map<java.lang.String,Type> parameters) |
void |
setResultVariable(ExpressionInOCL pivotSpecification,
Operation contextOperation,
java.lang.String resultName) |
void setContextVariable(@NonNull ExpressionInOCL pivotSpecification, @NonNull java.lang.String selfVariableName, @Nullable Type contextType, @Nullable Type contextInstance)
void setClassifierContext(@NonNull ExpressionInOCL pivotSpecification, @NonNull Type contextType)
void setParameterVariables(@NonNull ExpressionInOCL pivotSpecification, @NonNull java.util.List<Parameter> parameters)
void setParameterVariables(@NonNull ExpressionInOCL pivotSpecification, @NonNull java.util.Map<java.lang.String,Type> parameters)
void setResultVariable(@NonNull ExpressionInOCL pivotSpecification, @NonNull Operation contextOperation, @NonNull java.lang.String resultName)