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

smallworld/state/models/mips64el/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 MIPS64ELSysVModel
+
+
+class MIPS64ELSysVFclose(Fclose, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVFeof(Feof, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVFerror(Ferror, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVFgetc(Fgetc, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVFgets(Fgets, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVFopen(Fopen, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVFprintf(Fprintf, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVFputc(Fputc, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVFputs(Fputs, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVFread(Fread, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVFscanf(Fscanf, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVFseek(Fseek, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVFtell(Ftell, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVFwrite(Fwrite, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVGetc(Getc, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVGetchar(Getchar, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVGets(Gets, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVPrintf(Printf, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVPutc(Putc, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVPutchar(Putchar, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVPuts(Puts, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVRemove(Remove, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVRename(Rename, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVRewind(Rewind, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVScanf(Scanf, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVSnprintf(Snprintf, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVSprintf(Sprintf, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVSscanf(Sscanf, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVClearerr(Clearerr, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVFflush(Fflush, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVFreopen(Freopen, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVFgetpos(Fgetpos, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVFsetpos(Fsetpos, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVTmpfile(Tmpfile, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVTmpnam(Tmpnam, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVUngetc(Ungetc, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVVfprintf(Vfprintf, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVVfscanf(Vfscanf, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVVprintf(Vprintf, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVVscanf(Vscanf, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVVsnprintf(Vsnprintf, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVVsprintf(Vsprintf, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVVsscanf(Vsscanf, MIPS64ELSysVModel):
+    pass
+
+
+__all__ = [
+    "MIPS64ELSysVFclose",
+    "MIPS64ELSysVFeof",
+    "MIPS64ELSysVFerror",
+    "MIPS64ELSysVFgetc",
+    "MIPS64ELSysVFgets",
+    "MIPS64ELSysVFopen",
+    "MIPS64ELSysVFprintf",
+    "MIPS64ELSysVFputc",
+    "MIPS64ELSysVFputs",
+    "MIPS64ELSysVFread",
+    "MIPS64ELSysVFscanf",
+    "MIPS64ELSysVFseek",
+    "MIPS64ELSysVFtell",
+    "MIPS64ELSysVFwrite",
+    "MIPS64ELSysVGetc",
+    "MIPS64ELSysVGetchar",
+    "MIPS64ELSysVGets",
+    "MIPS64ELSysVPrintf",
+    "MIPS64ELSysVPutc",
+    "MIPS64ELSysVPutchar",
+    "MIPS64ELSysVPuts",
+    "MIPS64ELSysVRemove",
+    "MIPS64ELSysVRename",
+    "MIPS64ELSysVRewind",
+    "MIPS64ELSysVScanf",
+    "MIPS64ELSysVSnprintf",
+    "MIPS64ELSysVSprintf",
+    "MIPS64ELSysVSscanf",
+    "MIPS64ELSysVClearerr",
+    "MIPS64ELSysVFflush",
+    "MIPS64ELSysVFreopen",
+    "MIPS64ELSysVFgetpos",
+    "MIPS64ELSysVFsetpos",
+    "MIPS64ELSysVTmpfile",
+    "MIPS64ELSysVTmpnam",
+    "MIPS64ELSysVUngetc",
+    "MIPS64ELSysVVfprintf",
+    "MIPS64ELSysVVfscanf",
+    "MIPS64ELSysVVprintf",
+    "MIPS64ELSysVVscanf",
+    "MIPS64ELSysVVsnprintf",
+    "MIPS64ELSysVVsprintf",
+    "MIPS64ELSysVVsscanf",
+]

smallworld/state/models/mips64el/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 MIPS64ELSysVModel
+
+
+class MIPS64ELSysVAbs(Abs, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVLAbs(LAbs, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVLLAbs(LLAbs, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVAtof(Atof, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVAtoi(Atoi, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVAtol(Atol, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVAtoll(Atoll, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVCalloc(Calloc, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVDiv(Div, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVLDiv(LDiv, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVLLDiv(LLDiv, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVExit(Exit, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVFree(Free, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVMalloc(Malloc, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVQSort(QSort, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVRand(Rand, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVRealloc(Realloc, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVSrand(Srand, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVAbort(Abort, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVAtexit(Atexit, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVGetenv(Getenv, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVMblen(Mblen, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVMbstowcs(Mbstowcs, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVMbtowc(Mbtowc, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVSystem(System, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVWcstombs(Wcstombs, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVWctomb(Wctomb, MIPS64ELSysVModel):
+    pass
+
+
+__all__ = [
+    "MIPS64ELSysVAbs",
+    "MIPS64ELSysVLAbs",
+    "MIPS64ELSysVLLAbs",
+    "MIPS64ELSysVAtof",
+    "MIPS64ELSysVAtoi",
+    "MIPS64ELSysVAtol",
+    "MIPS64ELSysVAtoll",
+    "MIPS64ELSysVCalloc",
+    "MIPS64ELSysVDiv",
+    "MIPS64ELSysVLDiv",
+    "MIPS64ELSysVLLDiv",
+    "MIPS64ELSysVExit",
+    "MIPS64ELSysVFree",
+    "MIPS64ELSysVMalloc",
+    "MIPS64ELSysVQSort",
+    "MIPS64ELSysVRand",
+    "MIPS64ELSysVRealloc",
+    "MIPS64ELSysVSrand",
+    "MIPS64ELSysVAbort",
+    "MIPS64ELSysVAtexit",
+    "MIPS64ELSysVGetenv",
+    "MIPS64ELSysVMblen",
+    "MIPS64ELSysVMbstowcs",
+    "MIPS64ELSysVMbtowc",
+    "MIPS64ELSysVSystem",
+    "MIPS64ELSysVWcstombs",
+    "MIPS64ELSysVWctomb",
+]

smallworld/state/models/mips64el/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 MIPS64ELSysVModel
+
+
+class MIPS64ELSysVMemcpy(Memcpy, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVMemmove(Memmove, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVStrcpy(Strcpy, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVStrncpy(Strncpy, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVStrcat(Strcat, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVStrncat(Strncat, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVMemcmp(Memcmp, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVStrncmp(Strncmp, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVStrcmp(Strcmp, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVStrcoll(Strcoll, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVStrxfrm(Strxfrm, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVMemchr(Memchr, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVStrchr(Strchr, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVStrcspn(Strcspn, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVStrpbrk(Strpbrk, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVStrrchr(Strrchr, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVStrspn(Strspn, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVStrstr(Strstr, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVStrtok(Strtok, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVMemset(Memset, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVStrerror(Strerror, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVStrlen(Strlen, MIPS64ELSysVModel):
+    pass
+
+
+__all__ = [
+    "MIPS64ELSysVMemcpy",
+    "MIPS64ELSysVMemmove",
+    "MIPS64ELSysVStrcpy",
+    "MIPS64ELSysVStrncpy",
+    "MIPS64ELSysVStrcat",
+    "MIPS64ELSysVStrncat",
+    "MIPS64ELSysVMemcmp",
+    "MIPS64ELSysVStrncmp",
+    "MIPS64ELSysVStrcmp",
+    "MIPS64ELSysVStrcoll",
+    "MIPS64ELSysVStrxfrm",
+    "MIPS64ELSysVMemchr",
+    "MIPS64ELSysVStrchr",
+    "MIPS64ELSysVStrcspn",
+    "MIPS64ELSysVStrpbrk",
+    "MIPS64ELSysVStrrchr",
+    "MIPS64ELSysVStrspn",
+    "MIPS64ELSysVStrstr",
+    "MIPS64ELSysVStrtok",
+    "MIPS64ELSysVMemset",
+    "MIPS64ELSysVStrerror",
+    "MIPS64ELSysVStrlen",
+]

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

@@ -0,0 +1,61 @@
+from ....c99 import (
+    Asctime,
+    Clock,
+    Ctime,
+    Difftime,
+    Gmtime,
+    Localtime,
+    Mktime,
+    Strftime,
+    Time,
+)
+from ..systemv import MIPS64ELSysVModel
+
+
+class MIPS64ELSysVTime(Time, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVLocaltime(Localtime, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVGmtime(Gmtime, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVCtime(Ctime, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVAsctime(Asctime, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVStrftime(Strftime, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVDifftime(Difftime, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVMktime(Mktime, MIPS64ELSysVModel):
+    pass
+
+
+class MIPS64ELSysVClock(Clock, MIPS64ELSysVModel):
+    pass
+
+
+__all__ = [
+    "MIPS64ELSysVTime",
+    "MIPS64ELSysVLocaltime",
+    "MIPS64ELSysVGmtime",
+    "MIPS64ELSysVCtime",
+    "MIPS64ELSysVAsctime",
+    "MIPS64ELSysVStrftime",
+    "MIPS64ELSysVDifftime",
+    "MIPS64ELSysVMktime",
+    "MIPS64ELSysVClock",
+]

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

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