class OperationInformation {

	public void add_operation_to_group(DataValue group_v, DataValue op_v) {
		Ensure.is_true(is_group(group_v));
		Ensure.is_true(is_operation(op_v));
		Ensure.is_false(group_has_operation(group_v, operation_name(op_v)));
		
		StructureDataValue group = (StructureDataValue) group_v;
		MapDataValue ops = (MapDataValue) group.value(
				m_group_operations_field);
		StringValue sv = m_pscope.string().make(operation_name(op_v));
		ops.put(sv, op_v);
	}

	public  OperationInformation(PrimitiveScope pscope);

}