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

smallworld/state/models/mips/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 MIPSSysVModel
+
+
+class MIPSSysVFclose(Fclose, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVFeof(Feof, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVFerror(Ferror, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVFgetc(Fgetc, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVFgets(Fgets, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVFopen(Fopen, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVFprintf(Fprintf, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVFputc(Fputc, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVFputs(Fputs, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVFread(Fread, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVFscanf(Fscanf, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVFseek(Fseek, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVFtell(Ftell, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVFwrite(Fwrite, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVGetc(Getc, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVGetchar(Getchar, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVGets(Gets, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVPrintf(Printf, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVPutc(Putc, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVPutchar(Putchar, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVPuts(Puts, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVRemove(Remove, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVRename(Rename, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVRewind(Rewind, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVScanf(Scanf, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVSnprintf(Snprintf, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVSprintf(Sprintf, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVSscanf(Sscanf, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVClearerr(Clearerr, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVFflush(Fflush, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVFreopen(Freopen, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVFgetpos(Fgetpos, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVFsetpos(Fsetpos, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVTmpfile(Tmpfile, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVTmpnam(Tmpnam, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVUngetc(Ungetc, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVVfprintf(Vfprintf, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVVfscanf(Vfscanf, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVVprintf(Vprintf, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVVscanf(Vscanf, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVVsnprintf(Vsnprintf, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVVsprintf(Vsprintf, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVVsscanf(Vsscanf, MIPSSysVModel):
+    pass
+
+
+__all__ = [
+    "MIPSSysVFclose",
+    "MIPSSysVFeof",
+    "MIPSSysVFerror",
+    "MIPSSysVFgetc",
+    "MIPSSysVFgets",
+    "MIPSSysVFopen",
+    "MIPSSysVFprintf",
+    "MIPSSysVFputc",
+    "MIPSSysVFputs",
+    "MIPSSysVFread",
+    "MIPSSysVFscanf",
+    "MIPSSysVFseek",
+    "MIPSSysVFtell",
+    "MIPSSysVFwrite",
+    "MIPSSysVGetc",
+    "MIPSSysVGetchar",
+    "MIPSSysVGets",
+    "MIPSSysVPrintf",
+    "MIPSSysVPutc",
+    "MIPSSysVPutchar",
+    "MIPSSysVPuts",
+    "MIPSSysVRemove",
+    "MIPSSysVRename",
+    "MIPSSysVRewind",
+    "MIPSSysVScanf",
+    "MIPSSysVSnprintf",
+    "MIPSSysVSprintf",
+    "MIPSSysVSscanf",
+    "MIPSSysVClearerr",
+    "MIPSSysVFflush",
+    "MIPSSysVFreopen",
+    "MIPSSysVFgetpos",
+    "MIPSSysVFsetpos",
+    "MIPSSysVTmpfile",
+    "MIPSSysVTmpnam",
+    "MIPSSysVUngetc",
+    "MIPSSysVVfprintf",
+    "MIPSSysVVfscanf",
+    "MIPSSysVVprintf",
+    "MIPSSysVVscanf",
+    "MIPSSysVVsnprintf",
+    "MIPSSysVVsprintf",
+    "MIPSSysVVsscanf",
+]

smallworld/state/models/mips/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 MIPSSysVModel
+
+
+class MIPSSysVAbs(Abs, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVLAbs(LAbs, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVLLAbs(LLAbs, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVAtof(Atof, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVAtoi(Atoi, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVAtol(Atol, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVAtoll(Atoll, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVCalloc(Calloc, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVDiv(Div, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVLDiv(LDiv, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVLLDiv(LLDiv, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVExit(Exit, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVFree(Free, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVMalloc(Malloc, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVQSort(QSort, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVRand(Rand, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVRealloc(Realloc, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVSrand(Srand, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVAbort(Abort, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVAtexit(Atexit, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVGetenv(Getenv, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVMblen(Mblen, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVMbstowcs(Mbstowcs, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVMbtowc(Mbtowc, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVSystem(System, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVWcstombs(Wcstombs, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVWctomb(Wctomb, MIPSSysVModel):
+    pass
+
+
+__all__ = [
+    "MIPSSysVAbs",
+    "MIPSSysVLAbs",
+    "MIPSSysVLLAbs",
+    "MIPSSysVAtof",
+    "MIPSSysVAtoi",
+    "MIPSSysVAtol",
+    "MIPSSysVAtoll",
+    "MIPSSysVCalloc",
+    "MIPSSysVDiv",
+    "MIPSSysVLDiv",
+    "MIPSSysVLLDiv",
+    "MIPSSysVExit",
+    "MIPSSysVFree",
+    "MIPSSysVMalloc",
+    "MIPSSysVQSort",
+    "MIPSSysVRand",
+    "MIPSSysVRealloc",
+    "MIPSSysVSrand",
+    "MIPSSysVAbort",
+    "MIPSSysVAtexit",
+    "MIPSSysVGetenv",
+    "MIPSSysVMblen",
+    "MIPSSysVMbstowcs",
+    "MIPSSysVMbtowc",
+    "MIPSSysVSystem",
+    "MIPSSysVWcstombs",
+    "MIPSSysVWctomb",
+]

smallworld/state/models/mips/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 MIPSSysVModel
+
+
+class MIPSSysVMemcpy(Memcpy, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVMemmove(Memmove, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVStrcpy(Strcpy, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVStrncpy(Strncpy, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVStrcat(Strcat, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVStrncat(Strncat, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVMemcmp(Memcmp, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVStrncmp(Strncmp, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVStrcmp(Strcmp, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVStrcoll(Strcoll, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVStrxfrm(Strxfrm, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVMemchr(Memchr, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVStrchr(Strchr, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVStrcspn(Strcspn, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVStrpbrk(Strpbrk, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVStrrchr(Strrchr, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVStrspn(Strspn, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVStrstr(Strstr, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVStrtok(Strtok, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVMemset(Memset, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVStrerror(Strerror, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVStrlen(Strlen, MIPSSysVModel):
+    pass
+
+
+__all__ = [
+    "MIPSSysVMemcpy",
+    "MIPSSysVMemmove",
+    "MIPSSysVStrcpy",
+    "MIPSSysVStrncpy",
+    "MIPSSysVStrcat",
+    "MIPSSysVStrncat",
+    "MIPSSysVMemcmp",
+    "MIPSSysVStrncmp",
+    "MIPSSysVStrcmp",
+    "MIPSSysVStrcoll",
+    "MIPSSysVStrxfrm",
+    "MIPSSysVMemchr",
+    "MIPSSysVStrchr",
+    "MIPSSysVStrcspn",
+    "MIPSSysVStrpbrk",
+    "MIPSSysVStrrchr",
+    "MIPSSysVStrspn",
+    "MIPSSysVStrstr",
+    "MIPSSysVStrtok",
+    "MIPSSysVMemset",
+    "MIPSSysVStrerror",
+    "MIPSSysVStrlen",
+]

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

@@ -0,0 +1,61 @@
+from ....c99 import (
+    Asctime,
+    Clock,
+    Ctime,
+    Difftime,
+    Gmtime,
+    Localtime,
+    Mktime,
+    Strftime,
+    Time,
+)
+from ..systemv import MIPSSysVModel
+
+
+class MIPSSysVTime(Time, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVLocaltime(Localtime, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVGmtime(Gmtime, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVCtime(Ctime, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVAsctime(Asctime, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVStrftime(Strftime, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVDifftime(Difftime, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVMktime(Mktime, MIPSSysVModel):
+    pass
+
+
+class MIPSSysVClock(Clock, MIPSSysVModel):
+    pass
+
+
+__all__ = [
+    "MIPSSysVTime",
+    "MIPSSysVLocaltime",
+    "MIPSSysVGmtime",
+    "MIPSSysVCtime",
+    "MIPSSysVAsctime",
+    "MIPSSysVStrftime",
+    "MIPSSysVDifftime",
+    "MIPSSysVMktime",
+    "MIPSSysVClock",
+]

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

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