summaryrefslogtreecommitdiff
path: root/server/piztor/model.py
blob: bbeeb3134e34dd9305b8db3c1bc1a0e49f8bd313 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
from sqlalchemy import Table, Column
from sqlalchemy import Integer, String, ForeignKey, Boolean
from sqlalchemy.dialects.mysql import BLOB, TINYINT, DOUBLE
from sqlalchemy.ext.declarative import declarative_base
from sqlalchemy.orm import relationship, backref
from exc import *

Base = declarative_base()

_SALT_LEN = 16
_TOKEN_LEN = 16
MAX_USERNAME_SIZE = 20
MAX_PASSWORD_SIZE = 20
NOT_A_LAT = NOT_A_LNG = 300
MARKER_FRESH = 0x00
MARKER_DISPLAYED = 0x01
MARKER_CHECKED = 0x02

_table_typical_settings = {
        'mysql_engine' : 'InnoDB',
        'mysql_charset' : 'utf8',
        'mysql_auto_increment' : '1'}

class _TableName:   # avoid typoes
    UserModel = 'users'
    LocationInfo = 'location_info'
    UserAuth = 'user_auth'
    GroupInfo = 'group_info'
    GroupSub = 'group_sub'
    MarkerInfo = 'marker_info'

class GroupInfo(Base):
    __tablename__ = _TableName.GroupInfo
    __table_args__ = _table_typical_settings

    id = Column(Integer, primary_key = True)
    subscribers = None
    score = Column(Integer, nullable = False)

group_sub = Table(_TableName.GroupSub, Base.metadata,
        Column('uid', Integer, ForeignKey(_TableName.UserModel + '.id')),
        Column('gid', Integer, ForeignKey(_TableName.GroupInfo + '.id')),
        mysql_engine = 'InnoDB')


class UserModel(Base):
    __tablename__ = _TableName.UserModel
    __table_args__ = _table_typical_settings
    id = Column(Integer, primary_key = True)
    username = Column(String(MAX_USERNAME_SIZE),
                    unique = True, nullable = False)
    nickname = Column(String(MAX_USERNAME_SIZE),
                    unique = False)
    sex = Column(Boolean, nullable = False)
    comp_id = Column(Integer)
    sec_id = Column(Integer)

    perm = Column(TINYINT, nullable = False)
    sub = relationship("GroupInfo",
                            secondary = group_sub,
                            backref = "subscribers")

    location = None
    auth = None

    @classmethod
    def to_gid(self, comp_no, sec_no):
        return comp_no * 256 + sec_no

    def __init__(self, username, nickname, sex, comp_no, sec_no, perm):
        self.username = username
        self.nickname = nickname
        self.sex = sex
        self.comp_id = UserModel.to_gid(comp_no, 0xff)
        self.sec_id = UserModel.to_gid(comp_no, sec_no)
        self.sub = list()
        self.perm = perm


class LocationInfo(Base):
    __tablename__ = _TableName.LocationInfo
    __table_args__ = _table_typical_settings

    uid = Column(Integer, ForeignKey(_TableName.UserModel + '.id'),
                primary_key = True)
    lat = Column(DOUBLE, nullable = False)
    lng = Column(DOUBLE, nullable = False)
    user = relationship("UserModel", uselist = False,
            backref = backref("location", uselist = False,
                cascade = "all, delete-orphan"))

    # More: last_update

from hashlib import sha256
from os import urandom

def _sprinkle_salt(uauth, passwd):
    data = sha256(uauth.salt)
    data.update(chr(0))
    data.update(passwd)
    return data.digest()

def _random_binary_string(length):
    return urandom(length)

class UserAuth(Base):
    __tablename__ = _TableName.UserAuth
    __table_args__ = _table_typical_settings

    uid = Column(Integer, ForeignKey(_TableName.UserModel + '.id'), primary_key = True)
    password = Column(BLOB)
    salt = Column(BLOB)
    token = Column(BLOB)

    user = relationship("UserModel", uselist = False,
            backref = backref("auth", uselist = False,
                cascade = "all, delete-orphan"))

    def regen_token(self):
        self.token = sha256(_random_binary_string(_TOKEN_LEN)).digest()

    def __init__(self, passwd):
        self.set_password(passwd)

    def set_password(self, passwd):
        self.salt = _random_binary_string(_SALT_LEN)
        self.password = _sprinkle_salt(self, passwd)
        self.regen_token()

    def check_password(self, passwd):
        passwd = _sprinkle_salt(self, passwd)
        return passwd == self.password

    def check_token(self, tk):
        return self.token == tk

    def get_token(self):
        return self.token

class MarkerInfo(Base):
    __tablename__ = _TableName.MarkerInfo
    __table_args__ = _table_typical_settings

    id = Column(Integer, primary_key = True)
    lat = Column(DOUBLE, nullable = False)
    lng = Column(DOUBLE, nullable = False)
    status = Column(TINYINT)
    score = Column(Integer)