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

smallworld/state/models/aarch64/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 AArch64SysVModel
+
+
+class AArch64SysVFclose(Fclose, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVFeof(Feof, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVFerror(Ferror, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVFgetc(Fgetc, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVFgets(Fgets, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVFopen(Fopen, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVFprintf(Fprintf, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVFputc(Fputc, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVFputs(Fputs, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVFread(Fread, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVFscanf(Fscanf, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVFseek(Fseek, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVFtell(Ftell, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVFwrite(Fwrite, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVGetc(Getc, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVGetchar(Getchar, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVGets(Gets, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVPrintf(Printf, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVPutc(Putc, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVPutchar(Putchar, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVPuts(Puts, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVRemove(Remove, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVRename(Rename, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVRewind(Rewind, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVScanf(Scanf, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVSnprintf(Snprintf, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVSprintf(Sprintf, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVSscanf(Sscanf, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVClearerr(Clearerr, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVFflush(Fflush, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVFreopen(Freopen, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVFgetpos(Fgetpos, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVFsetpos(Fsetpos, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVTmpfile(Tmpfile, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVTmpnam(Tmpnam, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVUngetc(Ungetc, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVVfprintf(Vfprintf, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVVfscanf(Vfscanf, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVVprintf(Vprintf, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVVscanf(Vscanf, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVVsnprintf(Vsnprintf, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVVsprintf(Vsprintf, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVVsscanf(Vsscanf, AArch64SysVModel):
+    pass
+
+
+__all__ = [
+    "AArch64SysVFclose",
+    "AArch64SysVFeof",
+    "AArch64SysVFerror",
+    "AArch64SysVFgetc",
+    "AArch64SysVFgets",
+    "AArch64SysVFopen",
+    "AArch64SysVFprintf",
+    "AArch64SysVFputc",
+    "AArch64SysVFputs",
+    "AArch64SysVFread",
+    "AArch64SysVFscanf",
+    "AArch64SysVFseek",
+    "AArch64SysVFtell",
+    "AArch64SysVFwrite",
+    "AArch64SysVGetc",
+    "AArch64SysVGetchar",
+    "AArch64SysVGets",
+    "AArch64SysVPrintf",
+    "AArch64SysVPutc",
+    "AArch64SysVPutchar",
+    "AArch64SysVPuts",
+    "AArch64SysVRemove",
+    "AArch64SysVRename",
+    "AArch64SysVRewind",
+    "AArch64SysVScanf",
+    "AArch64SysVSnprintf",
+    "AArch64SysVSprintf",
+    "AArch64SysVSscanf",
+    "AArch64SysVClearerr",
+    "AArch64SysVFflush",
+    "AArch64SysVFreopen",
+    "AArch64SysVFgetpos",
+    "AArch64SysVFsetpos",
+    "AArch64SysVTmpfile",
+    "AArch64SysVTmpnam",
+    "AArch64SysVUngetc",
+    "AArch64SysVVfprintf",
+    "AArch64SysVVfscanf",
+    "AArch64SysVVprintf",
+    "AArch64SysVVscanf",
+    "AArch64SysVVsnprintf",
+    "AArch64SysVVsprintf",
+    "AArch64SysVVsscanf",
+]

smallworld/state/models/aarch64/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 AArch64SysVModel
+
+
+class AArch64SysVAbs(Abs, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVLAbs(LAbs, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVLLAbs(LLAbs, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVAtof(Atof, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVAtoi(Atoi, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVAtol(Atol, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVAtoll(Atoll, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVCalloc(Calloc, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVDiv(Div, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVLDiv(LDiv, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVLLDiv(LLDiv, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVExit(Exit, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVFree(Free, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVMalloc(Malloc, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVQSort(QSort, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVRand(Rand, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVRealloc(Realloc, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVSrand(Srand, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVAbort(Abort, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVAtexit(Atexit, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVGetenv(Getenv, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVMblen(Mblen, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVMbstowcs(Mbstowcs, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVMbtowc(Mbtowc, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVSystem(System, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVWcstombs(Wcstombs, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVWctomb(Wctomb, AArch64SysVModel):
+    pass
+
+
+__all__ = [
+    "AArch64SysVAbs",
+    "AArch64SysVLAbs",
+    "AArch64SysVLLAbs",
+    "AArch64SysVAtof",
+    "AArch64SysVAtoi",
+    "AArch64SysVAtol",
+    "AArch64SysVAtoll",
+    "AArch64SysVCalloc",
+    "AArch64SysVDiv",
+    "AArch64SysVLDiv",
+    "AArch64SysVLLDiv",
+    "AArch64SysVExit",
+    "AArch64SysVFree",
+    "AArch64SysVMalloc",
+    "AArch64SysVQSort",
+    "AArch64SysVRand",
+    "AArch64SysVRealloc",
+    "AArch64SysVSrand",
+    "AArch64SysVAbort",
+    "AArch64SysVAtexit",
+    "AArch64SysVGetenv",
+    "AArch64SysVMblen",
+    "AArch64SysVMbstowcs",
+    "AArch64SysVMbtowc",
+    "AArch64SysVSystem",
+    "AArch64SysVWcstombs",
+    "AArch64SysVWctomb",
+]

smallworld/state/models/aarch64/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 AArch64SysVModel
+
+
+class AArch64SysVMemcpy(Memcpy, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVMemmove(Memmove, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVStrcpy(Strcpy, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVStrncpy(Strncpy, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVStrcat(Strcat, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVStrncat(Strncat, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVMemcmp(Memcmp, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVStrncmp(Strncmp, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVStrcmp(Strcmp, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVStrcoll(Strcoll, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVStrxfrm(Strxfrm, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVMemchr(Memchr, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVStrchr(Strchr, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVStrcspn(Strcspn, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVStrpbrk(Strpbrk, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVStrrchr(Strrchr, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVStrspn(Strspn, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVStrstr(Strstr, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVStrtok(Strtok, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVMemset(Memset, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVStrerror(Strerror, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVStrlen(Strlen, AArch64SysVModel):
+    pass
+
+
+__all__ = [
+    "AArch64SysVMemcpy",
+    "AArch64SysVMemmove",
+    "AArch64SysVStrcpy",
+    "AArch64SysVStrncpy",
+    "AArch64SysVStrcat",
+    "AArch64SysVStrncat",
+    "AArch64SysVMemcmp",
+    "AArch64SysVStrncmp",
+    "AArch64SysVStrcmp",
+    "AArch64SysVStrcoll",
+    "AArch64SysVStrxfrm",
+    "AArch64SysVMemchr",
+    "AArch64SysVStrchr",
+    "AArch64SysVStrcspn",
+    "AArch64SysVStrpbrk",
+    "AArch64SysVStrrchr",
+    "AArch64SysVStrspn",
+    "AArch64SysVStrstr",
+    "AArch64SysVStrtok",
+    "AArch64SysVMemset",
+    "AArch64SysVStrerror",
+    "AArch64SysVStrlen",
+]

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

@@ -0,0 +1,61 @@
+from ....c99 import (
+    Asctime,
+    Clock,
+    Ctime,
+    Difftime,
+    Gmtime,
+    Localtime,
+    Mktime,
+    Strftime,
+    Time,
+)
+from ..systemv import AArch64SysVModel
+
+
+class AArch64SysVTime(Time, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVLocaltime(Localtime, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVGmtime(Gmtime, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVCtime(Ctime, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVAsctime(Asctime, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVStrftime(Strftime, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVDifftime(Difftime, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVMktime(Mktime, AArch64SysVModel):
+    pass
+
+
+class AArch64SysVClock(Clock, AArch64SysVModel):
+    pass
+
+
+__all__ = [
+    "AArch64SysVTime",
+    "AArch64SysVLocaltime",
+    "AArch64SysVGmtime",
+    "AArch64SysVCtime",
+    "AArch64SysVAsctime",
+    "AArch64SysVStrftime",
+    "AArch64SysVDifftime",
+    "AArch64SysVMktime",
+    "AArch64SysVClock",
+]

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

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