smallworld-re 1.0.2__py3-none-any.whl → 2.0.0__py3-none-any.whl

smallworld/state/models/armel/systemv/c99/stdio.py

@@ -0,0 +1,265 @@
+from ....c99 import (
+    Clearerr,
+    Fclose,
+    Feof,
+    Ferror,
+    Fflush,
+    Fgetc,
+    Fgetpos,
+    Fgets,
+    Fopen,
+    Fprintf,
+    Fputc,
+    Fputs,
+    Fread,
+    Freopen,
+    Fscanf,
+    Fseek,
+    Fsetpos,
+    Ftell,
+    Fwrite,
+    Getc,
+    Getchar,
+    Gets,
+    Printf,
+    Putc,
+    Putchar,
+    Puts,
+    Remove,
+    Rename,
+    Rewind,
+    Scanf,
+    Snprintf,
+    Sprintf,
+    Sscanf,
+    Tmpfile,
+    Tmpnam,
+    Ungetc,
+    Vfprintf,
+    Vfscanf,
+    Vprintf,
+    Vscanf,
+    Vsnprintf,
+    Vsprintf,
+    Vsscanf,
+)
+from ..systemv import ArmELSysVModel
+
+
+class ArmELSysVFclose(Fclose, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVFeof(Feof, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVFerror(Ferror, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVFgetc(Fgetc, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVFgets(Fgets, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVFopen(Fopen, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVFprintf(Fprintf, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVFputc(Fputc, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVFputs(Fputs, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVFread(Fread, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVFscanf(Fscanf, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVFseek(Fseek, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVFtell(Ftell, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVFwrite(Fwrite, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVGetc(Getc, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVGetchar(Getchar, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVGets(Gets, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVPrintf(Printf, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVPutc(Putc, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVPutchar(Putchar, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVPuts(Puts, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVRemove(Remove, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVRename(Rename, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVRewind(Rewind, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVScanf(Scanf, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVSnprintf(Snprintf, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVSprintf(Sprintf, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVSscanf(Sscanf, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVClearerr(Clearerr, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVFflush(Fflush, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVFreopen(Freopen, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVFgetpos(Fgetpos, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVFsetpos(Fsetpos, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVTmpfile(Tmpfile, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVTmpnam(Tmpnam, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVUngetc(Ungetc, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVVfprintf(Vfprintf, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVVfscanf(Vfscanf, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVVprintf(Vprintf, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVVscanf(Vscanf, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVVsnprintf(Vsnprintf, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVVsprintf(Vsprintf, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVVsscanf(Vsscanf, ArmELSysVModel):
+    pass
+
+
+__all__ = [
+    "ArmELSysVFclose",
+    "ArmELSysVFeof",
+    "ArmELSysVFerror",
+    "ArmELSysVFgetc",
+    "ArmELSysVFgets",
+    "ArmELSysVFopen",
+    "ArmELSysVFprintf",
+    "ArmELSysVFputc",
+    "ArmELSysVFputs",
+    "ArmELSysVFread",
+    "ArmELSysVFscanf",
+    "ArmELSysVFseek",
+    "ArmELSysVFtell",
+    "ArmELSysVFwrite",
+    "ArmELSysVGetc",
+    "ArmELSysVGetchar",
+    "ArmELSysVGets",
+    "ArmELSysVPrintf",
+    "ArmELSysVPutc",
+    "ArmELSysVPutchar",
+    "ArmELSysVPuts",
+    "ArmELSysVRemove",
+    "ArmELSysVRename",
+    "ArmELSysVRewind",
+    "ArmELSysVScanf",
+    "ArmELSysVSnprintf",
+    "ArmELSysVSprintf",
+    "ArmELSysVSscanf",
+    "ArmELSysVClearerr",
+    "ArmELSysVFflush",
+    "ArmELSysVFreopen",
+    "ArmELSysVFgetpos",
+    "ArmELSysVFsetpos",
+    "ArmELSysVTmpfile",
+    "ArmELSysVTmpnam",
+    "ArmELSysVUngetc",
+    "ArmELSysVVfprintf",
+    "ArmELSysVVfscanf",
+    "ArmELSysVVprintf",
+    "ArmELSysVVscanf",
+    "ArmELSysVVsnprintf",
+    "ArmELSysVVsprintf",
+    "ArmELSysVVsscanf",
+]

smallworld/state/models/armel/systemv/c99/stdlib.py

@@ -0,0 +1,169 @@
+from ....c99 import (
+    Abort,
+    Abs,
+    Atexit,
+    Atof,
+    Atoi,
+    Atol,
+    Atoll,
+    Calloc,
+    Div,
+    Exit,
+    Free,
+    Getenv,
+    LAbs,
+    LDiv,
+    LLAbs,
+    LLDiv,
+    Malloc,
+    Mblen,
+    Mbstowcs,
+    Mbtowc,
+    QSort,
+    Rand,
+    Realloc,
+    Srand,
+    System,
+    Wcstombs,
+    Wctomb,
+)
+from ..systemv import ArmELSysVModel
+
+
+class ArmELSysVAbs(Abs, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVLAbs(LAbs, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVLLAbs(LLAbs, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVAtof(Atof, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVAtoi(Atoi, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVAtol(Atol, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVAtoll(Atoll, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVCalloc(Calloc, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVDiv(Div, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVLDiv(LDiv, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVLLDiv(LLDiv, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVExit(Exit, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVFree(Free, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVMalloc(Malloc, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVQSort(QSort, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVRand(Rand, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVRealloc(Realloc, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVSrand(Srand, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVAbort(Abort, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVAtexit(Atexit, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVGetenv(Getenv, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVMblen(Mblen, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVMbstowcs(Mbstowcs, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVMbtowc(Mbtowc, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVSystem(System, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVWcstombs(Wcstombs, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVWctomb(Wctomb, ArmELSysVModel):
+    pass
+
+
+__all__ = [
+    "ArmELSysVAbs",
+    "ArmELSysVLAbs",
+    "ArmELSysVLLAbs",
+    "ArmELSysVAtof",
+    "ArmELSysVAtoi",
+    "ArmELSysVAtol",
+    "ArmELSysVAtoll",
+    "ArmELSysVCalloc",
+    "ArmELSysVDiv",
+    "ArmELSysVLDiv",
+    "ArmELSysVLLDiv",
+    "ArmELSysVExit",
+    "ArmELSysVFree",
+    "ArmELSysVMalloc",
+    "ArmELSysVQSort",
+    "ArmELSysVRand",
+    "ArmELSysVRealloc",
+    "ArmELSysVSrand",
+    "ArmELSysVAbort",
+    "ArmELSysVAtexit",
+    "ArmELSysVGetenv",
+    "ArmELSysVMblen",
+    "ArmELSysVMbstowcs",
+    "ArmELSysVMbtowc",
+    "ArmELSysVSystem",
+    "ArmELSysVWcstombs",
+    "ArmELSysVWctomb",
+]

smallworld/state/models/armel/systemv/c99/string.py

@@ -0,0 +1,139 @@
+from ....c99 import (
+    Memchr,
+    Memcmp,
+    Memcpy,
+    Memmove,
+    Memset,
+    Strcat,
+    Strchr,
+    Strcmp,
+    Strcoll,
+    Strcpy,
+    Strcspn,
+    Strerror,
+    Strlen,
+    Strncat,
+    Strncmp,
+    Strncpy,
+    Strpbrk,
+    Strrchr,
+    Strspn,
+    Strstr,
+    Strtok,
+    Strxfrm,
+)
+from ..systemv import ArmELSysVModel
+
+
+class ArmELSysVMemcpy(Memcpy, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVMemmove(Memmove, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVStrcpy(Strcpy, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVStrncpy(Strncpy, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVStrcat(Strcat, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVStrncat(Strncat, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVMemcmp(Memcmp, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVStrncmp(Strncmp, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVStrcmp(Strcmp, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVStrcoll(Strcoll, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVStrxfrm(Strxfrm, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVMemchr(Memchr, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVStrchr(Strchr, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVStrcspn(Strcspn, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVStrpbrk(Strpbrk, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVStrrchr(Strrchr, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVStrspn(Strspn, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVStrstr(Strstr, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVStrtok(Strtok, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVMemset(Memset, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVStrerror(Strerror, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVStrlen(Strlen, ArmELSysVModel):
+    pass
+
+
+__all__ = [
+    "ArmELSysVMemcpy",
+    "ArmELSysVMemmove",
+    "ArmELSysVStrcpy",
+    "ArmELSysVStrncpy",
+    "ArmELSysVStrcat",
+    "ArmELSysVStrncat",
+    "ArmELSysVMemcmp",
+    "ArmELSysVStrncmp",
+    "ArmELSysVStrcmp",
+    "ArmELSysVStrcoll",
+    "ArmELSysVStrxfrm",
+    "ArmELSysVMemchr",
+    "ArmELSysVStrchr",
+    "ArmELSysVStrcspn",
+    "ArmELSysVStrpbrk",
+    "ArmELSysVStrrchr",
+    "ArmELSysVStrspn",
+    "ArmELSysVStrstr",
+    "ArmELSysVStrtok",
+    "ArmELSysVMemset",
+    "ArmELSysVStrerror",
+    "ArmELSysVStrlen",
+]

smallworld/state/models/armel/systemv/c99/time.py

@@ -0,0 +1,61 @@
+from ....c99 import (
+    Asctime,
+    Clock,
+    Ctime,
+    Difftime,
+    Gmtime,
+    Localtime,
+    Mktime,
+    Strftime,
+    Time,
+)
+from ..systemv import ArmELSysVModel
+
+
+class ArmELSysVTime(Time, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVLocaltime(Localtime, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVGmtime(Gmtime, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVCtime(Ctime, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVAsctime(Asctime, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVStrftime(Strftime, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVDifftime(Difftime, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVMktime(Mktime, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVClock(Clock, ArmELSysVModel):
+    pass
+
+
+__all__ = [
+    "ArmELSysVTime",
+    "ArmELSysVLocaltime",
+    "ArmELSysVGmtime",
+    "ArmELSysVCtime",
+    "ArmELSysVAsctime",
+    "ArmELSysVStrftime",
+    "ArmELSysVDifftime",
+    "ArmELSysVMktime",
+    "ArmELSysVClock",
+]

smallworld/state/models/armel/systemv/posix/__init__.py

@@ -0,0 +1,6 @@
+from .libgen import *  # noqa: F401, F403
+from .libgen import __all__ as __libgen__
+from .signal import *  # noqa: F401, F403
+from .signal import __all__ as __signal__
+
+__all__ = __libgen__ + __signal__

smallworld/state/models/armel/systemv/posix/libgen.py

@@ -0,0 +1,16 @@
+from ....posix.libgen import Basename, Dirname
+from ..systemv import ArmELSysVModel
+
+
+class ArmELSysVBasename(Basename, ArmELSysVModel):
+    pass
+
+
+class ArmELSysVDirname(Dirname, ArmELSysVModel):
+    pass
+
+
+__all__ = [
+    "ArmELSysVBasename",
+    "ArmELSysVDirname",
+]