notes:type:absrel

2020-06-24T11:40:13+02:00

abs/rel Absolut und relativ verkörpern bei Dimensionshaltigen Datentypen wie int, double oder Point/Vector, Angle/AngleDelta die unterscheidung zugehöriger entsprechenden Relativtypen. Datentypen beschreiben erstmal absolute Informationen. Zieht man zwei Punkte voneinander ab, erhält man einen Vector.

notes:type:abstract

2016-03-04T12:45:54+02:00

abstract abstract verlangt von einem Identifier, dass Zugriffe zu diesem Identifier abgefangen werden können. mystruct contains value is abstract int; Der Zugriff auf Value kann in dieser Kompilier-Unit direkt auf das int schreiben und von dem int lesen. Extern muss allerdings eine Funktion mystruct

notes:type:configurable

2019-01-17T20:51:09+02:00

configurable Eine configurable-Methode hat keinen Zugriff auf irgendwelche eigenen Member, ggfs. auf Member der Basisklasse. Parameter sind möglich. configurable Methoden sind in der Basisklasse bereits definiert und können wie virtuelle Methoden vorbelegt sein. Sinn der Sache ist, diese Methoden im Konstruktor der Basisklasse rufen zu können, um spezielle Konfigurationsdetails bei der Konstruktion abrufen zu können.

notes:type:documentation

2023-09-12T10:50:29+02:00

