This documenta- tion describes the current state of development.
Note that interfaces and functionality may still change.

Prokee Modules:

open all | close all

GUI Elements:

open all | close all

GUI Interactions:

open all | close all

GUI Layouts:

open all | close all

Games/Demos:

open all | close all

Third Party Libraries:

open all | close all

Information about this Website / Informationen zu dieser Webseite:

In case of any questions, or comments, please feel free to contact me via email at apoll500@gmail.com.

Module reader [Version: v01] (Interface Reader)

[Documentation]

[Details]

[Wiki]

[Tests]

[Reader]

[AbsUniFileReader]

Interfaces

      Globale Tests

      Tests für Interface Reader

      Tests für Interface AbsUniFileReader

Status:

Constructors:

Testing StrReader:
StrReader(const char *a,int ln) [Documentation]

test1
Beispiele

∀ a ∈ {x|x=STRING('abc\ndef\ngh') ∨ x=STRING('abc\rdef\rgh') ∨ x=STRING('abc\r\ndef\r\ngh')}:
∀ ln ∈ {x|x=INTEGER(10)}:
Parameter: (a´ = a_copy) ∧ (ln´ = ln_copy)

Additional setup processing for parameter a:

    ln=str::len(a);
    const char *r="abc\ndef\ngh";

Additional testing code for parameter a:

    int ch;
    int i=0;
    char *o=(char *)malloc((ln+1)*sizeof(char));
    while((ch=obj->get())!=-1)
    {
        o[i]=ch;
        if(!r[i] || ch!=r[i])
        {
            test_successful=TEST_FAIL;
            o[i+1]=0;
            printf("[ERROR]\n");
            printf("in  = ");
            for(int j=0;j< ln;j++)printf("[%3d] ",a[j]);
            printf("\n");
            printf("exp = ");
            for(int j=0;j< ln;j++)printf("[%3d] ",r[j]);
            printf("\n");
            printf("out = ");
            for(int j=0;o[j];j++)printf("[%3d] ",o[j]);
            printf("\n");
            printf("      ");
            for(int j=0;j< i;j++)printf("      ");
            printf("^\n");
            printf("      ");
            for(int j=0;j< i;j++)printf("      ");
            printf("|\n");
            printf("      ");
            for(int j=0;j< i;j++)printf("      ");
            printf("Wrong character here!\n");
            break;
        }
        i++;
    }
    free(o);

test2
Beispiele

∀ a ∈ {x|x=STRING('\nabcdefgh\n') ∨ x=STRING('\rabcdefgh\r') ∨ x=STRING('\r\nabcdefgh\r\n')}:
∀ ln ∈ {x|x=INTEGER(10)}:
Parameter: (a´ = a_copy) ∧ (ln´ = ln_copy)

Additional setup processing for parameter a:

    ln=str::len(a);
    const char *r="\nabcdefgh\n";

Additional testing code for parameter a:

    int ch;
    int i=0;
    char *o=(char *)malloc((ln+1)*sizeof(char));
    while((ch=obj->get())!=-1)
    {
        o[i]=ch;
        if(!r[i] || ch!=r[i])
        {
            test_successful=TEST_FAIL;
            o[i+1]=0;
            printf("[ERROR]\n");
            printf("in  = ");
            for(int j=0;j< ln;j++)printf("[%3d] ",a[j]);
            printf("\n");
            printf("exp = ");
            for(int j=0;j< ln;j++)printf("[%3d] ",r[j]);
            printf("\n");
            printf("out = ");
            for(int j=0;o[j];j++)printf("[%3d] ",o[j]);
            printf("\n");
            printf("      ");
            for(int j=0;j< i;j++)printf("      ");
            printf("^\n");
            printf("      ");
            for(int j=0;j< i;j++)printf("      ");
            printf("|\n");
            printf("      ");
            for(int j=0;j< i;j++)printf("      ");
            printf("Wrong character here!\n");
            break;
        }
        i++;
    }
    free(o);

test3
Beispiele

∀ a ∈ {x|x=STRING('\n\rabc\n\rdefgh\n\r')}:
∀ ln ∈ {x|x=INTEGER(10)}:
Parameter: (a´ = a_copy) ∧ (ln´ = ln_copy)

Additional setup processing for parameter a:

    ln=str::len(a);
    const char *r="\n\nabc\n\ndefgh\n\n";

Additional testing code for parameter a:

    int ch;
    int i=0;
    char *o=(char *)malloc((ln+1)*sizeof(char));
    while((ch=obj->get())!=-1)
    {
        o[i]=ch;
        if(!r[i] || ch!=r[i])
        {
            test_successful=TEST_FAIL;
            o[i+1]=0;
            printf("[ERROR]\n");
            printf("in  = ");
            for(int j=0;j< ln;j++)printf("[%3d] ",a[j]);
            printf("\n");
            printf("exp = ");
            for(int j=0;j< ln;j++)printf("[%3d] ",r[j]);
            printf("\n");
            printf("out = ");
            for(int j=0;o[j];j++)printf("[%3d] ",o[j]);
            printf("\n");
            printf("      ");
            for(int j=0;j< i;j++)printf("      ");
            printf("^\n");
            printf("      ");
            for(int j=0;j< i;j++)printf("      ");
            printf("|\n");
            printf("      ");
            for(int j=0;j< i;j++)printf("      ");
            printf("Wrong character here!\n");
            break;
        }
        i++;
    }
    free(o);

