00001 # -*- coding: utf-8 -*- 00002 # Copyright (c) 2009, Fixstars Corporation 00003 # All rights reserved. 00004 # 00005 # Redistribution and use in source and binary forms, with or without modification, 00006 # are permitted provided that the following conditions are met: 00007 # 00008 # * Redistributions of source code must retain the above copyright notice, 00009 # this list of conditions and the following disclaimer. 00010 # 00011 # * Redistributions in binary form must reproduce the above copyright notice, 00012 # this list of conditions and the following disclaimer in the documentation 00013 # and/or other materials provided with the distribution. 00014 # 00015 # * Neither the name of Fixstars Corporation nor the names of its contributors 00016 # may be used to endorse or promote products derived from this software 00017 # without specific prior written permission. 00018 # 00019 # THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND 00020 # ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED 00021 # WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. 00022 # IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, 00023 # INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES 00024 # (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; 00025 # LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED 00026 # AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, 00027 # OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF 00028 # THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 00029 00030 """その他のルーチン""" 00031 00032 import ctrump 00033 from ctrump import * 00034 00035 def bitmap_var_name(vars, bitmap): 00036 ret = '' 00037 for i in range(0,len(bitmap)): 00038 if bitmap[i]: 00039 ret += str(vars[i].var.name)+',' 00040 return ret 00041 00042 def bitmap_var_info(vars, bitmap): 00043 ret = [] 00044 for i in range(0,len(bitmap)): 00045 if bitmap[i]: 00046 ret.append(vars[i]) 00047 return ret