class OperationInformation {

	public DataValue create_operation(String name) {
		Ensure.not_null(name);
		
		Map<Field, DataValue> values = new HashMap<>();
		values.put(m_operation_name_field, m_pscope.string().make(name));
		values.put(m_operation_parameters_field,
				SetDataType.set_of(m_parameter_type, m_pscope).make());
		return m_operation_type.make(values);
	}

	public  OperationInformation(PrimitiveScope pscope);

}