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
