From 10ca25f6b01d6ccaa3f4c0f02bdb746d11514464 Mon Sep 17 00:00:00 2001 From: blueloveTH Date: Sat, 6 Apr 2024 17:00:50 +0800 Subject: [PATCH] add `enum` module --- docs/modules/enum.md | 24 ++++++++++++++++++++++++ include/pocketpy/_generated.h | 1 + include/pocketpy/modules.h | 1 + include/pocketpy/vm.h | 3 +++ python/_enum.py | 11 +++++++++++ src/ceval.cpp | 6 ++++++ src/modules.cpp | 19 +++++++++++++++++++ src/pocketpy.cpp | 1 + tests/85_enum.py | 28 ++++++++++++++++++++++++++++ 9 files changed, 94 insertions(+) create mode 100644 docs/modules/enum.md create mode 100644 python/_enum.py create mode 100644 tests/85_enum.py diff --git a/docs/modules/enum.md b/docs/modules/enum.md new file mode 100644 index 00000000..646bb179 --- /dev/null +++ b/docs/modules/enum.md @@ -0,0 +1,24 @@ +--- +icon: package +label: enum +--- + +### `enum.Enum` + +Base class for creating enumerated constants. + +Example: + +```python +from enum import Enum + +class Color(Enum): + RED = 1 + GREEN = 2 + BLUE = 3 + +print(Color.RED) # Color.RED +print(Color.RED.name) # 'RED' +print(Color.RED.value) # 1 +``` + diff --git a/include/pocketpy/_generated.h b/include/pocketpy/_generated.h index d1e0dc9e..fd9aec1c 100644 --- a/include/pocketpy/_generated.h +++ b/include/pocketpy/_generated.h @@ -2,6 +2,7 @@ // generated by prebuild.py namespace pkpy{ + inline const char kPythonLibs__enum[] = {99,108,97,115,115,32,69,110,117,109,58,10,32,32,32,32,100,101,102,32,95,95,105,110,105,116,95,95,40,115,101,108,102,44,32,110,97,109,101,44,32,118,97,108,117,101,41,58,10,32,32,32,32,32,32,32,32,115,101,108,102,46,110,97,109,101,32,61,32,110,97,109,101,10,32,32,32,32,32,32,32,32,115,101,108,102,46,118,97,108,117,101,32,61,32,118,97,108,117,101,10,10,32,32,32,32,100,101,102,32,95,95,115,116,114,95,95,40,115,101,108,102,41,58,10,32,32,32,32,32,32,32,32,114,101,116,117,114,110,32,102,39,123,116,121,112,101,40,115,101,108,102,41,46,95,95,110,97,109,101,95,95,125,46,123,115,101,108,102,46,110,97,109,101,125,39,10,32,32,32,32,10,32,32,32,32,100,101,102,32,95,95,114,101,112,114,95,95,40,115,101,108,102,41,58,10,32,32,32,32,32,32,32,32,114,101,116,117,114,110,32,102,39,60,123,115,116,114,40,115,101,108,102,41,125,58,32,123,115,101,108,102,46,118,97,108,117,101,33,114,125,62,39,10,32,32,32,32,10,0}; inline const char kPythonLibs__long[] = {35,32,97,102,116,101,114,32,118,49,46,50,46,50,44,32,105,110,116,32,105,115,32,97,108,119,97,121,115,32,54,52,45,98,105,116,10,80,121,76,111,110,103,95,83,72,73,70,84,32,61,32,54,48,47,47,50,32,45,32,49,10,10,80,121,76,111,110,103,95,66,65,83,69,32,61,32,50,32,42,42,32,80,121,76,111,110,103,95,83,72,73,70,84,10,80,121,76,111,110,103,95,77,65,83,75,32,61,32,80,121,76,111,110,103,95,66,65,83,69,32,45,32,49,10,80,121,76,111,110,103,95,68,69,67,73,77,65,76,95,83,72,73,70,84,32,61,32,52,10,80,121,76,111,110,103,95,68,69,67,73,77,65,76,95,66,65,83,69,32,61,32,49,48,32,42,42,32,80,121,76,111,110,103,95,68,69,67,73,77,65,76,95,83,72,73,70,84,10,10,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,10,10,100,101,102,32,117,108,111,110,103,95,102,114,111,109,105,110,116,40,120,58,32,105,110,116,41,58,10,32,32,32,32,35,32,114,101,116,117,114,110,32,97,32,108,105,115,116,32,111,102,32,100,105,103,105,116,115,32,97,110,100,32,115,105,103,110,10,32,32,32,32,105,102,32,120,32,61,61,32,48,58,32,114,101,116,117,114,110,32,91,48,93,44,32,49,10,32,32,32,32,115,105,103,110,32,61,32,49,32,105,102,32,120,32,62,32,48,32,101,108,115,101,32,45,49,10,32,32,32,32,105,102,32,115,105,103,110,32,60,32,48,58,32,120,32,61,32,45,120,10,32,32,32,32,114,101,115,32,61,32,91,93,10,32,32,32,32,119,104,105,108,101,32,120,58,10,32,32,32,32,32,32,32,32,114,101,115,46,97,112,112,101,110,100,40,120,32,38,32,80,121,76,111,110,103,95,77,65,83,75,41,10,32,32,32,32,32,32,32,32,120,32,62,62,61,32,80,121,76,111,110,103,95,83,72,73,70,84,10,32,32,32,32,114,101,116,117,114,110,32,114,101,115,44,32,115,105,103,110,10,10,100,101,102,32,117,108,111,110,103,95,99,109,112,40,97,58,32,108,105,115,116,44,32,98,58,32,108,105,115,116,41,32,45,62,32,105,110,116,58,10,32,32,32,32,35,32,114,101,116,117,114,110,32,49,32,105,102,32,97,62,98,44,32,45,49,32,105,102,32,97,60,98,44,32,48,32,105,102,32,97,61,61,98,10,32,32,32,32,105,102,32,108,101,110,40,97,41,32,62,32,108,101,110,40,98,41,58,32,114,101,116,117,114,110,32,49,10,32,32,32,32,105,102,32,108,101,110,40,97,41,32,60,32,108,101,110,40,98,41,58,32,114,101,116,117,114,110,32,45,49,10,32,32,32,32,102,111,114,32,105,32,105,110,32,114,97,110,103,101,40,108,101,110,40,97,41,45,49,44,32,45,49,44,32,45,49,41,58,10,32,32,32,32,32,32,32,32,105,102,32,97,91,105,93,32,62,32,98,91,105,93,58,32,114,101,116,117,114,110,32,49,10,32,32,32,32,32,32,32,32,105,102,32,97,91,105,93,32,60,32,98,91,105,93,58,32,114,101,116,117,114,110,32,45,49,10,32,32,32,32,114,101,116,117,114,110,32,48,10,10,100,101,102,32,117,108,111,110,103,95,112,97,100,95,40,97,58,32,108,105,115,116,44,32,115,105,122,101,58,32,105,110,116,41,58,10,32,32,32,32,35,32,112,97,100,32,108,101,97,100,105,110,103,32,122,101,114,111,115,32,116,111,32,104,97,118,101,32,96,115,105,122,101,96,32,100,105,103,105,116,115,10,32,32,32,32,100,101,108,116,97,32,61,32,115,105,122,101,32,45,32,108,101,110,40,97,41,10,32,32,32,32,105,102,32,100,101,108,116,97,32,62,32,48,58,10,32,32,32,32,32,32,32,32,97,46,101,120,116,101,110,100,40,91,48,93,32,42,32,100,101,108,116,97,41,10,10,100,101,102,32,117,108,111,110,103,95,117,110,112,97,100,95,40,97,58,32,108,105,115,116,41,58,10,32,32,32,32,35,32,114,101,109,111,118,101,32,108,101,97,100,105,110,103,32,122,101,114,111,115,10,32,32,32,32,119,104,105,108,101,32,108,101,110,40,97,41,62,49,32,97,110,100,32,97,91,45,49,93,61,61,48,58,10,32,32,32,32,32,32,32,32,97,46,112,111,112,40,41,10,10,100,101,102,32,117,108,111,110,103,95,97,100,100,40,97,58,32,108,105,115,116,44,32,98,58,32,108,105,115,116,41,32,45,62,32,108,105,115,116,58,10,32,32,32,32,114,101,115,32,61,32,91,48,93,32,42,32,109,97,120,40,108,101,110,40,97,41,44,32,108,101,110,40,98,41,41,10,32,32,32,32,117,108,111,110,103,95,112,97,100,95,40,97,44,32,108,101,110,40,114,101,115,41,41,10,32,32,32,32,117,108,111,110,103,95,112,97,100,95,40,98,44,32,108,101,110,40,114,101,115,41,41,10,32,32,32,32,99,97,114,114,121,32,61,32,48,10,32,32,32,32,102,111,114,32,105,32,105,110,32,114,97,110,103,101,40,108,101,110,40,114,101,115,41,41,58,10,32,32,32,32,32,32,32,32,99,97,114,114,121,32,43,61,32,97,91,105,93,32,43,32,98,91,105,93,10,32,32,32,32,32,32,32,32,114,101,115,91,105,93,32,61,32,99,97,114,114,121,32,38,32,80,121,76,111,110,103,95,77,65,83,75,10,32,32,32,32,32,32,32,32,99,97,114,114,121,32,62,62,61,32,80,121,76,111,110,103,95,83,72,73,70,84,10,32,32,32,32,105,102,32,99,97,114,114,121,32,62,32,48,58,10,32,32,32,32,32,32,32,32,114,101,115,46,97,112,112,101,110,100,40,99,97,114,114,121,41,10,32,32,32,32,114,101,116,117,114,110,32,114,101,115,10,10,100,101,102,32,117,108,111,110,103,95,105,110,99,95,40,97,58,32,108,105,115,116,41,58,10,32,32,32,32,97,91,48,93,32,43,61,32,49,10,32,32,32,32,102,111,114,32,105,32,105,110,32,114,97,110,103,101,40,108,101,110,40,97,41,41,58,10,32,32,32,32,32,32,32,32,105,102,32,97,91,105,93,32,60,32,80,121,76,111,110,103,95,66,65,83,69,58,32,98,114,101,97,107,10,32,32,32,32,32,32,32,32,97,91,105,93,32,45,61,32,80,121,76,111,110,103,95,66,65,83,69,10,32,32,32,32,32,32,32,32,105,102,32,105,43,49,32,61,61,32,108,101,110,40,97,41,58,10,32,32,32,32,32,32,32,32,32,32,32,32,97,46,97,112,112,101,110,100,40,49,41,10,32,32,32,32,32,32,32,32,101,108,115,101,58,10,32,32,32,32,32,32,32,32,32,32,32,32,97,91,105,43,49,93,32,43,61,32,49,10,32,32,32,32,10,10,100,101,102,32,117,108,111,110,103,95,115,117,98,40,97,58,32,108,105,115,116,44,32,98,58,32,108,105,115,116,41,32,45,62,32,108,105,115,116,58,10,32,32,32,32,35,32,97,32,62,61,32,98,10,32,32,32,32,114,101,115,32,61,32,91,93,10,32,32,32,32,98,111,114,114,111,119,32,61,32,48,10,32,32,32,32,102,111,114,32,105,32,105,110,32,114,97,110,103,101,40,108,101,110,40,98,41,41,58,10,32,32,32,32,32,32,32,32,116,109,112,32,61,32,97,91,105,93,32,45,32,98,91,105,93,32,45,32,98,111,114,114,111,119,10,32,32,32,32,32,32,32,32,105,102,32,116,109,112,32,60,32,48,58,10,32,32,32,32,32,32,32,32,32,32,32,32,116,109,112,32,43,61,32,80,121,76,111,110,103,95,66,65,83,69,10,32,32,32,32,32,32,32,32,32,32,32,32,98,111,114,114,111,119,32,61,32,49,10,32,32,32,32,32,32,32,32,101,108,115,101,58,10,32,32,32,32,32,32,32,32,32,32,32,32,98,111,114,114,111,119,32,61,32,48,10,32,32,32,32,32,32,32,32,114,101,115,46,97,112,112,101,110,100,40,116,109,112,41,10,32,32,32,32,102,111,114,32,105,32,105,110,32,114,97,110,103,101,40,108,101,110,40,98,41,44,32,108,101,110,40,97,41,41,58,10,32,32,32,32,32,32,32,32,116,109,112,32,61,32,97,91,105,93,32,45,32,98,111,114,114,111,119,10,32,32,32,32,32,32,32,32,105,102,32,116,109,112,32,60,32,48,58,10,32,32,32,32,32,32,32,32,32,32,32,32,116,109,112,32,43,61,32,80,121,76,111,110,103,95,66,65,83,69,10,32,32,32,32,32,32,32,32,32,32,32,32,98,111,114,114,111,119,32,61,32,49,10,32,32,32,32,32,32,32,32,101,108,115,101,58,10,32,32,32,32,32,32,32,32,32,32,32,32,98,111,114,114,111,119,32,61,32,48,10,32,32,32,32,32,32,32,32,114,101,115,46,97,112,112,101,110,100,40,116,109,112,41,10,32,32,32,32,117,108,111,110,103,95,117,110,112,97,100,95,40,114,101,115,41,10,32,32,32,32,114,101,116,117,114,110,32,114,101,115,10,10,100,101,102,32,117,108,111,110,103,95,100,105,118,109,111,100,105,40,97,58,32,108,105,115,116,44,32,98,58,32,105,110,116,41,58,10,32,32,32,32,35,32,98,32,62,32,48,10,32,32,32,32,114,101,115,32,61,32,91,93,10,32,32,32,32,99,97,114,114,121,32,61,32,48,10,32,32,32,32,102,111,114,32,105,32,105,110,32,114,97,110,103,101,40,108,101,110,40,97,41,45,49,44,32,45,49,44,32,45,49,41,58,10,32,32,32,32,32,32,32,32,99,97,114,114,121,32,60,60,61,32,80,121,76,111,110,103,95,83,72,73,70,84,10,32,32,32,32,32,32,32,32,99,97,114,114,121,32,43,61,32,97,91,105,93,10,32,32,32,32,32,32,32,32,114,101,115,46,97,112,112,101,110,100,40,99,97,114,114,121,32,47,47,32,98,41,10,32,32,32,32,32,32,32,32,99,97,114,114,121,32,37,61,32,98,10,32,32,32,32,114,101,115,46,114,101,118,101,114,115,101,40,41,10,32,32,32,32,117,108,111,110,103,95,117,110,112,97,100,95,40,114,101,115,41,10,32,32,32,32,114,101,116,117,114,110,32,114,101,115,44,32,99,97,114,114,121,10,10,10,100,101,102,32,117,108,111,110,103,95,100,105,118,109,111,100,40,97,58,32,108,105,115,116,44,32,98,58,32,108,105,115,116,41,58,10,10,32,32,32,32,105,102,32,117,108,111,110,103,95,99,109,112,40,97,44,32,98,41,32,60,32,48,58,10,32,32,32,32,32,32,32,32,114,101,116,117,114,110,32,91,48,93,44,32,97,10,10,32,32,32,32,105,102,32,108,101,110,40,98,41,32,61,61,32,49,58,10,32,32,32,32,32,32,32,32,113,44,32,114,32,61,32,117,108,111,110,103,95,100,105,118,109,111,100,105,40,97,44,32,98,91,48,93,41,10,32,32,32,32,32,32,32,32,114,44,32,95,32,61,32,117,108,111,110,103,95,102,114,111,109,105,110,116,40,114,41,10,32,32,32,32,32,32,32,32,114,101,116,117,114,110,32,113,44,32,114,10,10,32,32,32,32,109,97,120,32,61,32,40,108,101,110,40,97,41,32,45,32,108,101,110,40,98,41,41,32,42,32,80,121,76,111,110,103,95,83,72,73,70,84,32,43,32,92,10,32,32,32,32,32,32,32,32,40,97,91,45,49,93,46,98,105,116,95,108,101,110,103,116,104,40,41,32,45,32,98,91,45,49,93,46,98,105,116,95,108,101,110,103,116,104,40,41,41,10,10,32,32,32,32,108,111,119,32,61,32,91,48,93,10,10,32,32,32,32,104,105,103,104,32,61,32,40,109,97,120,32,47,47,32,80,121,76,111,110,103,95,83,72,73,70,84,41,32,42,32,91,48,93,32,43,32,92,10,32,32,32,32,32,32,32,32,91,40,50,42,42,40,109,97,120,32,37,32,80,121,76,111,110,103,95,83,72,73,70,84,41,41,32,38,32,80,121,76,111,110,103,95,77,65,83,75,93,10,10,32,32,32,32,119,104,105,108,101,32,117,108,111,110,103,95,99,109,112,40,108,111,119,44,32,104,105,103,104,41,32,60,32,48,58,10,32,32,32,32,32,32,32,32,117,108,111,110,103,95,105,110,99,95,40,104,105,103,104,41,10,32,32,32,32,32,32,32,32,109,105,100,44,32,114,32,61,32,117,108,111,110,103,95,100,105,118,109,111,100,105,40,117,108,111,110,103,95,97,100,100,40,108,111,119,44,32,104,105,103,104,41,44,32,50,41,10,32,32,32,32,32,32,32,32,105,102,32,117,108,111,110,103,95,99,109,112,40,97,44,32,117,108,111,110,103,95,109,117,108,40,98,44,32,109,105,100,41,41,32,62,61,32,48,58,10,32,32,32,32,32,32,32,32,32,32,32,32,108,111,119,32,61,32,109,105,100,10,32,32,32,32,32,32,32,32,101,108,115,101,58,10,32,32,32,32,32,32,32,32,32,32,32,32,104,105,103,104,32,61,32,117,108,111,110,103,95,115,117,98,40,109,105,100,44,32,91,49,93,41,10,10,32,32,32,32,113,32,61,32,91,48,93,32,42,32,40,108,101,110,40,97,41,32,45,32,108,101,110,40,98,41,32,43,32,49,41,10,32,32,32,32,119,104,105,108,101,32,117,108,111,110,103,95,99,109,112,40,97,44,32,117,108,111,110,103,95,109,117,108,40,98,44,32,108,111,119,41,41,32,62,61,32,48,58,10,32,32,32,32,32,32,32,32,113,32,61,32,117,108,111,110,103,95,97,100,100,40,113,44,32,108,111,119,41,10,32,32,32,32,32,32,32,32,97,32,61,32,117,108,111,110,103,95,115,117,98,40,97,44,32,117,108,111,110,103,95,109,117,108,40,98,44,32,108,111,119,41,41,10,32,32,32,32,117,108,111,110,103,95,117,110,112,97,100,95,40,113,41,10,32,32,32,32,114,101,116,117,114,110,32,113,44,32,97,10,10,100,101,102,32,117,108,111,110,103,95,102,108,111,111,114,100,105,118,105,40,97,58,32,108,105,115,116,44,32,98,58,32,105,110,116,41,58,10,32,32,32,32,35,32,98,32,62,32,48,10,32,32,32,32,114,101,116,117,114,110,32,117,108,111,110,103,95,100,105,118,109,111,100,105,40,97,44,32,98,41,91,48,93,10,10,100,101,102,32,117,108,111,110,103,95,109,117,108,105,40,97,58,32,108,105,115,116,44,32,98,58,32,105,110,116,41,58,10,32,32,32,32,35,32,98,32,62,61,32,48,10,32,32,32,32,114,101,115,32,61,32,91,48,93,32,42,32,108,101,110,40,97,41,10,32,32,32,32,99,97,114,114,121,32,61,32,48,10,32,32,32,32,102,111,114,32,105,32,105,110,32,114,97,110,103,101,40,108,101,110,40,97,41,41,58,10,32,32,32,32,32,32,32,32,99,97,114,114,121,32,43,61,32,97,91,105,93,32,42,32,98,10,32,32,32,32,32,32,32,32,114,101,115,91,105,93,32,61,32,99,97,114,114,121,32,38,32,80,121,76,111,110,103,95,77,65,83,75,10,32,32,32,32,32,32,32,32,99,97,114,114,121,32,62,62,61,32,80,121,76,111,110,103,95,83,72,73,70,84,10,32,32,32,32,105,102,32,99,97,114,114,121,32,62,32,48,58,10,32,32,32,32,32,32,32,32,114,101,115,46,97,112,112,101,110,100,40,99,97,114,114,121,41,10,32,32,32,32,114,101,116,117,114,110,32,114,101,115,10,10,100,101,102,32,117,108,111,110,103,95,109,117,108,40,97,58,32,108,105,115,116,44,32,98,58,32,108,105,115,116,41,58,10,32,32,32,32,78,32,61,32,108,101,110,40,97,41,32,43,32,108,101,110,40,98,41,10,32,32,32,32,35,32,117,115,101,32,103,114,97,100,101,45,115,99,104,111,111,108,32,109,117,108,116,105,112,108,105,99,97,116,105,111,110,10,32,32,32,32,114,101,115,32,61,32,91,48,93,32,42,32,78,10,32,32,32,32,102,111,114,32,105,32,105,110,32,114,97,110,103,101,40,108,101,110,40,97,41,41,58,10,32,32,32,32,32,32,32,32,99,97,114,114,121,32,61,32,48,10,32,32,32,32,32,32,32,32,102,111,114,32,106,32,105,110,32,114,97,110,103,101,40,108,101,110,40,98,41,41,58,10,32,32,32,32,32,32,32,32,32,32,32,32,99,97,114,114,121,32,43,61,32,114,101,115,91,105,43,106,93,32,43,32,97,91,105,93,32,42,32,98,91,106,93,10,32,32,32,32,32,32,32,32,32,32,32,32,114,101,115,91,105,43,106,93,32,61,32,99,97,114,114,121,32,38,32,80,121,76,111,110,103,95,77,65,83,75,10,32,32,32,32,32,32,32,32,32,32,32,32,99,97,114,114,121,32,62,62,61,32,80,121,76,111,110,103,95,83,72,73,70,84,10,32,32,32,32,32,32,32,32,114,101,115,91,105,43,108,101,110,40,98,41,93,32,61,32,99,97,114,114,121,10,32,32,32,32,117,108,111,110,103,95,117,110,112,97,100,95,40,114,101,115,41,10,32,32,32,32,114,101,116,117,114,110,32,114,101,115,10,10,100,101,102,32,117,108,111,110,103,95,112,111,119,105,40,97,58,32,108,105,115,116,44,32,98,58,32,105,110,116,41,58,10,32,32,32,32,35,32,98,32,62,61,32,48,10,32,32,32,32,105,102,32,98,32,61,61,32,48,58,32,114,101,116,117,114,110,32,91,49,93,10,32,32,32,32,114,101,115,32,61,32,91,49,93,10,32,32,32,32,119,104,105,108,101,32,98,58,10,32,32,32,32,32,32,32,32,105,102,32,98,32,38,32,49,58,10,32,32,32,32,32,32,32,32,32,32,32,32,114,101,115,32,61,32,117,108,111,110,103,95,109,117,108,40,114,101,115,44,32,97,41,10,32,32,32,32,32,32,32,32,97,32,61,32,117,108,111,110,103,95,109,117,108,40,97,44,32,97,41,10,32,32,32,32,32,32,32,32,98,32,62,62,61,32,49,10,32,32,32,32,114,101,116,117,114,110,32,114,101,115,10,10,100,101,102,32,117,108,111,110,103,95,114,101,112,114,40,120,58,32,108,105,115,116,41,32,45,62,32,115,116,114,58,10,32,32,32,32,114,101,115,32,61,32,91,93,10,32,32,32,32,119,104,105,108,101,32,108,101,110,40,120,41,62,49,32,111,114,32,120,91,48,93,62,48,58,32,32,32,35,32,110,111,110,45,122,101,114,111,10,32,32,32,32,32,32,32,32,120,44,32,114,32,61,32,117,108,111,110,103,95,100,105,118,109,111,100,105,40,120,44,32,80,121,76,111,110,103,95,68,69,67,73,77,65,76,95,66,65,83,69,41,10,32,32,32,32,32,32,32,32,114,101,115,46,97,112,112,101,110,100,40,115,116,114,40,114,41,46,122,102,105,108,108,40,80,121,76,111,110,103,95,68,69,67,73,77,65,76,95,83,72,73,70,84,41,41,10,32,32,32,32,114,101,115,46,114,101,118,101,114,115,101,40,41,10,32,32,32,32,115,32,61,32,39,39,46,106,111,105,110,40,114,101,115,41,10,32,32,32,32,105,102,32,108,101,110,40,115,41,32,61,61,32,48,58,32,114,101,116,117,114,110,32,39,48,39,10,32,32,32,32,105,102,32,108,101,110,40,115,41,32,62,32,49,58,32,115,32,61,32,115,46,108,115,116,114,105,112,40,39,48,39,41,10,32,32,32,32,114,101,116,117,114,110,32,115,10,10,100,101,102,32,117,108,111,110,103,95,102,114,111,109,115,116,114,40,115,58,32,115,116,114,41,58,10,32,32,32,32,105,102,32,115,91,45,49,93,32,61,61,32,39,76,39,58,10,32,32,32,32,32,32,32,32,115,32,61,32,115,91,58,45,49,93,10,32,32,32,32,114,101,115,44,32,98,97,115,101,32,61,32,91,48,93,44,32,91,49,93,10,32,32,32,32,105,102,32,115,91,48,93,32,61,61,32,39,45,39,58,10,32,32,32,32,32,32,32,32,115,105,103,110,32,61,32,45,49,10,32,32,32,32,32,32,32,32,115,32,61,32,115,91,49,58,93,10,32,32,32,32,101,108,115,101,58,10,32,32,32,32,32,32,32,32,115,105,103,110,32,61,32,49,10,32,32,32,32,115,32,61,32,115,91,58,58,45,49,93,10,32,32,32,32,102,111,114,32,99,32,105,110,32,115,58,10,32,32,32,32,32,32,32,32,99,32,61,32,111,114,100,40,99,41,32,45,32,52,56,10,32,32,32,32,32,32,32,32,97,115,115,101,114,116,32,48,32,60,61,32,99,32,60,61,32,57,10,32,32,32,32,32,32,32,32,114,101,115,32,61,32,117,108,111,110,103,95,97,100,100,40,114,101,115,44,32,117,108,111,110,103,95,109,117,108,105,40,98,97,115,101,44,32,99,41,41,10,32,32,32,32,32,32,32,32,98,97,115,101,32,61,32,117,108,111,110,103,95,109,117,108,105,40,98,97,115,101,44,32,49,48,41,10,32,32,32,32,114,101,116,117,114,110,32,114,101,115,44,32,115,105,103,110,10,10,99,108,97,115,115,32,108,111,110,103,58,10,32,32,32,32,100,101,102,32,95,95,105,110,105,116,95,95,40,115,101,108,102,44,32,120,41,58,10,32,32,32,32,32,32,32,32,105,102,32,116,121,112,101,40,120,41,32,105,115,32,116,117,112,108,101,58,10,32,32,32,32,32,32,32,32,32,32,32,32,115,101,108,102,46,100,105,103,105,116,115,44,32,115,101,108,102,46,115,105,103,110,32,61,32,120,10,32,32,32,32,32,32,32,32,101,108,105,102,32,116,121,112,101,40,120,41,32,105,115,32,105,110,116,58,10,32,32,32,32,32,32,32,32,32,32,32,32,115,101,108,102,46,100,105,103,105,116,115,44,32,115,101,108,102,46,115,105,103,110,32,61,32,117,108,111,110,103,95,102,114,111,109,105,110,116,40,120,41,10,32,32,32,32,32,32,32,32,101,108,105,102,32,116,121,112,101,40,120,41,32,105,115,32,102,108,111,97,116,58,10,32,32,32,32,32,32,32,32,32,32,32,32,115,101,108,102,46,100,105,103,105,116,115,44,32,115,101,108,102,46,115,105,103,110,32,61,32,117,108,111,110,103,95,102,114,111,109,105,110,116,40,105,110,116,40,120,41,41,10,32,32,32,32,32,32,32,32,101,108,105,102,32,116,121,112,101,40,120,41,32,105,115,32,115,116,114,58,10,32,32,32,32,32,32,32,32,32,32,32,32,115,101,108,102,46,100,105,103,105,116,115,44,32,115,101,108,102,46,115,105,103,110,32,61,32,117,108,111,110,103,95,102,114,111,109,115,116,114,40,120,41,10,32,32,32,32,32,32,32,32,101,108,105,102,32,116,121,112,101,40,120,41,32,105,115,32,108,111,110,103,58,10,32,32,32,32,32,32,32,32,32,32,32,32,115,101,108,102,46,100,105,103,105,116,115,44,32,115,101,108,102,46,115,105,103,110,32,61,32,120,46,100,105,103,105,116,115,46,99,111,112,121,40,41,44,32,120,46,115,105,103,110,10,32,32,32,32,32,32,32,32,101,108,115,101,58,10,32,32,32,32,32,32,32,32,32,32,32,32,114,97,105,115,101,32,84,121,112,101,69,114,114,111,114,40,39,101,120,112,101,99,116,101,100,32,105,110,116,32,111,114,32,115,116,114,39,41,10,32,32,32,32,32,32,32,32,10,32,32,32,32,100,101,102,32,95,95,108,101,110,95,95,40,115,101,108,102,41,58,10,32,32,32,32,32,32,32,32,114,101,116,117,114,110,32,108,101,110,40,115,101,108,102,46,100,105,103,105,116,115,41,10,10,32,32,32,32,100,101,102,32,95,95,97,100,100,95,95,40,115,101,108,102,44,32,111,116,104,101,114,41,58,10,32,32,32,32,32,32,32,32,105,102,32,116,121,112,101,40,111,116,104,101,114,41,32,105,115,32,105,110,116,58,10,32,32,32,32,32,32,32,32,32,32,32,32,111,116,104,101,114,32,61,32,108,111,110,103,40,111,116,104,101,114,41,10,32,32,32,32,32,32,32,32,101,108,105,102,32,116,121,112,101,40,111,116,104,101,114,41,32,105,115,32,110,111,116,32,108,111,110,103,58,10,32,32,32,32,32,32,32,32,32,32,32,32,114,101,116,117,114,110,32,78,111,116,73,109,112,108,101,109,101,110,116,101,100,10,32,32,32,32,32,32,32,32,105,102,32,115,101,108,102,46,115,105,103,110,32,61,61,32,111,116,104,101,114,46,115,105,103,110,58,10,32,32,32,32,32,32,32,32,32,32,32,32,114,101,116,117,114,110,32,108,111,110,103,40,40,117,108,111,110,103,95,97,100,100,40,115,101,108,102,46,100,105,103,105,116,115,44,32,111,116,104,101,114,46,100,105,103,105,116,115,41,44,32,115,101,108,102,46,115,105,103,110,41,41,10,32,32,32,32,32,32,32,32,101,108,115,101,58,10,32,32,32,32,32,32,32,32,32,32,32,32,99,109,112,32,61,32,117,108,111,110,103,95,99,109,112,40,115,101,108,102,46,100,105,103,105,116,115,44,32,111,116,104,101,114,46,100,105,103,105,116,115,41,10,32,32,32,32,32,32,32,32,32,32,32,32,105,102,32,99,109,112,32,61,61,32,48,58,10,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,114,101,116,117,114,110,32,108,111,110,103,40,48,41,10,32,32,32,32,32,32,32,32,32,32,32,32,105,102,32,99,109,112,32,62,32,48,58,10,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,114,101,116,117,114,110,32,108,111,110,103,40,40,117,108,111,110,103,95,115,117,98,40,115,101,108,102,46,100,105,103,105,116,115,44,32,111,116,104,101,114,46,100,105,103,105,116,115,41,44,32,115,101,108,102,46,115,105,103,110,41,41,10,32,32,32,32,32,32,32,32,32,32,32,32,101,108,115,101,58,10,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,114,101,116,117,114,110,32,108,111,110,103,40,40,117,108,111,110,103,95,115,117,98,40,111,116,104,101,114,46,100,105,103,105,116,115,44,32,115,101,108,102,46,100,105,103,105,116,115,41,44,32,111,116,104,101,114,46,115,105,103,110,41,41,10,32,32,32,32,32,32,32,32,32,32,32,32,10,32,32,32,32,100,101,102,32,95,95,114,97,100,100,95,95,40,115,101,108,102,44,32,111,116,104,101,114,41,58,10,32,32,32,32,32,32,32,32,114,101,116,117,114,110,32,115,101,108,102,46,95,95,97,100,100,95,95,40,111,116,104,101,114,41,10,32,32,32,32,10,32,32,32,32,100,101,102,32,95,95,115,117,98,95,95,40,115,101,108,102,44,32,111,116,104,101,114,41,58,10,32,32,32,32,32,32,32,32,105,102,32,116,121,112,101,40,111,116,104,101,114,41,32,105,115,32,105,110,116,58,10,32,32,32,32,32,32,32,32,32,32,32,32,111,116,104,101,114,32,61,32,108,111,110,103,40,111,116,104,101,114,41,10,32,32,32,32,32,32,32,32,101,108,105,102,32,116,121,112,101,40,111,116,104,101,114,41,32,105,115,32,110,111,116,32,108,111,110,103,58,10,32,32,32,32,32,32,32,32,32,32,32,32,114,101,116,117,114,110,32,78,111,116,73,109,112,108,101,109,101,110,116,101,100,10,32,32,32,32,32,32,32,32,105,102,32,115,101,108,102,46,115,105,103,110,32,33,61,32,111,116,104,101,114,46,115,105,103,110,58,10,32,32,32,32,32,32,32,32,32,32,32,32,114,101,116,117,114,110,32,108,111,110,103,40,40,117,108,111,110,103,95,97,100,100,40,115,101,108,102,46,100,105,103,105,116,115,44,32,111,116,104,101,114,46,100,105,103,105,116,115,41,44,32,115,101,108,102,46,115,105,103,110,41,41,10,32,32,32,32,32,32,32,32,99,109,112,32,61,32,117,108,111,110,103,95,99,109,112,40,115,101,108,102,46,100,105,103,105,116,115,44,32,111,116,104,101,114,46,100,105,103,105,116,115,41,10,32,32,32,32,32,32,32,32,105,102,32,99,109,112,32,61,61,32,48,58,10,32,32,32,32,32,32,32,32,32,32,32,32,114,101,116,117,114,110,32,108,111,110,103,40,48,41,10,32,32,32,32,32,32,32,32,105,102,32,99,109,112,32,62,32,48,58,10,32,32,32,32,32,32,32,32,32,32,32,32,114,101,116,117,114,110,32,108,111,110,103,40,40,117,108,111,110,103,95,115,117,98,40,115,101,108,102,46,100,105,103,105,116,115,44,32,111,116,104,101,114,46,100,105,103,105,116,115,41,44,32,115,101,108,102,46,115,105,103,110,41,41,10,32,32,32,32,32,32,32,32,101,108,115,101,58,10,32,32,32,32,32,32,32,32,32,32,32,32,114,101,116,117,114,110,32,108,111,110,103,40,40,117,108,111,110,103,95,115,117,98,40,111,116,104,101,114,46,100,105,103,105,116,115,44,32,115,101,108,102,46,100,105,103,105,116,115,41,44,32,45,111,116,104,101,114,46,115,105,103,110,41,41,10,32,32,32,32,32,32,32,32,32,32,32,32,10,32,32,32,32,100,101,102,32,95,95,114,115,117,98,95,95,40,115,101,108,102,44,32,111,116,104,101,114,41,58,10,32,32,32,32,32,32,32,32,105,102,32,116,121,112,101,40,111,116,104,101,114,41,32,105,115,32,105,110,116,58,10,32,32,32,32,32,32,32,32,32,32,32,32,111,116,104,101,114,32,61,32,108,111,110,103,40,111,116,104,101,114,41,10,32,32,32,32,32,32,32,32,101,108,105,102,32,116,121,112,101,40,111,116,104,101,114,41,32,105,115,32,110,111,116,32,108,111,110,103,58,10,32,32,32,32,32,32,32,32,32,32,32,32,114,101,116,117,114,110,32,78,111,116,73,109,112,108,101,109,101,110,116,101,100,10,32,32,32,32,32,32,32,32,114,101,116,117,114,110,32,111,116,104,101,114,46,95,95,115,117,98,95,95,40,115,101,108,102,41,10,32,32,32,32,10,32,32,32,32,100,101,102,32,95,95,109,117,108,95,95,40,115,101,108,102,44,32,111,116,104,101,114,41,58,10,32,32,32,32,32,32,32,32,105,102,32,116,121,112,101,40,111,116,104,101,114,41,32,105,115,32,105,110,116,58,10,32,32,32,32,32,32,32,32,32,32,32,32,114,101,116,117,114,110,32,108,111,110,103,40,40,10,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,117,108,111,110,103,95,109,117,108,105,40,115,101,108,102,46,100,105,103,105,116,115,44,32,97,98,115,40,111,116,104,101,114,41,41,44,10,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,115,101,108,102,46,115,105,103,110,32,42,32,40,49,32,105,102,32,111,116,104,101,114,32,62,61,32,48,32,101,108,115,101,32,45,49,41,10,32,32,32,32,32,32,32,32,32,32,32,32,41,41,10,32,32,32,32,32,32,32,32,101,108,105,102,32,116,121,112,101,40,111,116,104,101,114,41,32,105,115,32,108,111,110,103,58,10,32,32,32,32,32,32,32,32,32,32,32,32,114,101,116,117,114,110,32,108,111,110,103,40,40,10,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,117,108,111,110,103,95,109,117,108,40,115,101,108,102,46,100,105,103,105,116,115,44,32,111,116,104,101,114,46,100,105,103,105,116,115,41,44,10,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,32,115,101,108,102,46,115,105,103,110,32,42,32,111,116,104,101,114,46,115,105,103,110,10,32,32,32,32,32,32,32,32,32,32,32,32,41,41,10,32,32,32,32,32,32,32,32,114,101,116,117,114,110,32,78,111,116,73,109,112,108,101,109,101,110,116,101,100,10,32,32,32,32,10,32,32,32,32,100,101,102,32,95,95,114,109,117,108,95,95,40,115,101,108,102,44,32,111,116,104,101,114,41,58,10,32,32,32,32,32,32,32,32,114,101,116,117,114,110,32,115,101,108,102,46,95,95,109,117,108,95,95,40,111,116,104,101,114,41,10,32,32,32,32,10,32,32,32,32,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,35,10,32,32,32,32,100,101,102,32,95,95,100,105,118,109,111,100,95,95,40,115,101,108,102,44,32,111,116,104,101,114,41,58,10,32,32,32,32,32,32,32,32,105,102,32,116,121,112,101,40,111,116,104,101,114,41,32,105,115,32,105,110,116,58,10,32,32,32,32,32,32,32,32,32,32,32,32,97,115,115,101,114,116,32,115,101,108,102,46,115,105,103,110,32,61,61,32,49,32,97,110,100,32,111,116,104,101,114,32,62,32,48,10,32,32,32,32,32,32,32,32,32,32,32,32,113,44,32,114,32,61,32,117,108,111,110,103,95,100,105,118,109,111,100,105,40,115,101,108,102,46,100,105,103,105,116,115,44,32,111,116,104,101,114,41,10,32,32,32,32,32,32,32,32,32,32,32,32,114,101,116,117,114,110,32,108,111,110,103,40,40,113,44,32,49,41,41,44,32,114,10,32,32,32,32,32,32,32,32,105,102,32,116,121,112,101,40,111,116,104,101,114,41,32,105,115,32,108,111,110,103,58,10,32,32,32,32,32,32,32,32,32,32,32,32,97,115,115,101,114,116,32,115,101,108,102,46,115,105,103,110,32,61,61,32,49,32,97,110,100,32,111,116,104,101,114,46,115,105,103,110,32,61,61,32,49,10,32,32,32,32,32,32,32,32,32,32,32,32,113,44,32,114,32,61,32,117,108,111,110,103,95,100,105,118,109,111,100,40,115,101,108,102,46,100,105,103,105,116,115,44,32,111,116,104,101,114,46,100,105,103,105,116,115,41,10,32,32,32,32,32,32,32,32,32,32,32,32,97,115,115,101,114,116,32,108,101,110,40,111,116,104,101,114,41,62,49,32,111,114,32,111,116,104,101,114,46,100,105,103,105,116,115,91,48,93,62,48,10,32,32,32,32,32,32,32,32,32,32,32,32,114,101,116,117,114,110,32,108,111,110,103,40,40,113,44,32,49,41,41,44,32,108,111,110,103,40,40,114,44,32,49,41,41,10,32,32,32,32,32,32,32,32,114,97,105,115,101,32,78,111,116,73,109,112,108,101,109,101,110,116,101,100,69,114,114,111,114,10,10,32,32,32,32,100,101,102,32,95,95,102,108,111,111,114,100,105,118,95,95,40,115,101,108,102,44,32,111,116,104,101,114,41,58,10,32,32,32,32,32,32,32,32,114,101,116,117,114,110,32,115,101,108,102,46,95,95,100,105,118,109,111,100,95,95,40,111,116,104,101,114,41,91,48,93,10,10,32,32,32,32,100,101,102,32,95,95,109,111,100,95,95,40,115,101,108,102,44,32,111,116,104,101,114,41,58,10,32,32,32,32,32,32,32,32,114,101,116,117,114,110,32,115,101,108,102,46,95,95,100,105,118,109,111,100,95,95,40,111,116,104,101,114,41,91,49,93,10,10,32,32,32,32,100,101,102,32,95,95,112,111,119,95,95,40,115,101,108,102,44,32,111,116,104,101,114,58,32,105,110,116,41,58,10,32,32,32,32,32,32,32,32,97,115,115,101,114,116,32,116,121,112,101,40,111,116,104,101,114,41,32,105,115,32,105,110,116,32,97,110,100,32,111,116,104,101,114,32,62,61,32,48,10,32,32,32,32,32,32,32,32,105,102,32,115,101,108,102,46,115,105,103,110,32,61,61,32,45,49,32,97,110,100,32,111,116,104,101,114,32,38,32,49,58,10,32,32,32,32,32,32,32,32,32,32,32,32,115,105,103,110,32,61,32,45,49,10,32,32,32,32,32,32,32,32,101,108,115,101,58,10,32,32,32,32,32,32,32,32,32,32,32,32,115,105,103,110,32,61,32,49,10,32,32,32,32,32,32,32,32,114,101,116,117,114,110,32,108,111,110,103,40,40,117,108,111,110,103,95,112,111,119,105,40,115,101,108,102,46,100,105,103,105,116,115,44,32,111,116,104,101,114,41,44,32,115,105,103,110,41,41,10,32,32,32,32,10,32,32,32,32,100,101,102,32,95,95,108,115,104,105,102,116,95,95,40,115,101,108,102,44,32,111,116,104,101,114,58,32,105,110,116,41,58,10,32,32,32,32,32,32,32,32,97,115,115,101,114,116,32,116,121,112,101,40,111,116,104,101,114,41,32,105,115,32,105,110,116,32,97,110,100,32,111,116,104,101,114,32,62,61,32,48,10,32,32,32,32,32,32,32,32,120,32,61,32,115,101,108,102,46,100,105,103,105,116,115,46,99,111,112,121,40,41,10,32,32,32,32,32,32,32,32,113,44,32,114,32,61,32,100,105,118,109,111,100,40,111,116,104,101,114,44,32,80,121,76,111,110,103,95,83,72,73,70,84,41,10,32,32,32,32,32,32,32,32,120,32,61,32,91,48,93,42,113,32,43,32,120,10,32,32,32,32,32,32,32,32,102,111,114,32,95,32,105,110,32,114,97,110,103,101,40,114,41,58,32,120,32,61,32,117,108,111,110,103,95,109,117,108,105,40,120,44,32,50,41,10,32,32,32,32,32,32,32,32,114,101,116,117,114,110,32,108,111,110,103,40,40,120,44,32,115,101,108,102,46,115,105,103,110,41,41,10,32,32,32,32,10,32,32,32,32,100,101,102,32,95,95,114,115,104,105,102,116,95,95,40,115,101,108,102,44,32,111,116,104,101,114,58,32,105,110,116,41,58,10,32,32,32,32,32,32,32,32,97,115,115,101,114,116,32,116,121,112,101,40,111,116,104,101,114,41,32,105,115,32,105,110,116,32,97,110,100,32,111,116,104,101,114,32,62,61,32,48,10,32,32,32,32,32,32,32,32,120,32,61,32,115,101,108,102,46,100,105,103,105,116,115,46,99,111,112,121,40,41,10,32,32,32,32,32,32,32,32,113,44,32,114,32,61,32,100,105,118,109,111,100,40,111,116,104,101,114,44,32,80,121,76,111,110,103,95,83,72,73,70,84,41,10,32,32,32,32,32,32,32,32,120,32,61,32,120,91,113,58,93,10,32,32,32,32,32,32,32,32,105,102,32,110,111,116,32,120,58,32,114,101,116,117,114,110,32,108,111,110,103,40,48,41,10,32,32,32,32,32,32,32,32,102,111,114,32,95,32,105,110,32,114,97,110,103,101,40,114,41,58,32,120,32,61,32,117,108,111,110,103,95,102,108,111,111,114,100,105,118,105,40,120,44,32,50,41,10,32,32,32,32,32,32,32,32,114,101,116,117,114,110,32,108,111,110,103,40,40,120,44,32,115,101,108,102,46,115,105,103,110,41,41,10,32,32,32,32,10,32,32,32,32,100,101,102,32,95,95,110,101,103,95,95,40,115,101,108,102,41,58,10,32,32,32,32,32,32,32,32,114,101,116,117,114,110,32,108,111,110,103,40,40,115,101,108,102,46,100,105,103,105,116,115,44,32,45,115,101,108,102,46,115,105,103,110,41,41,10,32,32,32,32,10,32,32,32,32,100,101,102,32,95,95,99,109,112,95,95,40,115,101,108,102,44,32,111,116,104,101,114,41,58,10,32,32,32,32,32,32,32,32,105,102,32,116,121,112,101,40,111,116,104,101,114,41,32,105,115,32,105,110,116,58,10,32,32,32,32,32,32,32,32,32,32,32,32,111,116,104,101,114,32,61,32,108,111,110,103,40,111,116,104,101,114,41,10,32,32,32,32,32,32,32,32,101,108,105,102,32,116,121,112,101,40,111,116,104,101,114,41,32,105,115,32,110,111,116,32,108,111,110,103,58,10,32,32,32,32,32,32,32,32,32,32,32,32,114,101,116,117,114,110,32,78,111,116,73,109,112,108,101,109,101,110,116,101,100,10,32,32,32,32,32,32,32,32,105,102,32,115,101,108,102,46,115,105,103,110,32,62,32,111,116,104,101,114,46,115,105,103,110,58,10,32,32,32,32,32,32,32,32,32,32,32,32,114,101,116,117,114,110,32,49,10,32,32,32,32,32,32,32,32,101,108,105,102,32,115,101,108,102,46,115,105,103,110,32,60,32,111,116,104,101,114,46,115,105,103,110,58,10,32,32,32,32,32,32,32,32,32,32,32,32,114,101,116,117,114,110,32,45,49,10,32,32,32,32,32,32,32,32,101,108,115,101,58,10,32,32,32,32,32,32,32,32,32,32,32,32,114,101,116,117,114,110,32,117,108,111,110,103,95,99,109,112,40,115,101,108,102,46,100,105,103,105,116,115,44,32,111,116,104,101,114,46,100,105,103,105,116,115,41,10,32,32,32,32,32,32,32,32,10,32,32,32,32,100,101,102,32,95,95,101,113,95,95,40,115,101,108,102,44,32,111,116,104,101,114,41,58,10,32,32,32,32,32,32,32,32,114,101,116,117,114,110,32,115,101,108,102,46,95,95,99,109,112,95,95,40,111,116,104,101,114,41,32,61,61,32,48,10,32,32,32,32,100,101,102,32,95,95,108,116,95,95,40,115,101,108,102,44,32,111,116,104,101,114,41,58,10,32,32,32,32,32,32,32,32,114,101,116,117,114,110,32,115,101,108,102,46,95,95,99,109,112,95,95,40,111,116,104,101,114,41,32,60,32,48,10,32,32,32,32,100,101,102,32,95,95,108,101,95,95,40,115,101,108,102,44,32,111,116,104,101,114,41,58,10,32,32,32,32,32,32,32,32,114,101,116,117,114,110,32,115,101,108,102,46,95,95,99,109,112,95,95,40,111,116,104,101,114,41,32,60,61,32,48,10,32,32,32,32,100,101,102,32,95,95,103,116,95,95,40,115,101,108,102,44,32,111,116,104,101,114,41,58,10,32,32,32,32,32,32,32,32,114,101,116,117,114,110,32,115,101,108,102,46,95,95,99,109,112,95,95,40,111,116,104,101,114,41,32,62,32,48,10,32,32,32,32,100,101,102,32,95,95,103,101,95,95,40,115,101,108,102,44,32,111,116,104,101,114,41,58,10,32,32,32,32,32,32,32,32,114,101,116,117,114,110,32,115,101,108,102,46,95,95,99,109,112,95,95,40,111,116,104,101,114,41,32,62,61,32,48,10,32,32,32,32,32,32,32,32,32,32,32,32,10,32,32,32,32,100,101,102,32,95,95,114,101,112,114,95,95,40,115,101,108,102,41,58,10,32,32,32,32,32,32,32,32,112,114,101,102,105,120,32,61,32,39,45,39,32,105,102,32,115,101,108,102,46,115,105,103,110,32,60,32,48,32,101,108,115,101,32,39,39,10,32,32,32,32,32,32,32,32,114,101,116,117,114,110,32,112,114,101,102,105,120,32,43,32,117,108,111,110,103,95,114,101,112,114,40,115,101,108,102,46,100,105,103,105,116,115,41,32,43,32,39,76,39,10,0}; inline const char kPythonLibs__set[] = {99,108,97,115,115,32,115,101,116,58,10,32,32,32,32,100,101,102,32,95,95,105,110,105,116,95,95,40,115,101,108,102,44,32,105,116,101,114,97,98,108,101,61,78,111,110,101,41,58,10,32,32,32,32,32,32,32,32,105,116,101,114,97,98,108,101,32,61,32,105,116,101,114,97,98,108,101,32,111,114,32,91,93,10,32,32,32,32,32,32,32,32,115,101,108,102,46,95,97,32,61,32,123,125,10,32,32,32,32,32,32,32,32,115,101,108,102,46,117,112,100,97,116,101,40,105,116,101,114,97,98,108,101,41,10,10,32,32,32,32,100,101,102,32,97,100,100,40,115,101,108,102,44,32,101,108,101,109,41,58,10,32,32,32,32,32,32,32,32,115,101,108,102,46,95,97,91,101,108,101,109,93,32,61,32,78,111,110,101,10,32,32,32,32,32,32,32,32,10,32,32,32,32,100,101,102,32,100,105,115,99,97,114,100,40,115,101,108,102,44,32,101,108,101,109,41,58,10,32,32,32,32,32,32,32,32,115,101,108,102,46,95,97,46,112,111,112,40,101,108,101,109,44,32,78,111,110,101,41,10,10,32,32,32,32,100,101,102,32,114,101,109,111,118,101,40,115,101,108,102,44,32,101,108,101,109,41,58,10,32,32,32,32,32,32,32,32,100,101,108,32,115,101,108,102,46,95,97,91,101,108,101,109,93,10,32,32,32,32,32,32,32,32,10,32,32,32,32,100,101,102,32,99,108,101,97,114,40,115,101,108,102,41,58,10,32,32,32,32,32,32,32,32,115,101,108,102,46,95,97,46,99,108,101,97,114,40,41,10,10,32,32,32,32,100,101,102,32,117,112,100,97,116,101,40,115,101,108,102,44,32,111,116,104,101,114,41,58,10,32,32,32,32,32,32,32,32,102,111,114,32,101,108,101,109,32,105,110,32,111,116,104,101,114,58,10,32,32,32,32,32,32,32,32,32,32,32,32,115,101,108,102,46,97,100,100,40,101,108,101,109,41,10,10,32,32,32,32,100,101,102,32,95,95,108,101,110,95,95,40,115,101,108,102,41,58,10,32,32,32,32,32,32,32,32,114,101,116,117,114,110,32,108,101,110,40,115,101,108,102,46,95,97,41,10,32,32,32,32,10,32,32,32,32,100,101,102,32,99,111,112,121,40,115,101,108,102,41,58,10,32,32,32,32,32,32,32,32,114,101,116,117,114,110,32,115,101,116,40,115,101,108,102,46,95,97,46,107,101,121,115,40,41,41,10,32,32,32,32,10,32,32,32,32,100,101,102,32,95,95,97,110,100,95,95,40,115,101,108,102,44,32,111,116,104,101,114,41,58,10,32,32,32,32,32,32,32,32,114,101,116,117,114,110,32,123,101,108,101,109,32,102,111,114,32,101,108,101,109,32,105,110,32,115,101,108,102,32,105,102,32,101,108,101,109,32,105,110,32,111,116,104,101,114,125,10,10,32,32,32,32,100,101,102,32,95,95,115,117,98,95,95,40,115,101,108,102,44,32,111,116,104,101,114,41,58,10,32,32,32,32,32,32,32,32,114,101,116,117,114,110,32,123,101,108,101,109,32,102,111,114,32,101,108,101,109,32,105,110,32,115,101,108,102,32,105,102,32,101,108,101,109,32,110,111,116,32,105,110,32,111,116,104,101,114,125,10,32,32,32,32,10,32,32,32,32,100,101,102,32,95,95,111,114,95,95,40,115,101,108,102,44,32,111,116,104,101,114,41,58,10,32,32,32,32,32,32,32,32,114,101,116,32,61,32,115,101,108,102,46,99,111,112,121,40,41,10,32,32,32,32,32,32,32,32,114,101,116,46,117,112,100,97,116,101,40,111,116,104,101,114,41,10,32,32,32,32,32,32,32,32,114,101,116,117,114,110,32,114,101,116,10,10,32,32,32,32,100,101,102,32,95,95,120,111,114,95,95,40,115,101,108,102,44,32,111,116,104,101,114,41,58,32,10,32,32,32,32,32,32,32,32,95,48,32,61,32,115,101,108,102,32,45,32,111,116,104,101,114,10,32,32,32,32,32,32,32,32,95,49,32,61,32,111,116,104,101,114,32,45,32,115,101,108,102,10,32,32,32,32,32,32,32,32,114,101,116,117,114,110,32,95,48,32,124,32,95,49,10,10,32,32,32,32,100,101,102,32,117,110,105,111,110,40,115,101,108,102,44,32,111,116,104,101,114,41,58,10,32,32,32,32,32,32,32,32,114,101,116,117,114,110,32,115,101,108,102,32,124,32,111,116,104,101,114,10,10,32,32,32,32,100,101,102,32,105,110,116,101,114,115,101,99,116,105,111,110,40,115,101,108,102,44,32,111,116,104,101,114,41,58,10,32,32,32,32,32,32,32,32,114,101,116,117,114,110,32,115,101,108,102,32,38,32,111,116,104,101,114,10,10,32,32,32,32,100,101,102,32,100,105,102,102,101,114,101,110,99,101,40,115,101,108,102,44,32,111,116,104,101,114,41,58,10,32,32,32,32,32,32,32,32,114,101,116,117,114,110,32,115,101,108,102,32,45,32,111,116,104,101,114,10,10,32,32,32,32,100,101,102,32,115,121,109,109,101,116,114,105,99,95,100,105,102,102,101,114,101,110,99,101,40,115,101,108,102,44,32,111,116,104,101,114,41,58,32,32,32,32,32,32,10,32,32,32,32,32,32,32,32,114,101,116,117,114,110,32,115,101,108,102,32,94,32,111,116,104,101,114,10,32,32,32,32,10,32,32,32,32,100,101,102,32,95,95,101,113,95,95,40,115,101,108,102,44,32,111,116,104,101,114,41,58,10,32,32,32,32,32,32,32,32,105,102,32,110,111,116,32,105,115,105,110,115,116,97,110,99,101,40,111,116,104,101,114,44,32,115,101,116,41,58,10,32,32,32,32,32,32,32,32,32,32,32,32,114,101,116,117,114,110,32,78,111,116,73,109,112,108,101,109,101,110,116,101,100,10,32,32,32,32,32,32,32,32,114,101,116,117,114,110,32,108,101,110,40,115,101,108,102,32,94,32,111,116,104,101,114,41,32,61,61,32,48,10,10,32,32,32,32,100,101,102,32,105,115,100,105,115,106,111,105,110,116,40,115,101,108,102,44,32,111,116,104,101,114,41,58,10,32,32,32,32,32,32,32,32,114,101,116,117,114,110,32,108,101,110,40,115,101,108,102,32,38,32,111,116,104,101,114,41,32,61,61,32,48,10,32,32,32,32,10,32,32,32,32,100,101,102,32,105,115,115,117,98,115,101,116,40,115,101,108,102,44,32,111,116,104,101,114,41,58,10,32,32,32,32,32,32,32,32,114,101,116,117,114,110,32,108,101,110,40,115,101,108,102,32,45,32,111,116,104,101,114,41,32,61,61,32,48,10,32,32,32,32,10,32,32,32,32,100,101,102,32,105,115,115,117,112,101,114,115,101,116,40,115,101,108,102,44,32,111,116,104,101,114,41,58,10,32,32,32,32,32,32,32,32,114,101,116,117,114,110,32,108,101,110,40,111,116,104,101,114,32,45,32,115,101,108,102,41,32,61,61,32,48,10,10,32,32,32,32,100,101,102,32,95,95,99,111,110,116,97,105,110,115,95,95,40,115,101,108,102,44,32,101,108,101,109,41,58,10,32,32,32,32,32,32,32,32,114,101,116,117,114,110,32,101,108,101,109,32,105,110,32,115,101,108,102,46,95,97,10,32,32,32,32,10,32,32,32,32,100,101,102,32,95,95,114,101,112,114,95,95,40,115,101,108,102,41,58,10,32,32,32,32,32,32,32,32,105,102,32,108,101,110,40,115,101,108,102,41,32,61,61,32,48,58,10,32,32,32,32,32,32,32,32,32,32,32,32,114,101,116,117,114,110,32,39,115,101,116,40,41,39,10,32,32,32,32,32,32,32,32,114,101,116,117,114,110,32,39,123,39,43,32,39,44,32,39,46,106,111,105,110,40,91,114,101,112,114,40,105,41,32,102,111,114,32,105,32,105,110,32,115,101,108,102,46,95,97,46,107,101,121,115,40,41,93,41,32,43,32,39,125,39,10,32,32,32,32,10,32,32,32,32,100,101,102,32,95,95,105,116,101,114,95,95,40,115,101,108,102,41,58,10,32,32,32,32,32,32,32,32,114,101,116,117,114,110,32,105,116,101,114,40,115,101,108,102,46,95,97,46,107,101,121,115,40,41,41,0}; inline const char kPythonLibs_bisect[] = {34,34,34,66,105,115,101,99,116,105,111,110,32,97,108,103,111,114,105,116,104,109,115,46,34,34,34,10,10,100,101,102,32,105,110,115,111,114,116,95,114,105,103,104,116,40,97,44,32,120,44,32,108,111,61,48,44,32,104,105,61,78,111,110,101,41,58,10,32,32,32,32,34,34,34,73,110,115,101,114,116,32,105,116,101,109,32,120,32,105,110,32,108,105,115,116,32,97,44,32,97,110,100,32,107,101,101,112,32,105,116,32,115,111,114,116,101,100,32,97,115,115,117,109,105,110,103,32,97,32,105,115,32,115,111,114,116,101,100,46,10,10,32,32,32,32,73,102,32,120,32,105,115,32,97,108,114,101,97,100,121,32,105,110,32,97,44,32,105,110,115,101,114,116,32,105,116,32,116,111,32,116,104,101,32,114,105,103,104,116,32,111,102,32,116,104,101,32,114,105,103,104,116,109,111,115,116,32,120,46,10,10,32,32,32,32,79,112,116,105,111,110,97,108,32,97,114,103,115,32,108,111,32,40,100,101,102,97,117,108,116,32,48,41,32,97,110,100,32,104,105,32,40,100,101,102,97,117,108,116,32,108,101,110,40,97,41,41,32,98,111,117,110,100,32,116,104,101,10,32,32,32,32,115,108,105,99,101,32,111,102,32,97,32,116,111,32,98,101,32,115,101,97,114,99,104,101,100,46,10,32,32,32,32,34,34,34,10,10,32,32,32,32,108,111,32,61,32,98,105,115,101,99,116,95,114,105,103,104,116,40,97,44,32,120,44,32,108,111,44,32,104,105,41,10,32,32,32,32,97,46,105,110,115,101,114,116,40,108,111,44,32,120,41,10,10,100,101,102,32,98,105,115,101,99,116,95,114,105,103,104,116,40,97,44,32,120,44,32,108,111,61,48,44,32,104,105,61,78,111,110,101,41,58,10,32,32,32,32,34,34,34,82,101,116,117,114,110,32,116,104,101,32,105,110,100,101,120,32,119,104,101,114,101,32,116,111,32,105,110,115,101,114,116,32,105,116,101,109,32,120,32,105,110,32,108,105,115,116,32,97,44,32,97,115,115,117,109,105,110,103,32,97,32,105,115,32,115,111,114,116,101,100,46,10,10,32,32,32,32,84,104,101,32,114,101,116,117,114,110,32,118,97,108,117,101,32,105,32,105,115,32,115,117,99,104,32,116,104,97,116,32,97,108,108,32,101,32,105,110,32,97,91,58,105,93,32,104,97,118,101,32,101,32,60,61,32,120,44,32,97,110,100,32,97,108,108,32,101,32,105,110,10,32,32,32,32,97,91,105,58,93,32,104,97,118,101,32,101,32,62,32,120,46,32,32,83,111,32,105,102,32,120,32,97,108,114,101,97,100,121,32,97,112,112,101,97,114,115,32,105,110,32,116,104,101,32,108,105,115,116,44,32,97,46,105,110,115,101,114,116,40,120,41,32,119,105,108,108,10,32,32,32,32,105,110,115,101,114,116,32,106,117,115,116,32,97,102,116,101,114,32,116,104,101,32,114,105,103,104,116,109,111,115,116,32,120,32,97,108,114,101,97,100,121,32,116,104,101,114,101,46,10,10,32,32,32,32,79,112,116,105,111,110,97,108,32,97,114,103,115,32,108,111,32,40,100,101,102,97,117,108,116,32,48,41,32,97,110,100,32,104,105,32,40,100,101,102,97,117,108,116,32,108,101,110,40,97,41,41,32,98,111,117,110,100,32,116,104,101,10,32,32,32,32,115,108,105,99,101,32,111,102,32,97,32,116,111,32,98,101,32,115,101,97,114,99,104,101,100,46,10,32,32,32,32,34,34,34,10,10,32,32,32,32,105,102,32,108,111,32,60,32,48,58,10,32,32,32,32,32,32,32,32,114,97,105,115,101,32,86,97,108,117,101,69,114,114,111,114,40,39,108,111,32,109,117,115,116,32,98,101,32,110,111,110,45,110,101,103,97,116,105,118,101,39,41,10,32,32,32,32,105,102,32,104,105,32,105,115,32,78,111,110,101,58,10,32,32,32,32,32,32,32,32,104,105,32,61,32,108,101,110,40,97,41,10,32,32,32,32,119,104,105,108,101,32,108,111,32,60,32,104,105,58,10,32,32,32,32,32,32,32,32,109,105,100,32,61,32,40,108,111,43,104,105,41,47,47,50,10,32,32,32,32,32,32,32,32,105,102,32,120,32,60,32,97,91,109,105,100,93,58,32,104,105,32,61,32,109,105,100,10,32,32,32,32,32,32,32,32,101,108,115,101,58,32,108,111,32,61,32,109,105,100,43,49,10,32,32,32,32,114,101,116,117,114,110,32,108,111,10,10,100,101,102,32,105,110,115,111,114,116,95,108,101,102,116,40,97,44,32,120,44,32,108,111,61,48,44,32,104,105,61,78,111,110,101,41,58,10,32,32,32,32,34,34,34,73,110,115,101,114,116,32,105,116,101,109,32,120,32,105,110,32,108,105,115,116,32,97,44,32,97,110,100,32,107,101,101,112,32,105,116,32,115,111,114,116,101,100,32,97,115,115,117,109,105,110,103,32,97,32,105,115,32,115,111,114,116,101,100,46,10,10,32,32,32,32,73,102,32,120,32,105,115,32,97,108,114,101,97,100,121,32,105,110,32,97,44,32,105,110,115,101,114,116,32,105,116,32,116,111,32,116,104,101,32,108,101,102,116,32,111,102,32,116,104,101,32,108,101,102,116,109,111,115,116,32,120,46,10,10,32,32,32,32,79,112,116,105,111,110,97,108,32,97,114,103,115,32,108,111,32,40,100,101,102,97,117,108,116,32,48,41,32,97,110,100,32,104,105,32,40,100,101,102,97,117,108,116,32,108,101,110,40,97,41,41,32,98,111,117,110,100,32,116,104,101,10,32,32,32,32,115,108,105,99,101,32,111,102,32,97,32,116,111,32,98,101,32,115,101,97,114,99,104,101,100,46,10,32,32,32,32,34,34,34,10,10,32,32,32,32,108,111,32,61,32,98,105,115,101,99,116,95,108,101,102,116,40,97,44,32,120,44,32,108,111,44,32,104,105,41,10,32,32,32,32,97,46,105,110,115,101,114,116,40,108,111,44,32,120,41,10,10,10,100,101,102,32,98,105,115,101,99,116,95,108,101,102,116,40,97,44,32,120,44,32,108,111,61,48,44,32,104,105,61,78,111,110,101,41,58,10,32,32,32,32,34,34,34,82,101,116,117,114,110,32,116,104,101,32,105,110,100,101,120,32,119,104,101,114,101,32,116,111,32,105,110,115,101,114,116,32,105,116,101,109,32,120,32,105,110,32,108,105,115,116,32,97,44,32,97,115,115,117,109,105,110,103,32,97,32,105,115,32,115,111,114,116,101,100,46,10,10,32,32,32,32,84,104,101,32,114,101,116,117,114,110,32,118,97,108,117,101,32,105,32,105,115,32,115,117,99,104,32,116,104,97,116,32,97,108,108,32,101,32,105,110,32,97,91,58,105,93,32,104,97,118,101,32,101,32,60,32,120,44,32,97,110,100,32,97,108,108,32,101,32,105,110,10,32,32,32,32,97,91,105,58,93,32,104,97,118,101,32,101,32,62,61,32,120,46,32,32,83,111,32,105,102,32,120,32,97,108,114,101,97,100,121,32,97,112,112,101,97,114,115,32,105,110,32,116,104,101,32,108,105,115,116,44,32,97,46,105,110,115,101,114,116,40,120,41,32,119,105,108,108,10,32,32,32,32,105,110,115,101,114,116,32,106,117,115,116,32,98,101,102,111,114,101,32,116,104,101,32,108,101,102,116,109,111,115,116,32,120,32,97,108,114,101,97,100,121,32,116,104,101,114,101,46,10,10,32,32,32,32,79,112,116,105,111,110,97,108,32,97,114,103,115,32,108,111,32,40,100,101,102,97,117,108,116,32,48,41,32,97,110,100,32,104,105,32,40,100,101,102,97,117,108,116,32,108,101,110,40,97,41,41,32,98,111,117,110,100,32,116,104,101,10,32,32,32,32,115,108,105,99,101,32,111,102,32,97,32,116,111,32,98,101,32,115,101,97,114,99,104,101,100,46,10,32,32,32,32,34,34,34,10,10,32,32,32,32,105,102,32,108,111,32,60,32,48,58,10,32,32,32,32,32,32,32,32,114,97,105,115,101,32,86,97,108,117,101,69,114,114,111,114,40,39,108,111,32,109,117,115,116,32,98,101,32,110,111,110,45,110,101,103,97,116,105,118,101,39,41,10,32,32,32,32,105,102,32,104,105,32,105,115,32,78,111,110,101,58,10,32,32,32,32,32,32,32,32,104,105,32,61,32,108,101,110,40,97,41,10,32,32,32,32,119,104,105,108,101,32,108,111,32,60,32,104,105,58,10,32,32,32,32,32,32,32,32,109,105,100,32,61,32,40,108,111,43,104,105,41,47,47,50,10,32,32,32,32,32,32,32,32,105,102,32,97,91,109,105,100,93,32,60,32,120,58,32,108,111,32,61,32,109,105,100,43,49,10,32,32,32,32,32,32,32,32,101,108,115,101,58,32,104,105,32,61,32,109,105,100,10,32,32,32,32,114,101,116,117,114,110,32,108,111,10,10,35,32,67,114,101,97,116,101,32,97,108,105,97,115,101,115,10,98,105,115,101,99,116,32,61,32,98,105,115,101,99,116,95,114,105,103,104,116,10,105,110,115,111,114,116,32,61,32,105,110,115,111,114,116,95,114,105,103,104,116,10,0}; diff --git a/include/pocketpy/modules.h b/include/pocketpy/modules.h index 7a7be649..155c5f5e 100644 --- a/include/pocketpy/modules.h +++ b/include/pocketpy/modules.h @@ -11,5 +11,6 @@ void add_module_traceback(VM* vm); void add_module_dis(VM* vm); void add_module_gc(VM* vm); void add_module_line_profiler(VM* vm); +void add_module_enum(VM* vm); } // namespace pkpy \ No newline at end of file diff --git a/include/pocketpy/vm.h b/include/pocketpy/vm.h index ac385630..e882e226 100644 --- a/include/pocketpy/vm.h +++ b/include/pocketpy/vm.h @@ -82,6 +82,9 @@ struct PyTypeInfo{ void (*m__setattr__)(VM* vm, PyObject*, StrName, PyObject*) = nullptr; PyObject* (*m__getattr__)(VM* vm, PyObject*, StrName) = nullptr; bool (*m__delattr__)(VM* vm, PyObject*, StrName) = nullptr; + + // backdoors + void (*on_end_subclass)(VM* vm, PyTypeInfo*) = nullptr; }; typedef void(*PrintFunc)(const char*, int); diff --git a/python/_enum.py b/python/_enum.py new file mode 100644 index 00000000..c8879770 --- /dev/null +++ b/python/_enum.py @@ -0,0 +1,11 @@ +class Enum: + def __init__(self, name, value): + self.name = name + self.value = value + + def __str__(self): + return f'{type(self).__name__}.{self.name}' + + def __repr__(self): + return f'<{str(self)}: {self.value!r}>' + diff --git a/src/ceval.cpp b/src/ceval.cpp index e559f779..6be22301 100644 --- a/src/ceval.cpp +++ b/src/ceval.cpp @@ -814,6 +814,12 @@ __NEXT_STEP:; PK_ASSERT(_curr_class != nullptr); StrName _name(byte.arg); frame->_module->attr().set(_name, _curr_class); + // call on_end_subclass + PyTypeInfo* ti = &_all_types[PK_OBJ_GET(Type, _curr_class)]; + if(ti->base != tp_object){ + PyTypeInfo* base_ti = &_all_types[ti->base]; + if(base_ti->on_end_subclass) base_ti->on_end_subclass(this, ti); + } _curr_class = nullptr; } DISPATCH(); TARGET(STORE_CLASS_ATTR){ diff --git a/src/modules.cpp b/src/modules.cpp index ef157a7d..a1bb445f 100644 --- a/src/modules.cpp +++ b/src/modules.cpp @@ -315,4 +315,23 @@ void add_module_line_profiler(VM *vm){ LineProfilerW::register_class(vm, mod); } + +void add_module_enum(VM* vm){ + PyObject* mod = vm->new_module("enum"); + CodeObject_ code = vm->compile(kPythonLibs__enum, "enum.py", EXEC_MODE); + vm->_exec(code, mod); + PyObject* Enum = mod->attr("Enum"); + vm->_all_types[PK_OBJ_GET(Type, Enum).index].on_end_subclass = \ + [](VM* vm, PyTypeInfo* new_ti){ + new_ti->subclass_enabled = false; // Enum class cannot be subclassed twice + NameDict& attr = new_ti->obj->attr(); + for(auto [k, v]: attr.items()){ + // wrap every attribute + std::string_view k_sv = k.sv(); + if(k_sv.empty() || k_sv[0] == '_') continue; + attr.set(k, vm->call(new_ti->obj, VAR(k_sv), v)); + } + }; +} + } // namespace pkpy \ No newline at end of file diff --git a/src/pocketpy.cpp b/src/pocketpy.cpp index 37603f5b..a950c008 100644 --- a/src/pocketpy.cpp +++ b/src/pocketpy.cpp @@ -1618,6 +1618,7 @@ void VM::post_init(){ add_module_collections(this); add_module_array2d(this); add_module_line_profiler(this); + add_module_enum(this); #ifdef PK_USE_CJSON add_module_cjson(this); diff --git a/tests/85_enum.py b/tests/85_enum.py new file mode 100644 index 00000000..4844c531 --- /dev/null +++ b/tests/85_enum.py @@ -0,0 +1,28 @@ +from enum import Enum + +class A(Enum): + a = 1 + b = '2' + c = None + +assert str(A.a) == 'A.a' +assert repr(A.a) == '' + +assert str(A.b) == 'A.b' +assert repr(A.b) == "" + +assert str(A.c) == 'A.c' +assert repr(A.c) == '' + +assert A.a == A.a +assert A.a != A.b +assert A.a != A.c + +assert A.a.name == 'a' +assert A.a.value == 1 + +assert A.b.name == 'b' +assert A.b.value == '2' + +assert A.c.name == 'c' +assert A.c.value is None