62 lines
1.9 KiB
Python
62 lines
1.9 KiB
Python
# This file is part of the Printrun suite.
|
|
#
|
|
# Printrun is free software: you can redistribute it and/or modify
|
|
# it under the terms of the GNU General Public License as published by
|
|
# the Free Software Foundation, either version 3 of the License, or
|
|
# (at your option) any later version.
|
|
#
|
|
# Printrun is distributed in the hope that it will be useful,
|
|
# but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
# GNU General Public License for more details.
|
|
#
|
|
# You should have received a copy of the GNU General Public License
|
|
# along with Printrun. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
"""
|
|
Parser for various kinds of CSS values as per CSS2 spec section 4.3
|
|
"""
|
|
from pyparsing import Word, Combine, Optional, Literal, oneOf, CaselessLiteral, StringEnd
|
|
|
|
def asInt(s,l,t):
|
|
return int(t[0])
|
|
|
|
def asFloat(s,l,t):
|
|
return float(t[0])
|
|
|
|
def asFloatOrInt(s,l,t):
|
|
""" Return an int if possible, otherwise a float"""
|
|
v = t[0]
|
|
try:
|
|
return int(v)
|
|
except ValueError:
|
|
return float(v)
|
|
|
|
integer = Word("0123456789").setParseAction(asInt)
|
|
|
|
number = Combine(
|
|
Optional(Word("0123456789")) + Literal(".") + Word("01234567890")
|
|
| integer
|
|
)
|
|
number.setName('number')
|
|
|
|
|
|
sign = oneOf("+ -")
|
|
|
|
signedNumber = Combine(Optional(sign) + number).setParseAction(asFloat)
|
|
|
|
lengthValue = Combine(Optional(sign) + number).setParseAction(asFloatOrInt)
|
|
lengthValue.setName('lengthValue')
|
|
|
|
|
|
#TODO: The physical units like in, mm
|
|
lengthUnit = oneOf(['em', 'ex', 'px', 'pt', '%'], caseless=True)
|
|
#the spec says that the unit is only optional for a 0 length, but
|
|
#there are just too many places where a default is permitted.
|
|
#TODO: Maybe should use a ctor like optional to let clients declare it?
|
|
length = lengthValue + Optional(lengthUnit, default=None) + StringEnd()
|
|
length.leaveWhitespace()
|
|
|
|
#set the parse action aftward so it doesn't "infect" the parsers that build on it
|
|
number.setParseAction(asFloat)
|