notes:func:adapter

2016-07-22T15:51:30+02:00

Adapter Ein Adapter ist ein Codestück, was vergleichbar mit einem Workflow ist, da er über zwei Wege bedient wird. Gewissermaßen ein Cast in zwei Richtungen Folgendes Problem: bool IndexPolygon::completeHullPolygons( const Array& faces, Array& halfEdges, Array>* nonUniques, Array

notes:func:assert

2020-02-26T13:50:58+02:00

assert / Contracts Entsprechend wie bei Java überlegen, dass assert einem if entspricht, was ggfs. ein „fail“ auslöst. func( par is int ptr ) { assert par != nullptr || [fail] ArgumentIsNull; // fail kann weggelassen werden // assert par != nullptr || throw ArgumentIsNullException; ... return; }

notes:func:autofunc

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

Auto-Func Das entspricht gewissermaßen schon einem Template und könnte auch den Weg darstellen, der zukünftig mit Templates gegangen werden könnte. Ziel dieser Seite ist allerdings lokal Anweisungen abzukürzen. Folgendes Problem: HBITMAP bmNew = reinterpret_cast< HBITMAP >( Dicad::Exports::imgGetBitmap( false /* small icons */, DkImg::Icon::New )); HBITMAP bmOpen = reinterpret_cast< HBITMAP >( Dicad::Exports::imgGetBitmap( false /* small icons */, DkImg::Icon::Op…

notes:func:caller

2022-07-14T18:58:11+02:00

caller caller ist vergleichbar mit this, beschreibt aber nicht das Objekt, dessen Methode gerufen wurde, sondern das Objekt, das diese Funktion rief. Caller kann also eine statische Funktion, aber auch eine Methode sein und wird - wie this - automatisch übergeben. Caller kann gewisse Eigenschaften besitzen, abgeleitete Objekte eignen sich also ebenso als Caller. Caller kann optional sein.

notes:func:comfort

2021-09-17T11:12:57+02:00

comforts comforts kennzeichnet Methoden, die eigentlich Redundant wären, aber Zugriffe vereinfachen. Vector class { point() comforts Point( this ); } Hier könnte man auch Point(this) aufrufen. comforts erklärt, dass diese Methode keine Funktion darstellt, also nicht den Konstruktor redundant ersetzt, sondern nur den Konstruktor rufen darf, bzw. eine Kette von .-Operatoren enthält, die die Funktion beschreibt, die die eigentliche Arbeit macht, so dass hier eben keine redundante Variante e…

notes:func:connotation

2022-07-14T18:48:31+02:00

connotation Eine connotation ist eine Funktion, die sich vor oder nach die gerufene Funktion setzt. Das Problem: void RenderComposite::updateBbox( const DkGeo::Bbox3d& bbox ) { _bbox += bbox; if ( _parent ) _parent->updateBbox( bbox ); }

notes:func:debug

2022-05-19T10:21:25+02:00

Debug-Parameter sind ganz normale Funktionsparameter, die aber nur in einer Debug-Version übergeben werden. fib is code( a is int, debug(level is int) ) { if( a <= 1 ) return 1; debug print "Level: " + level; return fib( a-1, a-2, debug(level + 1) ); }

notes:func:declaration

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

Aufbau von Deklarationen bisher: int i; float f; code( int; int s1, int s2 ) add : s1+s2; Die Überlegung war, den Namen für die Lesbarkeit nach vorne zu ziehen. Mit is könnte eine öffentliche Ableitung beschrieben sein. i as int; f as float; add( int s1, s2 ) as int; twoResults( int id ) as ( left, right as int );

notes:func:enhance

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

enhance Enhance erweitert die Funktionalität von Objekten, kann aber keine zusätzlichen Member einführen. Person contains { Vorname, Nachname as String; construct( Vorname, Nachname ); }; // Klasse fertig. enhance kann nun Person erweitern:


enhance Person
{
  operator $ -> string : Vorname + " " + Nachname;
  SayHello is code := print "Hello, ", Vorname;
};



notes:func:factory
2015-05-29T19:26:48+02:00
factory

Eine Factory ist ein Stück code, ähnlich einer Funktion oder Methode, die etwas produziert. Bei einer Klasse kann eine Factory ein Construktor für Subklassen sein.


t is Tier ptr : new Tier( "Katze" ); // wenn es eine factory Tier( tiertype is string ) gibt


notes:func:fail
2022-03-30T12:27:41+02:00
fail

fail erklärt einen Funktionscall als fehlgeschlagen.


doSomething( a is int ) :=
{
  if( a == 0 ) fail InvalidNumber;
}


Im Falle einer zwangsläufigen Rückgabevariablen (out) wäre diese aber noch nicht belegt.



doSomething( a is int, b is int out ) :=
{
  body
  {
  if( a == 0 ) fail InvalidNumber;
  
  /* Algorithm */
  
    succeed; //optional 
  }
  
  on fail( value )
  {
    b = 0;
    log "failed with "+value\.fullName(); // value ist ein Objekt vom Typ global.doSomethi…


notes:func:fix
2015-05-29T19:26:48+02:00
fix

ist ein Befehl, der eine Überarbeitung signalisiert. Im Prinzip ist es ein #ifdef, aber beide Varianten werden geprüft, so dass in beiden Fällen gültiger Code entstehen muss.

Er hat drei Parameter: den Namen des Fixes, ein Userpseudonym (oder null) und einen Text als Erklärung


notes:func:forward
2019-07-19T11:47:08+02:00
Forward bei Funktionsparametern

Ein Forward bei Funktionsparametern dient dazu, Daten per Copy by Value gar nicht erst auf den Stack zu kopieren, um es dann weiter zu kopieren, sondern es direkt an die passende Position setzen zu lassen. Bei Funktionen, die zu einer


notes:func:guard
2015-05-29T19:26:48+02:00
guard

Mit Ifc::Error schrieb ich eine Fehlerklasse, die einfache Fehlerbeschreibungen mit einer Ortsangabe übernehmen kann, sowie Listen von Fehlern verwalten kann.
Das Makro IFCGUARD sichert ab, dass eine Funktion erfolgreich gelaufen ist und falls nicht, wird der Fehler an die jeweils höherliegende Funktion weitergeleitet.


notes:func:infix
2015-05-29T19:26:48+02:00
Infix

Abgeleitet von C++: 

In C++:


auto plus = infix([](int x, int y)
{
    return x + y;
});

auto three = 1  2;


Als Vereinfachung zu operator( int x, „plus“, int y ).

In Genesys bitte ohne spitze klammern:


plus is infix( int x, int y ) : x+y;

tree = 1 plus 2;


notes:func:inline
2020-12-28T15:51:07+02:00
inline


# log.g
log is inline( msg is string ) :=
{
  logimpl( system.file, system.line, system.date, system.time, system.funcname, msg );
}

logimpl is code( SourcePath, SourceLine, Date, Time, SourceFuncName, msg is string )
{
  print("[", Date$, "-", Time$, "] in File ", SourcePath$, " in ", $SourceFuncName, " at line ", SourceLine$, ": ", msg;
}

# main.g
main is code :=
{
  log( "Programmstart" );
}


notes:func:interfacefac
2024-06-03T09:23:27+02:00
Interface als Factory

Interfaces beschreiben Fähigkeiten, die ein Datentypen besitzen muss.

Nimmt man einen Container, so kann man Ansprüche oder Prioritäten an den Container stellen, die er erfüllen muss. Beispielsweise Indexable, Iterable, PriorityRead, Insertable, NonRelocatable.
Datentypen können Addierbar (Pointer), Selbst-Multiplizierbar (ergibt bei Pointern keinen Sinn), Integer-Multiplizierbar sein. Sie könnten Integer und/oder Nativ sein.
Der Compiler kann dann anhand der Liste gewüns…


notes:func:lazy
2019-02-19T14:07:10+02:00
Lazy-Parameter

Folgende Funktion


void func( bool write, int what )
{
  if( write )
    printf( "%d\n", what );
}


wird gerufen mit

func( false, doComplexMath(a,b) );

Hier wird eine extrem aufwendige Funktion gerufen, die möglicherweise gar nicht benötigt wird.
Zum einen könnte man hier prüfen, dass


notes:func:move
2016-08-18T13:42:42+02:00
Move-Konstruction

Nehmen wir ein Array, dass einen Wert zuweisen soll.

array += Data( 4711 );

Die Data-Klasse wird eventuell sehr aufwendig erzeugt. Hier ist std::move aus c++ schon sehr schön, aber vielleicht beinhaltet die Klasse noch viele weitere Zeiger etc, die alle einzeln kopiert werden müssen und das eventuell auch über eine ganze Reihe von Elementen.


notes:func:precall
2015-05-29T19:26:48+02:00
(inline) pre-call

Vor einem Funktionsaufruf func gibt es ja func::pre.

Ich möchte, dass es möglich ist, eine weitere func::pre zusätzlich zu definieren, die entscheidet, ob ein Funktionsaufruf überhaupt stattfinden soll, also eine pre condition, die inline gesetzt wird.


notes:func:start
2021-03-26T22:26:29+02:00
Funktionsdeklaration

Aktuell:

add is code( a,b as int ) := return a+b;

Ziel:

add( a, b as int ) = a+b;
f(x) = 2x+1;


Annahme: eine Funktion benötigt keine Klammern, sondern Argumente können per Komma oder Leerzeichen getrennt sein:

print "Hallo Welt";
v = vector 1 2 3;  // ruft vector::construct( a... )


notes:func:template
2019-03-29T14:54:06+02:00
template-Funktionen

Grundsätzlich: Eine Funktiondeklaration mit unbekannten Identifiern ist eine Template-Funktion, sofern keine Values übergeben werden.


i = 4711 as int;

f(x) = 2*x;    // template
f(x,y) = x+y;  // template;
f(x,i) = x+i;  // template von code(int, x)
f(x,1) = x+1;  // fehler: x ist nicht bekannt, 1 ruft eine Funktion
f(x+y) = x+y;  // Fehler: x, y nicht bekannt, um x+y auszurechnen
f(i) = 2*i;    // Ambivalent: Funktionsaufruf, falls f(int) existiert da i bekannt ist. Entw…


notes:func:unimplemented
2015-05-29T19:26:48+02:00
unimplemented

...ist ähnlich Null ein besonderer Marker und als Rückgabewert gedacht, wenn Funktionen noch nicht implementiert sind, um sich von false bzw. null zu unterscheiden, bzw. im Quelltext suchbar zu sein.


getValue is code( a, b, c is int ) as bool
{
  if( a == 0 )
    return false;            // false meint false
    
  if( b == 1 ) 
    return true;
  
  return unimplemented;      // liefert false, aber hier muss noch was gemacht werden.
}


notes:func:use
2019-06-19T11:53:45+02:00
use innerhalb einer Funtion

use vor einem Scope kopiert Variablen in den Scope und blendet andere Variablen für diesen Scope aus.
Damit entsteht eine anonyme Funktion, die unabhängig vom umgebenden Code ist und implizit gerufen wird.
Sinn der Sache ist, dass sichergestellt wird, dass dieser Scope keine nicht aufgeführten Variablen modifiziert.
Der Block kann also auch nachträglich eingefügt werden, um zu gucken, welche Variablen in dem Bereich genutzt
werden.
Variablen, die verändert werden sol…


notes:func:virtualthistype
2023-01-19T15:43:52+02:00
virtual thistype

 Wie kann man in Enitity beliebig viele equals Methoden schaffen, die allel false liefern,
außer, wenn Entity e auch ein DimensionEntety ist.


class Entity
{
    bool equals( Entity const & )
    {

    }

    //virtual bool equals( Entity sub const & )           //  <- das müsste das Ziel sein
    //        else return false;

    //virtual bool equals( Entity sub const & ) : false;  //  <- das müsste das Ziel sein

    template< typename T >
    bool equals( T const & )
    …


notes:func:workflow
2021-03-08T10:26:15+02:00
Workflow

Ein Workflow beschreibt einen RAII-Ablauf, sobald ein Fehler passiert, wird der Workflow-Stack wieder abgebaut, so dass alle Resourcen wieder geschlossen werden


workflow
  file = open( "c:\temp" ),
  mem = malloc( file.size ),
  file >> mem;
  puts mem;


notes:func:xmlconstruct
2015-05-29T19:26:48+02:00
XML Notation für Konstruktoren

Der Datentyp 'node' ist ein XML-Knoten, er ist entweder Wurzel, Knoten oder Blatt. Um ihn zu konstruieren sollte ein Parent übergeben werden; Nodes, die unterhalb eines anderen Nodes konstruiert werden sind automatisch Kinder des Nodes.

Genesys notes:func

notes:func:adapter

notes:func:assert

notes:func:autofunc

notes:func:caller

notes:func:comfort

notes:func:connotation

notes:func:debug

notes:func:declaration

notes:func:enhance

notes:func:factory

notes:func:fail

notes:func:fix

notes:func:forward

notes:func:guard

notes:func:infix

notes:func:inline

notes:func:interfacefac

notes:func:lazy

notes:func:move

notes:func:precall

notes:func:start

notes:func:template

notes:func:unimplemented

notes:func:use

notes:func:virtualthistype

notes:func:workflow

notes:func:xmlconstruct