org.eclipse.ocl.examples.pivot.context

Interface Base2PivotConversion

All Known Implementing Classes:

AbstractBase2PivotConversion, CS2PivotConversion

public interface Base2PivotConversion

Method Summary

Methods

Modifier and Type	Method and Description
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)