[WIP] Type system

docs/cppexpose type system.scite

@@ -0,0 +1,44 @@
+cppexpose Typen-System
+
+Im cppexpose Typen-System sollen folgende Grundkonzepte existieren:
+
+- Werte: atomare, vergleichbare Elemente aus einem Wertebereich
+- Wert-Container: Wrapper, welche einen Wert und dessen Typ haben
+- Fremdwert-Container: Wert-Container, welcher abstrahiert den Zugriff auf einen fremdverwalteten Wert bietet
+- Typen: Definition eines Wertebereich
+- MetaTyp: Der Typ eines jeden Typs
+-
+
+- Variant: Ein Werte-Container mit undefiniertem Typ und einem Wert
+- Property: Sicht auf einen extern verwalteten Werte-Container
+- Slot: Wert-Container mit Fähigkeiten zur Update-Verwaltung von Werten
+
+Und folgende Eigenschaften gelten:
+
+- Werte *sind* implizit durch POD Datentypen aus C++ dargestellt
+- Werte *haben* einen Typ, welcher implizit modelliert wird (wer mit Werten arbeitet, kennt ihren Typ, ansonsten muss er mit Wert-Containern arbeiten)
+- Notwendige Operationen auf Werten sind Gleichheit und Unterschiedlichkeit
+
+- Wert-Container *haben* einen Typ
+- Wert-Container *haben* einen Wert, der sich *ändern* kann
+- Wert-Container *sind* keine Werte oder Typen
+
+- Wert-Container können Zugriff auf Subelemente eines Werts geben (z.B. Array, Vector und Map Werte)
+
+- Fremdwert-Container *sind* Wert-Container
+
+- Typen *sind* Werte
+- Typen *haben* Eigenschaften, welche ihren Wertebereich beschreiben (Minimum, Maximum, Werteliste, ...)
+- Typen *haben* Annotationen, falls der Wertebereich unstrukturiert beschrieben werden muss (ist ein Variant)
+- Der Typ eines jeden Typs ist der Meta-Typ
+- Der Typ von einem Meta-Typ ist der Meta-Typ
+- Wenn Wert-Container einen Typ als Wert halten sollen, müssen sie den Typ eines Typs *haben* (z.B. Meta-Typ)
+
+- Der Meta-Typ ist der Typ mit dem Wertebereich aller Typen (inklusive sich selbst?)
+
+- Variants *sind* Werte, aber keine Werte-Container oder Typen
+- Variants *haben* einen aktuellen Werte-Typ und einen aktuellen Wert (kann evtl. durch Werte-Container abgedeckt sein)
+- Variants *haben* den Typ Variant-Typ
+
+Evtl. zu bedenken:
+- Man kann Typen erstellen, welche als Wertebereich Typen haben (quasi Submengen von Meta-Typ)

source/cppexpose/CMakeLists.txt