documentation Fügt eine Dokumentation in den aktuellen Namensraum ein oder da, wo es angegeben ist. documentation(global) Bis /======== ist Dokumentation. Diese Seite heißt "global" und kann mit [[global]] verlinkt werden. /======== documentation(global#name) Diese Doku ist erreichbar mit [[global#name]] oder im Namensraum global unter [[#name]]

notes:type:element

2015-05-29T19:26:48+02:00

element Ein Element ist ein Datentyp, der einen Namen besitzt und eine Liste von Kindern, die entweder Strings oder weitere Elemente sein können. Zusätzlich enthalten ist eine Referenz auf das übergeordnete Element, sofern vorhanden. Attribute können zugewiesen werden. Per Default sind Attribute

notes:type:entail

2023-02-03T10:01:28+02:00

entail ...dient dazu, eine Klasse um Funktionalität nachträglich zu erweitern. Dazu bitte auch [url= Artikel[/url] über CRTP und Mixins lesen und überlegen, wie man entail templatisieren könnte, damit Funktionalität in wenigen Anweisungen vielen KLassen hinzugefügt werden kann.

notes:type:enum

2018-07-13T16:57:24+02:00

enums Um einfache Enums kurz zu halten, können Werte des Basistyps einfach zugewiesen werden. Digit enums int { One = 1; Two = 2; Three = 3; Four = 4; Five = 5; Six = 6; }; Enumklassen sind normale Klassen, die öffentliche konstante, statische Member haben:

notes:type:feature_doc

2022-07-21T15:30:10+02:00

feature Ein Feature gehört zur Dokumentation einer Klasse oder Funktion. Ein Feature beschreibt eine Eigenschaft der Klasse. Beispiel: Man möchte AVL und RedBlack-Bäume vergleichen. Um zu dokumentieren, dass sie eine Gemeinsamkeit haben, können beide Klassen mit

notes:type:identifier

2015-07-29T14:09:22+02:00

Identifier Identifier ist ein String, der zur Laufzeit ausgewertet werden kann. Er steht für ein Wort, dass kein Token ist, wie beispielsweise für einen Variablen-, Funktions- oder Methodennamen. Ein Identifier ist immer konstant und wird zur Compile-Zeit ausgewertet. Identifier können mit Identifiern und Stringkonstanten verbunden werden, es entsteht ein neuer Identifier.

notes:type:implements

2017-07-17T19:32:50+02:00

Implements Implements beschreibt eine Funktion, die ein Interface implementiert. Erbt also eine Basisklasse ein Interface, so ist die Basisklasse abstrakt. Von der abstrakten Basisklasse können nun mehrere Ableitungen gemacht werden. Alle müssen das Interface implementieren, die Implementierung kann sich aber bei mehreren Ableistungen wiederholen und in eine Implementierung ausgelagert werden.

notes:type:init

2015-05-29T19:26:48+02:00

Auto Auto würde ich von C++ gerne übernehmen, aber ich finde die Schreibweise zu lang. Auto an sich ist ein praktisches Feature, aber die halbautomatische Typisierung sollte einfacher gehen. Normalerweise sollte so typsicher initialisiert werden.

notes:type:io

2015-05-29T19:26:48+02:00

io Io ist quasi die Factory für Ein-Ausgabefunktionen. Point contains x, y is double; p is Point( 1., 2. ); file is io( "json://test.test" ); file << p; // schreibt "{ 1., 2. }" in die Datei. q is Point; file.rewind(); file >> q; // Lädt den Punkt wieder ein.

notes:type:logical

2015-05-29T19:26:48+02:00

logical ...ist ein Datentyp, der vergleichsweise mit einem bool statt zwei vier Status unterscheiden kann: * true * false * null * unknown/uninitialized Hauptgrund für diesen Datentyp ist die Information bei einem boolischen Wert, ob dieser mit

notes:type:mutable_inheritance

2020-04-16T23:26:38+02:00

mutable inheritance Variablen können mutable sein, wenn das Objekt konstant ist. Wenn man mehr über Ableitungen zusammenbauen will, stellt sich die Frage, ob ein Const-Objekt auch eine mutable Ableitung haben können sollte. Name is string; Age is u32; Person contains Name, Age var;

notes:type:persist

2021-01-25T23:29:53+02:00

persist Eine Konstante, die als const Referenz zurück gegeben wird, bleibt bestehen. Sie darf nicht variable konstruiert werden. static Dependency::Collection const EmptyDepCollection; Dependency::Collection const & getTargetFiles() const { BuildJob * job = getBuildJob(); if( !job ) return EmptyDepCollection; }

notes:type:persistant

2020-12-28T15:26:03+02:00

persistant Eine Variable, die als persistant gekenntzeichnet wird, wird beim Anlegen aus der angegebenen Quelle gelesen, vor dem Zerstören in die angegebene Quelle geschrieben. { a is int persistant( system.homedir.".mysoftware/config_a" ); // int hat ein Null-Element: 0 b is int persistant( system.homedir.".mysoftware/config_b", 4711 ); // b wird mit 4711 initialisiert, wenn nicht verfügbar a : 1; } // a und b werden auf die Festplatte geschrieben.

notes:type:profile

2019-02-08T14:41:28+02:00

Profile Ein Profil ist eine Möglichkeit, über Text einen eckige Grafik aufzubauen. Dies hat den Hintergedanken, sehr leicht in die Grafikprogrammierung einsteigen zu können. Dabei entspricht jedes Zeichen einem Unit. p = profile O---------------+ | | | +-----------+ | | | | +-------+ | | | | | | +---+ | | | | | | +-------+ | | | +---------------+



Hieraus ebenso:

p = profile
…



notes:type:property
2020-12-28T15:22:32+02:00
Property


a is int property( getInt; setInt );


erstellt eine int-Variable, die allerdings über die Funktionen getInt und setInt gelesen oder beschrieben wird.


int getInt( int & value ) : value;
int setInt( int & value, int & newValue ) : value = newValue;


notes:type:reflection
2015-05-29T19:26:48+02:00
Reflection

reflects ist eine Klasse/Operator, die aus einem anderen Datentyp erzeugt werden kann. 


r reflects int;


r reflektiert anschließend int. r kann den Datentyp beschreiben:


print r.sizeof(), "\n";
print r$, "\n";
print r.isPrimitiv(), "\n";

=>
4
int
true


notes:type:setup
2017-08-16T18:07:40+02:00
Achtung, das abstract hier kollidiert mit abstract und vielliecht sollte man es hier ändern.


GraphicObject contains                // enthält abstrakte Methoden, ergo nicht instanziierbar
{
  /* Dieses Objekt wird automatisch initialisiert */
    
  Name is         string : "Gunther";

  /* Dieses Objekt wird automatisch initialisiert, die Zuweisung ist aber überschreibbar */
    
  Type is virtual string : "unknown object";

  /* crude (unreif) erklärt, dass die Methode auch von unfertig kons…


notes:type:state
2016-07-15T18:01:44+02:00
state

State ist eine verifizierbare Behauptung und entspricht quasi einem Assert.
Im Gegensatz zu assert wird state allerdings als Garantie aufgefasst.


a is int[];
a += 1;
a += 2;

state a.size > 1;


Wir erklären hiermit, dass die Liste mehr als 1 Element besitzt ab der Stelle, in der das State-Element steht. Das ist zum einen eine Dokumentation, die im Debug-Modus verglichen werden kann und bemängelt werden kann, wenn sie nicht eingehalten wird, während sie im Release-Modus herausoptimiert …


notes:type:stringchecker
2025-09-12T21:24:55+02:00
Stringchecker

gefunden: 



Das lässt sich ggfs. vielleicht als Konstruktor definieren:


rgbstring is string
{
  construct( string="rgb\{{\int(0..255)},{\int(0..255)},{\int(0..255)}}" );
  construct( string="#{\int(0..255,hex)}{\int(0..255,hex)}{\int(0..255,hex)}" );  // Nur so formatierte Strings werden akzeptiert
};


notes:type:structofarrays
2016-06-02T12:09:52+02:00
Struct of Array

In der Spieleentwicklung wird häufige ein Struct Of Array benötigt statt eines Arrays von Strukturen.

Statt


struct Color { int r, int g, int b };
struct Color Data[10];


also


struct ColorArray10
{
  int r[10];
  int g[10];
  int b[10];
}


notes:type:subarrays
2015-05-29T19:26:48+02:00
subarrays

Ein Array-Objekt ist eine Referenz auf ein anderes Array-Objekt mit Längenangabe. Somit kann ein Bereich aus einem anderen Array übergeben werden.



func is code( par is int{} );  // automatisch ref, erhält also ein Array-Objekt

var is int{} = {1, 2, 3, 4, 5};
func( var{ 2..4 } ) );       // überträgt den Pointer var, den Pointer auf var[2] und 2 als Anzahl der Element, erhöht ggfs. den ref-Ptr von var und ruft die Funktion.


notes:type:teapot
2015-05-29T19:26:48+02:00
Teapot

Keine Ahnung, wozu dieser Datentyp gut sein soll muss, aber er muss rein. ^^

Idealerweise kann man irgendetwas sinnfreies damit machen und wenn es auch nur die Ausgabe mit $ ist. („Earl Grey“?)


notes:type:test
2015-05-29T19:26:48+02:00
Datentyp test

Test ist eigentlich kein Datentyp, sondern eine besondere Form von code, die nur für einen Testlauf kompiliert wird und ansonsten ignoriert wird.
Tests drüfen andere Tests aufrufen, daher dürfen sie wie code auch beliebige Argumente haben. test darf code aufrufen, code darf aber niemals tests aufrufen.
Tests, die keine Argumente haben, werden im Testlauf ausgeführt.


notes:type:type_templates
2022-08-04T16:47:21+02:00
type templates

ids sind strings, die Variablennamen oder Funktionsnamen beschreiben. Stringfunktionen (constexpr) werden zur compiletime ausgeführt.

Vector( v1 is id = x, v2 is id = y ) contains 
{ 
  v1, v2 is double;
  
  "get"+v1.FirstCharUpper() is method( return v1; }  // definiert Mathode getX()
  "get"+v2.FirstCharUpper() is method( return v2; }  // definiert Mathode getY()
};

Offsets is Vector( offset1, offset2 );

double x = Offsets.getOffset1()


notes:type:validate
2020-02-21T13:30:32+02:00
validate/guarantee

Mit validate möchte ich gerne Garantien beschreiben, die der Aufruf einer Funktion oder Methode garantieren muss.
Das Ziel sollte sein, dass ein Objekt unabhängig von den Funktionsaufrufen einen validen Status besitzt.

Beispiel 1: Funktion
Eine Funktion wird mit einem Array gerufen. Die Funktion arbeitet, wenn das Array null ist oder drei Elemente besitzt.

Genesys notes:type

notes:type:absrel

notes:type:abstract

notes:type:configurable

notes:type:documentation

notes:type:element

notes:type:entail

notes:type:enum

notes:type:feature_doc

notes:type:identifier

notes:type:implements

notes:type:init

notes:type:io

notes:type:logical

notes:type:mutable_inheritance

notes:type:persist

notes:type:persistant

notes:type:profile

notes:type:property

notes:type:reflection

notes:type:setup

notes:type:state

notes:type:stringchecker

notes:type:structofarrays

notes:type:subarrays

notes:type:teapot

notes:type:test

notes:type:type_templates

notes:type:validate