def setUp(self): self.pw = PonyWhoosh() self.pw.indexes_path = tempfile.mkdtemp() self.pw.debug = False self.db = Database() @self.pw.register_model('name', 'age', stored=True, sortable=True) class User(self.db.Entity): id = PrimaryKey(int, auto=True) name = Required(str) age = Optional(int) attributes = Set('Attribute') @self.pw.register_model('weight', 'sport', 'name', stored=True, sortable=True) class Attribute(self.db.Entity): id = PrimaryKey(int, auto=True) name = Optional(str) user = Optional("User") weight = Required(str) sport = Optional(str) self.db.bind('sqlite', ':memory:', create_db=True) self.db.generate_mapping(create_tables=True) self.User = User self.Attribute = Attribute
, DATABASE_SEARCH_INDEXES_PATH , GITHUB_USER , INDEX_REPOSITORY_BRANCH , INDEX_REPOSITORY_NAME , INDEX_REPOSITORY_PATH , INDEX_REPOSITORY_URL , PACKAGE_SOURCES_PATH , REPO , PKG_SUFFIX , LIB_SUFFIX ) # ---------------------------------------------------------------------------- # -- Search index pw = PonyWhoosh() pw.indexes_path = DATABASE_SEARCH_INDEXES_PATH pw.search_string_min_len = 1 pw.writer_timeout = 3 db = Database() # Library is the general object to store the information about # an Agda library. Each library is associated with its different # versions. These versions are instance of the object LibraryVersion. @pw.register_model('name', 'description', 'url') class Library(db.Entity): name = PrimaryKey(str)