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

smallworld/state/models/i386/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 I386SysVModel
+
+
+class I386SysVFclose(Fclose, I386SysVModel):
+    pass
+
+
+class I386SysVFeof(Feof, I386SysVModel):
+    pass
+
+
+class I386SysVFerror(Ferror, I386SysVModel):
+    pass
+
+
+class I386SysVFgetc(Fgetc, I386SysVModel):
+    pass
+
+
+class I386SysVFgets(Fgets, I386SysVModel):
+    pass
+
+
+class I386SysVFopen(Fopen, I386SysVModel):
+    pass
+
+
+class I386SysVFprintf(Fprintf, I386SysVModel):
+    pass
+
+
+class I386SysVFputc(Fputc, I386SysVModel):
+    pass
+
+
+class I386SysVFputs(Fputs, I386SysVModel):
+    pass
+
+
+class I386SysVFread(Fread, I386SysVModel):
+    pass
+
+
+class I386SysVFscanf(Fscanf, I386SysVModel):
+    pass
+
+
+class I386SysVFseek(Fseek, I386SysVModel):
+    pass
+
+
+class I386SysVFtell(Ftell, I386SysVModel):
+    pass
+
+
+class I386SysVFwrite(Fwrite, I386SysVModel):
+    pass
+
+
+class I386SysVGetc(Getc, I386SysVModel):
+    pass
+
+
+class I386SysVGetchar(Getchar, I386SysVModel):
+    pass
+
+
+class I386SysVGets(Gets, I386SysVModel):
+    pass
+
+
+class I386SysVPrintf(Printf, I386SysVModel):
+    pass
+
+
+class I386SysVPutc(Putc, I386SysVModel):
+    pass
+
+
+class I386SysVPutchar(Putchar, I386SysVModel):
+    pass
+
+
+class I386SysVPuts(Puts, I386SysVModel):
+    pass
+
+
+class I386SysVRemove(Remove, I386SysVModel):
+    pass
+
+
+class I386SysVRename(Rename, I386SysVModel):
+    pass
+
+
+class I386SysVRewind(Rewind, I386SysVModel):
+    pass
+
+
+class I386SysVScanf(Scanf, I386SysVModel):
+    pass
+
+
+class I386SysVSnprintf(Snprintf, I386SysVModel):
+    pass
+
+
+class I386SysVSprintf(Sprintf, I386SysVModel):
+    pass
+
+
+class I386SysVSscanf(Sscanf, I386SysVModel):
+    pass
+
+
+class I386SysVClearerr(Clearerr, I386SysVModel):
+    pass
+
+
+class I386SysVFflush(Fflush, I386SysVModel):
+    pass
+
+
+class I386SysVFreopen(Freopen, I386SysVModel):
+    pass
+
+
+class I386SysVFgetpos(Fgetpos, I386SysVModel):
+    pass
+
+
+class I386SysVFsetpos(Fsetpos, I386SysVModel):
+    pass
+
+
+class I386SysVTmpfile(Tmpfile, I386SysVModel):
+    pass
+
+
+class I386SysVTmpnam(Tmpnam, I386SysVModel):
+    pass
+
+
+class I386SysVUngetc(Ungetc, I386SysVModel):
+    pass
+
+
+class I386SysVVfprintf(Vfprintf, I386SysVModel):
+    pass
+
+
+class I386SysVVfscanf(Vfscanf, I386SysVModel):
+    pass
+
+
+class I386SysVVprintf(Vprintf, I386SysVModel):
+    pass
+
+
+class I386SysVVscanf(Vscanf, I386SysVModel):
+    pass
+
+
+class I386SysVVsnprintf(Vsnprintf, I386SysVModel):
+    pass
+
+
+class I386SysVVsprintf(Vsprintf, I386SysVModel):
+    pass
+
+
+class I386SysVVsscanf(Vsscanf, I386SysVModel):
+    pass
+
+
+__all__ = [
+    "I386SysVFclose",
+    "I386SysVFeof",
+    "I386SysVFerror",
+    "I386SysVFgetc",
+    "I386SysVFgets",
+    "I386SysVFopen",
+    "I386SysVFprintf",
+    "I386SysVFputc",
+    "I386SysVFputs",
+    "I386SysVFread",
+    "I386SysVFscanf",
+    "I386SysVFseek",
+    "I386SysVFtell",
+    "I386SysVFwrite",
+    "I386SysVGetc",
+    "I386SysVGetchar",
+    "I386SysVGets",
+    "I386SysVPrintf",
+    "I386SysVPutc",
+    "I386SysVPutchar",
+    "I386SysVPuts",
+    "I386SysVRemove",
+    "I386SysVRename",
+    "I386SysVRewind",
+    "I386SysVScanf",
+    "I386SysVSnprintf",
+    "I386SysVSprintf",
+    "I386SysVSscanf",
+    "I386SysVClearerr",
+    "I386SysVFflush",
+    "I386SysVFreopen",
+    "I386SysVFgetpos",
+    "I386SysVFsetpos",
+    "I386SysVTmpfile",
+    "I386SysVTmpnam",
+    "I386SysVUngetc",
+    "I386SysVVfprintf",
+    "I386SysVVfscanf",
+    "I386SysVVprintf",
+    "I386SysVVscanf",
+    "I386SysVVsnprintf",
+    "I386SysVVsprintf",
+    "I386SysVVsscanf",
+]

