from amoco.config import conf from amoco.logger import Log logger = Log(__name__) try: import blinker has_blinker = True except ImportError: logger.info('blinker package not found, no ui.signals defined') has_blinker = False
# -*- coding: utf-8 -*- # This code is part of Amoco # Copyright (C) 2015 Axel Tillequin ([email protected]) # published under GPLv2 license from amoco.logger import Log logger = Log(__name__) from .expressions import * from amoco.cas.mapper import mapper try: import z3 except ImportError: logger.info('z3 package not found => solve() method is not implemented') class solver(object): def __init__(self,eqns=None): raise NotImplementedError has_solver = False else: logger.info('z3 package imported') class solver(object): def __init__(self,eqns=None): self.eqns = [] self.locs = [] self.solver = z3.Solver() if eqns: self.add(eqns) self._ctr = 0 def add(self,eqns):
from amoco.config import conf from amoco.logger import Log logger = Log(__name__) logger.debug("loading module") import re try: from pygments.token import Token from pygments.style import Style from pygments.lexer import RegexLexer from pygments.formatters import * except ImportError: logger.info("pygments package not found, no renderer defined") has_pygments = False # metaclass definition, with a syntax compatible with python2 and python3 class TokenType(type): def __getattr__(cls, key): return key Token_base = TokenType("Token_base", (), {}) class Token(Token_base): pass class NullFormatter(object): def __init__(self, **options): self.options = options
from collections import defaultdict from amoco.logger import Log logger = Log(__name__) try: import ConfigParser as cp except ImportError: logger.info('ConfigParser not found, fallback to default config') cp = None if cp: import os conf = cp.SafeConfigParser() conf.add_section('block') conf.set('block', 'header', 'True') conf.set('block', 'bytecode', 'True') conf.set('block', 'padding', '4') conf.read([os.path.expanduser('~/.amocorc')]) else: conf = None class DefaultConf(object): def __init__(self): self.sections = defaultdict(lambda: {}) self.setdefaults() def get(self, section, item): s = self.sections[section] return s.get(item, None) if s else None