OXIESEC PANEL

Name	Size	Modified	Perms
📁 ..	-	02/07/2025 10:01:36 PM	rwxr-xr-x
📄 __init__.py	0 bytes	12/18/2024 10:23:15 AM	rw-r--r--
📁 __pycache__	-	02/07/2025 10:01:36 PM	rwxr-xr-x
📄 colors.py	2.78 KB	12/18/2024 10:23:15 AM	rw-r--r--
📄 full11.py	74.62 KB	12/18/2024 10:23:15 AM	rw-r--r--
📄 pattern.py	1.04 KB	12/18/2024 10:23:15 AM	rw-r--r--
📄 svgparser.py	4.92 KB	12/18/2024 10:23:15 AM	rw-r--r--
📄 tiny12.py	57.49 KB	12/18/2024 10:23:15 AM	rw-r--r--
📄 typechecker.py	11.66 KB	12/18/2024 10:23:15 AM	rw-r--r--
📄 types.py	2.74 KB	12/18/2024 10:23:15 AM	rw-r--r--

Editing: pattern.py

#!/usr/bin/env python
#coding:utf-8
# Author:  mozman --<mozman@gmx.at>
# Purpose: pattern module
# Created: 27.09.2010
# Copyright (C) 2010, Manfred Moitzi
# License: MIT License

import re

#coordinate ::= number ("em" | "ex" | "px" | "in" | "cm" | "mm" | "pt" | "pc" | "%")?
coordinate = re.compile(r"(^[-+]?[0-9]*\.?[0-9]+([eE][-+]?[0-9]+)?)(cm|em|ex|in|mm|pc|pt|px|%)?$")

#length ::= number ("em" | "ex" | "px" | "in" | "cm" | "mm" | "pt" | "pc" | "%")?
length = coordinate

#angle ::= number (~"deg" | ~"grad" | ~"rad")?
angle = re.compile(r"(^[-+]?[0-9]*\.?[0-9]+([eE][-+]?[0-9]+)?)(deg|rad|grad)?$")

# numbers without units
number = re.compile(r"(^[-+]?[0-9]*\.?[0-9]+([eE][-+]?[0-9]+)?)$")

# number as percentage value '###%'
percentage = re.compile(r"(^[-+]?[0-9]*\.?[0-9]+([eE][-+]?[0-9]+)?)%$")

#frequency ::= number (~"Hz" | ~"kHz")
frequency = re.compile(r"(^[-+]?[0-9]*\.?[0-9]+([eE][-+]?[0-9]+)?)(Hz|kHz)?$")

#time ::= number (~"s" | ~"ms")
time = re.compile(r"(^[-+]?[0-9]*\.?[0-9]+([eE][-+]?[0-9]+)?)(s|ms)?$")