smallworld/state/models/i386/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 I386SysVModel
+
+
+class I386SysVAbs(Abs, I386SysVModel):
+    pass
+
+
+class I386SysVLAbs(LAbs, I386SysVModel):
+    pass
+
+
+class I386SysVLLAbs(LLAbs, I386SysVModel):
+    pass
+
+
+class I386SysVAtof(Atof, I386SysVModel):
+    pass
+
+
+class I386SysVAtoi(Atoi, I386SysVModel):
+    pass
+
+
+class I386SysVAtol(Atol, I386SysVModel):
+    pass
+
+
+class I386SysVAtoll(Atoll, I386SysVModel):
+    pass
+
+
+class I386SysVCalloc(Calloc, I386SysVModel):
+    pass
+
+
+class I386SysVDiv(Div, I386SysVModel):
+    pass
+
+
+class I386SysVLDiv(LDiv, I386SysVModel):
+    pass
+
+
+class I386SysVLLDiv(LLDiv, I386SysVModel):
+    pass
+
+
+class I386SysVExit(Exit, I386SysVModel):
+    pass
+
+
+class I386SysVFree(Free, I386SysVModel):
+    pass
+
+
+class I386SysVMalloc(Malloc, I386SysVModel):
+    pass
+
+
+class I386SysVQSort(QSort, I386SysVModel):
+    pass
+
+
+class I386SysVRand(Rand, I386SysVModel):
+    pass
+
+
+class I386SysVRealloc(Realloc, I386SysVModel):
+    pass
+
+
+class I386SysVSrand(Srand, I386SysVModel):
+    pass
+
+
+class I386SysVAbort(Abort, I386SysVModel):
+    pass
+
+
+class I386SysVAtexit(Atexit, I386SysVModel):
+    pass
+
+
+class I386SysVGetenv(Getenv, I386SysVModel):
+    pass
+
+
+class I386SysVMblen(Mblen, I386SysVModel):
+    pass
+
+
+class I386SysVMbstowcs(Mbstowcs, I386SysVModel):
+    pass
+
+
+class I386SysVMbtowc(Mbtowc, I386SysVModel):
+    pass
+
+
+class I386SysVSystem(System, I386SysVModel):
+    pass
+
+
+class I386SysVWcstombs(Wcstombs, I386SysVModel):
+    pass
+
+
+class I386SysVWctomb(Wctomb, I386SysVModel):
+    pass
+
+
+__all__ = [
+    "I386SysVAbs",
+    "I386SysVLAbs",
+    "I386SysVLLAbs",
+    "I386SysVAtof",
+    "I386SysVAtoi",
+    "I386SysVAtol",
+    "I386SysVAtoll",
+    "I386SysVCalloc",
+    "I386SysVDiv",
+    "I386SysVLDiv",
+    "I386SysVLLDiv",
+    "I386SysVExit",
+    "I386SysVFree",
+    "I386SysVMalloc",
+    "I386SysVQSort",
+    "I386SysVRand",
+    "I386SysVRealloc",
+    "I386SysVSrand",
+    "I386SysVAbort",
+    "I386SysVAtexit",
+    "I386SysVGetenv",
+    "I386SysVMblen",
+    "I386SysVMbstowcs",
+    "I386SysVMbtowc",
+    "I386SysVSystem",
+    "I386SysVWcstombs",
+    "I386SysVWctomb",
+]

