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

smallworld/state/models/powerpc/systemv/c99/signal.py

@@ -0,0 +1,16 @@
+from ....c99.signal import Raise, Signal
+from ..systemv import PowerPCSysVModel
+
+
+class PowerPCSysVRaise(Raise, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVSignal(Signal, PowerPCSysVModel):
+    pass
+
+
+__all__ = [
+    "PowerPCSysVRaise",
+    "PowerPCSysVSignal",
+]

smallworld/state/models/powerpc/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 PowerPCSysVModel
+
+
+class PowerPCSysVFclose(Fclose, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVFeof(Feof, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVFerror(Ferror, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVFgetc(Fgetc, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVFgets(Fgets, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVFopen(Fopen, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVFprintf(Fprintf, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVFputc(Fputc, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVFputs(Fputs, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVFread(Fread, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVFscanf(Fscanf, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVFseek(Fseek, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVFtell(Ftell, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVFwrite(Fwrite, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVGetc(Getc, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVGetchar(Getchar, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVGets(Gets, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVPrintf(Printf, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVPutc(Putc, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVPutchar(Putchar, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVPuts(Puts, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVRemove(Remove, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVRename(Rename, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVRewind(Rewind, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVScanf(Scanf, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVSnprintf(Snprintf, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVSprintf(Sprintf, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVSscanf(Sscanf, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVClearerr(Clearerr, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVFflush(Fflush, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVFreopen(Freopen, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVFgetpos(Fgetpos, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVFsetpos(Fsetpos, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVTmpfile(Tmpfile, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVTmpnam(Tmpnam, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVUngetc(Ungetc, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVVfprintf(Vfprintf, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVVfscanf(Vfscanf, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVVprintf(Vprintf, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVVscanf(Vscanf, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVVsnprintf(Vsnprintf, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVVsprintf(Vsprintf, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVVsscanf(Vsscanf, PowerPCSysVModel):
+    pass
+
+
+__all__ = [
+    "PowerPCSysVFclose",
+    "PowerPCSysVFeof",
+    "PowerPCSysVFerror",
+    "PowerPCSysVFgetc",
+    "PowerPCSysVFgets",
+    "PowerPCSysVFopen",
+    "PowerPCSysVFprintf",
+    "PowerPCSysVFputc",
+    "PowerPCSysVFputs",
+    "PowerPCSysVFread",
+    "PowerPCSysVFscanf",
+    "PowerPCSysVFseek",
+    "PowerPCSysVFtell",
+    "PowerPCSysVFwrite",
+    "PowerPCSysVGetc",
+    "PowerPCSysVGetchar",
+    "PowerPCSysVGets",
+    "PowerPCSysVPrintf",
+    "PowerPCSysVPutc",
+    "PowerPCSysVPutchar",
+    "PowerPCSysVPuts",
+    "PowerPCSysVRemove",
+    "PowerPCSysVRename",
+    "PowerPCSysVRewind",
+    "PowerPCSysVScanf",
+    "PowerPCSysVSnprintf",
+    "PowerPCSysVSprintf",
+    "PowerPCSysVSscanf",
+    "PowerPCSysVClearerr",
+    "PowerPCSysVFflush",
+    "PowerPCSysVFreopen",
+    "PowerPCSysVFgetpos",
+    "PowerPCSysVFsetpos",
+    "PowerPCSysVTmpfile",
+    "PowerPCSysVTmpnam",
+    "PowerPCSysVUngetc",
+    "PowerPCSysVVfprintf",
+    "PowerPCSysVVfscanf",
+    "PowerPCSysVVprintf",
+    "PowerPCSysVVscanf",
+    "PowerPCSysVVsnprintf",
+    "PowerPCSysVVsprintf",
+    "PowerPCSysVVsscanf",
+]

smallworld/state/models/powerpc/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 PowerPCSysVModel
+
+
+class PowerPCSysVAbs(Abs, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVLAbs(LAbs, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVLLAbs(LLAbs, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVAtof(Atof, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVAtoi(Atoi, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVAtol(Atol, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVAtoll(Atoll, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVCalloc(Calloc, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVDiv(Div, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVLDiv(LDiv, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVLLDiv(LLDiv, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVExit(Exit, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVFree(Free, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVMalloc(Malloc, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVQSort(QSort, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVRand(Rand, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVRealloc(Realloc, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVSrand(Srand, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVAbort(Abort, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVAtexit(Atexit, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVGetenv(Getenv, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVMblen(Mblen, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVMbstowcs(Mbstowcs, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVMbtowc(Mbtowc, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVSystem(System, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVWcstombs(Wcstombs, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVWctomb(Wctomb, PowerPCSysVModel):
+    pass
+
+
+__all__ = [
+    "PowerPCSysVAbs",
+    "PowerPCSysVLAbs",
+    "PowerPCSysVLLAbs",
+    "PowerPCSysVAtof",
+    "PowerPCSysVAtoi",
+    "PowerPCSysVAtol",
+    "PowerPCSysVAtoll",
+    "PowerPCSysVCalloc",
+    "PowerPCSysVDiv",
+    "PowerPCSysVLDiv",
+    "PowerPCSysVLLDiv",
+    "PowerPCSysVExit",
+    "PowerPCSysVFree",
+    "PowerPCSysVMalloc",
+    "PowerPCSysVQSort",
+    "PowerPCSysVRand",
+    "PowerPCSysVRealloc",
+    "PowerPCSysVSrand",
+    "PowerPCSysVAbort",
+    "PowerPCSysVAtexit",
+    "PowerPCSysVGetenv",
+    "PowerPCSysVMblen",
+    "PowerPCSysVMbstowcs",
+    "PowerPCSysVMbtowc",
+    "PowerPCSysVSystem",
+    "PowerPCSysVWcstombs",
+    "PowerPCSysVWctomb",
+]

smallworld/state/models/powerpc/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 PowerPCSysVModel
+
+
+class PowerPCSysVMemcpy(Memcpy, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVMemmove(Memmove, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVStrcpy(Strcpy, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVStrncpy(Strncpy, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVStrcat(Strcat, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVStrncat(Strncat, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVMemcmp(Memcmp, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVStrncmp(Strncmp, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVStrcmp(Strcmp, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVStrcoll(Strcoll, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVStrxfrm(Strxfrm, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVMemchr(Memchr, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVStrchr(Strchr, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVStrcspn(Strcspn, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVStrpbrk(Strpbrk, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVStrrchr(Strrchr, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVStrspn(Strspn, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVStrstr(Strstr, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVStrtok(Strtok, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVMemset(Memset, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVStrerror(Strerror, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVStrlen(Strlen, PowerPCSysVModel):
+    pass
+
+
+__all__ = [
+    "PowerPCSysVMemcpy",
+    "PowerPCSysVMemmove",
+    "PowerPCSysVStrcpy",
+    "PowerPCSysVStrncpy",
+    "PowerPCSysVStrcat",
+    "PowerPCSysVStrncat",
+    "PowerPCSysVMemcmp",
+    "PowerPCSysVStrncmp",
+    "PowerPCSysVStrcmp",
+    "PowerPCSysVStrcoll",
+    "PowerPCSysVStrxfrm",
+    "PowerPCSysVMemchr",
+    "PowerPCSysVStrchr",
+    "PowerPCSysVStrcspn",
+    "PowerPCSysVStrpbrk",
+    "PowerPCSysVStrrchr",
+    "PowerPCSysVStrspn",
+    "PowerPCSysVStrstr",
+    "PowerPCSysVStrtok",
+    "PowerPCSysVMemset",
+    "PowerPCSysVStrerror",
+    "PowerPCSysVStrlen",
+]

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

@@ -0,0 +1,61 @@
+from ....c99 import (
+    Asctime,
+    Clock,
+    Ctime,
+    Difftime,
+    Gmtime,
+    Localtime,
+    Mktime,
+    Strftime,
+    Time,
+)
+from ..systemv import PowerPCSysVModel
+
+
+class PowerPCSysVTime(Time, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVLocaltime(Localtime, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVGmtime(Gmtime, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVCtime(Ctime, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVAsctime(Asctime, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVStrftime(Strftime, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVDifftime(Difftime, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVMktime(Mktime, PowerPCSysVModel):
+    pass
+
+
+class PowerPCSysVClock(Clock, PowerPCSysVModel):
+    pass
+
+
+__all__ = [
+    "PowerPCSysVTime",
+    "PowerPCSysVLocaltime",
+    "PowerPCSysVGmtime",
+    "PowerPCSysVCtime",
+    "PowerPCSysVAsctime",
+    "PowerPCSysVStrftime",
+    "PowerPCSysVDifftime",
+    "PowerPCSysVMktime",
+    "PowerPCSysVClock",
+]

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

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