test4
Beispiele

∀ a ∈ {x|x=STRING('\nabc\rdef\r\ngh\n\r')}:
∀ ln ∈ {x|x=INTEGER(10)}:
Parameter: (a´ = a_copy) ∧ (ln´ = ln_copy)

Additional setup processing for parameter a:

    ln=str::len(a);
    const char *r="\nabc\ndef\ngh\n";

Additional followup processing for parameter a:

    obj->set_compatibility_mode(READER_COMPMODE_OFF);

Additional testing code for parameter a:

    int ch;
    int i=0;
    char *o=(char *)malloc((ln+1)*sizeof(char));
    while((ch=obj->get())!=-1)
    {
        o[i]=ch;
        if(!r[i] || ch!=r[i])
        {
            test_successful=TEST_FAIL;
            o[i+1]=0;
            printf("[ERROR]\n");
            printf("in  = ");
            for(int j=0;j< ln;j++)printf("[%3d] ",a[j]);
            printf("\n");
            printf("exp = ");
            for(int j=0;j< ln;j++)printf("[%3d] ",r[j]);
            printf("\n");
            printf("out = ");
            for(int j=0;o[j];j++)printf("[%3d] ",o[j]);
            printf("\n");
            printf("      ");
            for(int j=0;j< i;j++)printf("      ");
            printf("^\n");
            printf("      ");
            for(int j=0;j< i;j++)printf("      ");
            printf("|\n");
            printf("      ");
            for(int j=0;j< i;j++)printf("      ");
            printf("Wrong character here!\n");
            break;
        }
        i++;
    }
    free(o);

test5
Beispiele

∀ a ∈ {x|x=STRING('\nabc\rdef\r\ngh\n\r')}:
∀ ln ∈ {x|x=INTEGER(10)}:
Parameter: (a´ = a_copy) ∧ (ln´ = ln_copy)

Additional setup processing for parameter a:

    ln=str::len(a);
    const char *r="\nabc\ndef\n\ngh\n\n";

Additional followup processing for parameter a:

    obj->set_compatibility_mode(READER_COMPMODE_EXT);

Additional testing code for parameter a:

    int ch;
    int i=0;
    char *o=(char *)malloc((ln+1)*sizeof(char));
    while((ch=obj->get())!=-1)
    {
        o[i]=ch;
        if(!r[i] || ch!=r[i])
        {
            test_successful=TEST_FAIL;
            o[i+1]=0;
            printf("[ERROR]\n");
            printf("in  = ");
            for(int j=0;j< ln;j++)printf("[%3d] ",a[j]);
            printf("\n");
            printf("exp = ");
            for(int j=0;j< ln;j++)printf("[%3d] ",r[j]);
            printf("\n");
            printf("out = ");
            for(int j=0;o[j];j++)printf("[%3d] ",o[j]);
            printf("\n");
            printf("      ");
            for(int j=0;j< i;j++)printf("      ");
            printf("^\n");
            printf("      ");
            for(int j=0;j< i;j++)printf("      ");
            printf("|\n");
            printf("      ");
            for(int j=0;j< i;j++)printf("      ");
            printf("Wrong character here!\n");
            break;
        }
        i++;
    }
    free(o);

test6
Beispiele

∀ a ∈ {x|x=STRING('abc\n\ndef\n\n\ngh') ∨ x=STRING('abc\r\rdef\r\r\rgh') ∨ x=STRING('abc\r\n\r\ndef\r\n\r\n\r\ngh')}

:
∀ ln ∈ {x|x=INTEGER(10)}:
Parameter: (a´ = a_copy) ∧ (ln´ = ln_copy)

Additional setup processing for parameter a:

    ln=str::len(a);
    const char *r="abc\n\ndef\n\n\ngh";

Additional testing code for parameter a:

    int ch;
    int i=0;
    char *o=(char *)malloc((ln+1)*sizeof(char));
    while((ch=obj->get())!=-1)
    {
        o[i]=ch;
        if(!r[i] || ch!=r[i])
        {
            test_successful=TEST_FAIL;
            o[i+1]=0;
            printf("[ERROR]\n");
            printf("in  = ");
            for(int j=0;j< ln;j++)printf("[%3d] ",a[j]);
            printf("\n");
            printf("exp = ");
            for(int j=0;j< ln;j++)printf("[%3d] ",r[j]);
            printf("\n");
            printf("out = ");
            for(int j=0;o[j];j++)printf("[%3d] ",o[j]);
            printf("\n");
            printf("      ");
            for(int j=0;j< i;j++)printf("      ");
            printf("^\n");
            printf("      ");
            for(int j=0;j< i;j++)printf("      ");
            printf("|\n");
            printf("      ");
            for(int j=0;j< i;j++)printf("      ");
            printf("Wrong character here!\n");
            break;
        }
        i++;
    }
    free(o);