@@ -69,67 +69,86 @@ set(headers
     ${include_path}/signal/Signal.h
     ${include_path}/signal/Signal.inl
 
-    ${include_path}/typed/TypeInterface.h
-    ${include_path}/typed/AbstractTyped.h
-    ${include_path}/typed/AbstractTyped.hh
-    ${include_path}/typed/AbstractTyped.inl
-    ${include_path}/typed/GetTyped.h
-    ${include_path}/typed/GetTyped.hh
-    ${include_path}/typed/Typed.h
-    ${include_path}/typed/Typed.hh
-    ${include_path}/typed/Typed.inl
-    ${include_path}/typed/TypedGeneric.h
-    ${include_path}/typed/TypedGeneric.hh
-    ${include_path}/typed/TypedGeneric.inl
-    ${include_path}/typed/TypedBool.h
-    ${include_path}/typed/TypedBool.hh
-    ${include_path}/typed/TypedBool.inl
-    ${include_path}/typed/TypedString.h
-    ${include_path}/typed/TypedString.hh
-    ${include_path}/typed/TypedString.inl
-    ${include_path}/typed/TypedNumber.h
-    ${include_path}/typed/TypedNumber.hh
-    ${include_path}/typed/TypedNumber.inl
-    ${include_path}/typed/TypedSignedIntegral.h
-    ${include_path}/typed/TypedSignedIntegral.hh
-    ${include_path}/typed/TypedSignedIntegral.inl
-    ${include_path}/typed/TypedUnsignedIntegral.h
-    ${include_path}/typed/TypedUnsignedIntegral.hh
-    ${include_path}/typed/TypedUnsignedIntegral.inl
-    ${include_path}/typed/TypedFloatingPoint.h
-    ${include_path}/typed/TypedFloatingPoint.hh
-    ${include_path}/typed/TypedFloatingPoint.inl
-    ${include_path}/typed/TypedEnum.h
-    ${include_path}/typed/TypedEnum.hh
-    ${include_path}/typed/TypedEnum.inl
-    ${include_path}/typed/TypedArray.h
-    ${include_path}/typed/TypedArray.hh
-    ${include_path}/typed/TypedArray.inl
-    ${include_path}/typed/TypedVariant.h
-    ${include_path}/typed/TypedVariant.hh
-    ${include_path}/typed/TypedVariant.inl
-    ${include_path}/typed/TypedFilePath.h
-    ${include_path}/typed/TypedFilePath.hh
-    ${include_path}/typed/TypedFilePath.inl
-    ${include_path}/typed/DirectValue.h
-    ${include_path}/typed/DirectValue.hh
-    ${include_path}/typed/DirectValue.inl
-    ${include_path}/typed/DirectValueSingle.h
-    ${include_path}/typed/DirectValueSingle.hh
-    ${include_path}/typed/DirectValueSingle.inl
-    ${include_path}/typed/DirectValueArray.h
-    ${include_path}/typed/DirectValueArray.hh
-    ${include_path}/typed/DirectValueArray.inl
-    ${include_path}/typed/StoredValue.h
-    ${include_path}/typed/StoredValue.hh
-    ${include_path}/typed/StoredValue.inl
-    ${include_path}/typed/StoredValueSingle.h
-    ${include_path}/typed/StoredValueSingle.hh
-    ${include_path}/typed/StoredValueSingle.inl
-    ${include_path}/typed/StoredValueArray.h
-    ${include_path}/typed/StoredValueArray.hh
-    ${include_path}/typed/StoredValueArray.inl
-    ${include_path}/typed/typed_includes.inl
+    ${include_path}/type/AbstractBaseType.h
+    ${include_path}/type/AbstractBaseType.hh
+    ${include_path}/type/AbstractTyped.h
+    ${include_path}/type/AbstractTyped.hh
+    ${include_path}/type/AbstractTyped.inl
+    ${include_path}/type/BaseType.h
+    ${include_path}/type/BaseType.hh
+    ${include_path}/type/BaseType.inl
+    ${include_path}/type/BaseTypeImpl.h
+    ${include_path}/type/BaseTypeImpl.hh
+    ${include_path}/type/BaseTypeImpl.inl
+    ${include_path}/type/BaseTypeImplArray.h
+    ${include_path}/type/BaseTypeImplArray.hh
+    ${include_path}/type/BaseTypeImplArray.inl
+    ${include_path}/type/BaseTypeImplMap.h
+    ${include_path}/type/BaseTypeImplMap.hh
+    ${include_path}/type/BaseTypeImplMap.inl
+    ${include_path}/type/BaseTypeImplBool.h
+    ${include_path}/type/BaseTypeImplBool.hh
+    ${include_path}/type/BaseTypeImplBool.inl
+    ${include_path}/type/BaseTypeImplEnum.h
+    ${include_path}/type/BaseTypeImplEnum.hh
+    ${include_path}/type/BaseTypeImplEnum.inl
+    ${include_path}/type/BaseTypeImplFloatingPoint.h
+    ${include_path}/type/BaseTypeImplFloatingPoint.hh
+    ${include_path}/type/BaseTypeImplFloatingPoint.inl
+    ${include_path}/type/BaseTypeImplGeneric.h
+    ${include_path}/type/BaseTypeImplGeneric.hh
+    ${include_path}/type/BaseTypeImplGeneric.inl
+    ${include_path}/type/BaseTypeImplNumber.h
+    ${include_path}/type/BaseTypeImplNumber.hh
+    ${include_path}/type/BaseTypeImplNumber.inl
+    ${include_path}/type/BaseTypeImplPointer.h
+    ${include_path}/type/BaseTypeImplPointer.hh
+    ${include_path}/type/BaseTypeImplPointer.inl
+    ${include_path}/type/BaseTypeImplSignedIntegral.h
+    ${include_path}/type/BaseTypeImplSignedIntegral.hh
+    ${include_path}/type/BaseTypeImplSignedIntegral.inl
+    ${include_path}/type/BaseTypeImplString.h
+    ${include_path}/type/BaseTypeImplString.hh
+    ${include_path}/type/BaseTypeImplString.inl
+    ${include_path}/type/BaseTypeImplUnsignedIntegral.h
+    ${include_path}/type/BaseTypeImplUnsignedIntegral.hh
+    ${include_path}/type/BaseTypeImplUnsignedIntegral.inl
+    ${include_path}/type/BaseTypeImplVector.h
+    ${include_path}/type/BaseTypeImplVector.hh
+    ${include_path}/type/BaseTypeImplVector.inl
+    ${include_path}/type/Converter.h
+    ${include_path}/type/Converter.hh
+    ${include_path}/type/Converter.inl
+    ${include_path}/type/ConcreteType.h
+    ${include_path}/type/ConcreteType.hh
+    ${include_path}/type/ConcreteType.inl
+    ${include_path}/type/EnumValues.h
+    ${include_path}/type/EnumValues.hh
+    ${include_path}/type/EnumValues.inl
+    ${include_path}/type/GetType.h
+    ${include_path}/type/GetType.hh
+    ${include_path}/type/MetaType.h
+    ${include_path}/type/MetaType.hh
+    ${include_path}/type/NullType.h
+    ${include_path}/type/NullType.hh
+    ${include_path}/type/ObjectType.h
+    ${include_path}/type/ObjectType.hh
+    ${include_path}/type/Type.h
+    ${include_path}/type/Type.hh
+    ${include_path}/type/type_system.h
+
+    ${include_path}/value/AbstractValueContainer.h
+    ${include_path}/value/AbstractValueContainer.hh
+    ${include_path}/value/AbstractValueContainer.inl
+    ${include_path}/value/ValueContainer.h
+    ${include_path}/value/ValueContainer.hh
+    ${include_path}/value/ValueContainer.inl
+    ${include_path}/value/ExternalValue.h
+    ${include_path}/value/ExternalValue.hh
+    ${include_path}/value/ExternalValue.inl
+    ${include_path}/value/InternalValue.h
+    ${include_path}/value/InternalValue.hh
+    ${include_path}/value/InternalValue.inl
 
     ${include_path}/function/Function.h
     ${include_path}/function/AbstractFunction.h
@@ -140,23 +159,25 @@ set(headers
     ${include_path}/function/ConstMemberFunction.h
     ${include_path}/function/ConstMemberFunction.inl
 
-    ${include_path}/variant/Variant.h
-    ${include_path}/variant/Variant.hh
-    ${include_path}/variant/Variant.inl
-
     ${include_path}/reflection/AbstractProperty.h
-    ${include_path}/reflection/AbstractProperty.inl
+    ${include_path}/reflection/AbstractProperty.hh
     ${include_path}/reflection/Object.h
+    ${include_path}/reflection/Object.hh
     ${include_path}/reflection/Object.inl
     ${include_path}/reflection/Property.h
+    ${include_path}/reflection/Property.hh
     ${include_path}/reflection/Property.inl
-    ${include_path}/reflection/DynamicProperty.h
-    ${include_path}/reflection/DynamicProperty.inl
     ${include_path}/reflection/Method.h
+    ${include_path}/reflection/Variant.h
+    ${include_path}/reflection/Variant.hh
+    ${include_path}/reflection/Variant.inl
+    ${include_path}/reflection/variant_helpers.h
+    ${include_path}/reflection/variant_helpers.hh
+    ${include_path}/reflection/variant_helpers.inl
 
     ${include_path}/scripting/ScriptContext.h
     ${include_path}/scripting/AbstractScriptBackend.h
-    ${include_path}/scripting/example/TreeNode.h
+#    ${include_path}/scripting/example/TreeNode.h
 
     ${include_path}/plugin/ComponentManager.h
     ${include_path}/plugin/ComponentManager.inl
@@ -169,7 +190,7 @@ set(headers
     ${include_path}/plugin/Component.h
     ${include_path}/plugin/Component.inl
     ${include_path}/plugin/PluginLibrary.h
-    ${include_path}/plugin/Example.h
+#    ${include_path}/plugin/Example.h
 )
 
 set(sources
@@ -183,22 +204,28 @@ set(sources
     ${source_path}/signal/Connection.cpp
     ${source_path}/signal/ScopedConnection.cpp
 
-    ${source_path}/typed/TypeInterface.cpp
-    ${source_path}/typed/AbstractTyped.cpp
+    ${source_path}/type/AbstractBaseType.cpp
+    ${source_path}/type/AbstractTyped.cpp
+    ${source_path}/type/Converter.cpp
+    ${source_path}/type/MetaType.cpp
+    ${source_path}/type/NullType.cpp
+    ${source_path}/type/ObjectType.cpp
+    ${source_path}/type/Type.cpp
+
+    ${source_path}/value/AbstractValueContainer.cpp
 
     ${source_path}/function/Function.cpp
     ${source_path}/function/AbstractFunction.cpp
 
-    ${source_path}/variant/Variant.cpp
-
     ${source_path}/reflection/AbstractProperty.cpp
     ${source_path}/reflection/Object.cpp
     ${source_path}/reflection/Method.cpp
+    ${source_path}/reflection/Variant.cpp
 
     ${source_path}/scripting/duktape-1.4.0/duktape.c
     ${source_path}/scripting/duktape-1.4.0/duktape.h
     ${source_path}/scripting/duktape-1.4.0/duk_config.h
-    ${source_path}/scripting/example/TreeNode.cpp
+#    ${source_path}/scripting/example/TreeNode.cpp
     ${source_path}/scripting/ScriptContext.cpp
     ${source_path}/scripting/AbstractScriptBackend.cpp
     ${source_path}/scripting/DuktapeScriptBackend.cpp

source/cppexpose/include/cppexpose/base/Tokenizer.h

@@ -5,7 +5,7 @@
 #include <string>
 #include <vector>
 
-#include <cppexpose/variant/Variant.h>
+#include <cppexpose/reflection/Variant.h>
 
 
 namespace cppexpose