rtshell: option_store.py Source File

Go to the documentation of this file.
00001 # -*- Python -*-
00002 # -*- coding: utf-8 -*-
00003 
00004 '''rtshell
00005 
00006 Copyright (C) 2009-2014
00007     Geoffrey Biggs
00008     RT-Synthesis Research Group
00009     Intelligent Systems Research Institute,
00010     National Institute of Advanced Industrial Science and Technology (AIST),
00011     Japan
00012     All rights reserved.
00013 Licensed under the Eclipse Public License -v 1.0 (EPL)
00014 http://www.opensource.org/licenses/eclipse-1.0.txt
00015 
00016 Singleton containing option values.
00017 
00018 '''
00019 
00020 
00021 import sys
00022 
00023 class OptionStore(object):
00024     def __new__(cls, *p, **k):
00025         if not '_the_instance' in cls.__dict__:
00026             cls._the_instance = object.__new__(cls)
00027         return cls._the_instance
00028 
00029 
00030 # vim: tw=79
00031