smallworld/state/models/i386/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 I386SysVModel
+
+
+class I386SysVMemcpy(Memcpy, I386SysVModel):
+    pass
+
+
+class I386SysVMemmove(Memmove, I386SysVModel):
+    pass
+
+
+class I386SysVStrcpy(Strcpy, I386SysVModel):
+    pass
+
+
+class I386SysVStrncpy(Strncpy, I386SysVModel):
+    pass
+
+
+class I386SysVStrcat(Strcat, I386SysVModel):
+    pass
+
+
+class I386SysVStrncat(Strncat, I386SysVModel):
+    pass
+
+
+class I386SysVMemcmp(Memcmp, I386SysVModel):
+    pass
+
+
+class I386SysVStrncmp(Strncmp, I386SysVModel):
+    pass
+
+
+class I386SysVStrcmp(Strcmp, I386SysVModel):
+    pass
+
+
+class I386SysVStrcoll(Strcoll, I386SysVModel):
+    pass
+
+
+class I386SysVStrxfrm(Strxfrm, I386SysVModel):
+    pass
+
+
+class I386SysVMemchr(Memchr, I386SysVModel):
+    pass
+
+
+class I386SysVStrchr(Strchr, I386SysVModel):
+    pass
+
+
+class I386SysVStrcspn(Strcspn, I386SysVModel):
+    pass
+
+
+class I386SysVStrpbrk(Strpbrk, I386SysVModel):
+    pass
+
+
+class I386SysVStrrchr(Strrchr, I386SysVModel):
+    pass
+
+
+class I386SysVStrspn(Strspn, I386SysVModel):
+    pass
+
+
+class I386SysVStrstr(Strstr, I386SysVModel):
+    pass
+
+
+class I386SysVStrtok(Strtok, I386SysVModel):
+    pass
+
+
+class I386SysVMemset(Memset, I386SysVModel):
+    pass
+
+
+class I386SysVStrerror(Strerror, I386SysVModel):
+    pass
+
+
+class I386SysVStrlen(Strlen, I386SysVModel):
+    pass
+
+
+__all__ = [
+    "I386SysVMemcpy",
+    "I386SysVMemmove",
+    "I386SysVStrcpy",
+    "I386SysVStrncpy",
+    "I386SysVStrcat",
+    "I386SysVStrncat",
+    "I386SysVMemcmp",
+    "I386SysVStrncmp",
+    "I386SysVStrcmp",
+    "I386SysVStrcoll",
+    "I386SysVStrxfrm",
+    "I386SysVMemchr",
+    "I386SysVStrchr",
+    "I386SysVStrcspn",
+    "I386SysVStrpbrk",
+    "I386SysVStrrchr",
+    "I386SysVStrspn",
+    "I386SysVStrstr",
+    "I386SysVStrtok",
+    "I386SysVMemset",
+    "I386SysVStrerror",
+    "I386SysVStrlen",
+]

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

@@ -0,0 +1,61 @@
+from ....c99 import (
+    Asctime,
+    Clock,
+    Ctime,
+    Difftime,
+    Gmtime,
+    Localtime,
+    Mktime,
+    Strftime,
+    Time,
+)
+from ..systemv import I386SysVModel
+
+
+class I386SysVTime(Time, I386SysVModel):
+    pass
+
+
+class I386SysVLocaltime(Localtime, I386SysVModel):
+    pass
+
+
+class I386SysVGmtime(Gmtime, I386SysVModel):
+    pass
+
+
+class I386SysVCtime(Ctime, I386SysVModel):
+    pass
+
+
+class I386SysVAsctime(Asctime, I386SysVModel):
+    pass
+
+
+class I386SysVStrftime(Strftime, I386SysVModel):
+    pass
+
+
+class I386SysVDifftime(Difftime, I386SysVModel):
+    pass
+
+
+class I386SysVMktime(Mktime, I386SysVModel):
+    pass
+
+
+class I386SysVClock(Clock, I386SysVModel):
+    pass
+
+
+__all__ = [
+    "I386SysVTime",
+    "I386SysVLocaltime",
+    "I386SysVGmtime",
+    "I386SysVCtime",
+    "I386SysVAsctime",
+    "I386SysVStrftime",
+    "I386SysVDifftime",
+    "I386SysVMktime",
+    "I386SysVClock",
+]

smallworld/state/models/i386/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/i386/systemv/posix/libgen.py

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