org.eclipse.ocl.examples.pivot.context
Interface Base2PivotConversion

All Known Implementing Classes:

AbstractBase2PivotConversion, CS2PivotConversion

public interface Base2PivotConversion

Method Summary

void	setClassifierContext(ExpressionInOCL pivotSpecification, Type contextType)
void	setContextVariable(ExpressionInOCL pivotSpecification, java.lang.String selfVariableName, Type contextType)
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)

Method Detail

setContextVariable

void setContextVariable(@NonNull
                        ExpressionInOCL pivotSpecification,
                        @NonNull
                        java.lang.String selfVariableName,
                        @NonNull
                        Type contextType)

setClassifierContext

void setClassifierContext(@NonNull
                          ExpressionInOCL pivotSpecification,
                          @NonNull
                          Type contextType)

setParameterVariables

void setParameterVariables(@NonNull
                           ExpressionInOCL pivotSpecification,
                           @NonNull
                           java.util.List<Parameter> parameters)

setParameterVariables

void setParameterVariables(@NonNull
                           ExpressionInOCL pivotSpecification,
                           @NonNull
                           java.util.Map<java.lang.String,Type> parameters)

setResultVariable

void setResultVariable(@NonNull
                       ExpressionInOCL pivotSpecification,
                       @NonNull
                       Operation contextOperation,
                       @NonNull
                       java.lang.String resultName)