PageRenderTime 35ms CodeModel.GetById 12ms app.highlight 15ms RepoModel.GetById 1ms app.codeStats 1ms

/src/wrappers/common/library/errno.e

http://github.com/tybor/Liberty
Specman e | 1243 lines | 994 code | 127 blank | 122 comment | 2 complexity | 464a922e4994df9ce71cdc3df77eb235 MD5 | raw file
   1note
   2   description:
   3      "Access to the C errno variable"
   4   copyright:
   5      "[
   6               Copyright (C) 2010-2017: Paolo Redaelli
   7
   8               This library is free software; you can redistribute it and/or
   9               modify it under the terms of the GNU Lesser General Public License
  10               as published by the Free Software Foundation; either version 2.1 of
  11               the License, or (at your option) any later version.
  12
  13               This library is distributed in the hope that it will be useful, but
  14               WITHOUT ANY WARRANTY; without even the implied warranty of
  15               MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  16               Lesser General Public License for more details.
  17
  18               You should have received a copy of the GNU Lesser General Public
  19               License along with this library; if not, write to the Free Software
  20               Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
  21               02110-1301 USA
  22         ]"
  23
  24deferred class ERRNO
  25   -- Access to C errno variable
  26
  27insert
  28   ANY
  29      undefine copy, is_equal
  30      end
  31
  32feature {}
  33   errno: INTEGER_32
  34         -- number of last error
  35      external "plug_in"
  36      alias "{
  37         location: "externals/generated"
  38         module_name: "plugin"
  39         feature_name: "errno"
  40      }"
  41      end
  42
  43   e2big: INTEGER_32
  44         -- Argument list too long (POSIX.1)
  45      external "plug_in"
  46      alias "{
  47         location: "externals/generated"
  48         module_name: "plugin"
  49         feature_name: "E2BIG"
  50      }"
  51      end
  52
  53   eacces: INTEGER_32
  54         -- Permission denied (POSIX.1)
  55      external "plug_in"
  56      alias "{
  57         location: "externals/generated"
  58         module_name: "plugin"
  59         feature_name: "EACCES"
  60      }"
  61      end
  62
  63   eaddrinuse: INTEGER_32
  64         -- Address already in use (POSIX.1)
  65      external "plug_in"
  66      alias "{
  67         location: "externals/generated"
  68         module_name: "plugin"
  69         feature_name: "EADDRINUSE"
  70      }"
  71      end
  72
  73   eaddrnotavail: INTEGER_32
  74         -- Address not available (POSIX.1)
  75      external "plug_in"
  76      alias "{
  77         location: "externals/generated"
  78         module_name: "plugin"
  79         feature_name: "EADDRNOTAVAIL"
  80      }"
  81      end
  82
  83   eafnosupport: INTEGER_32
  84         -- Address family not supported (POSIX.1)
  85      external "plug_in"
  86      alias "{
  87         location: "externals/generated"
  88         module_name: "plugin"
  89         feature_name: "EAFNOSUPPORT"
  90      }"
  91      end
  92
  93   eagain: INTEGER_32
  94         -- Resource temporarily unavailable (may be the same value as EWOULDBLOCK) (POSIX.1)
  95      external "plug_in"
  96      alias "{
  97         location: "externals/generated"
  98         module_name: "plugin"
  99         feature_name: "EAGAIN"
 100      }"
 101      end
 102
 103   ealready: INTEGER_32
 104         -- Connection already in progress (POSIX.1)
 105      external "plug_in"
 106      alias "{
 107         location: "externals/generated"
 108         module_name: "plugin"
 109         feature_name: "EALREADY"
 110      }"
 111      end
 112
 113   ebade: INTEGER_32
 114         -- Invalid exchange
 115      external "plug_in"
 116      alias "{
 117         location: "externals/generated"
 118         module_name: "plugin"
 119         feature_name: "EBADE"
 120      }"
 121      end
 122
 123   ebadf: INTEGER_32
 124         -- Bad file descriptor (POSIX.1)
 125      external "plug_in"
 126      alias "{
 127         location: "externals/generated"
 128         module_name: "plugin"
 129         feature_name: "EBADF"
 130      }"
 131      end
 132
 133   ebadfd: INTEGER_32
 134         -- File descriptor in bad state
 135      external "plug_in"
 136      alias "{
 137         location: "externals/generated"
 138         module_name: "plugin"
 139         feature_name: "EBADFD"
 140      }"
 141      end
 142
 143   ebadmsg: INTEGER_32
 144         -- Bad message (POSIX.1)
 145      external "plug_in"
 146      alias "{
 147         location: "externals/generated"
 148         module_name: "plugin"
 149         feature_name: "EBADMSG"
 150      }"
 151      end
 152
 153   ebadr: INTEGER_32
 154         -- Invalid request descriptor
 155      external "plug_in"
 156      alias "{
 157         location: "externals/generated"
 158         module_name: "plugin"
 159         feature_name: "EBADR"
 160      }"
 161      end
 162
 163   ebadrqc: INTEGER_32
 164         -- Invalid request code
 165      external "plug_in"
 166      alias "{
 167         location: "externals/generated"
 168         module_name: "plugin"
 169         feature_name: "EBADRQC"
 170      }"
 171      end
 172
 173   ebadslt: INTEGER_32
 174         -- Invalid slot
 175      external "plug_in"
 176      alias "{
 177         location: "externals/generated"
 178         module_name: "plugin"
 179         feature_name: "EBADSLT"
 180      }"
 181      end
 182
 183   ebusy: INTEGER_32
 184         -- Device or resource busy (POSIX.1)
 185      external "plug_in"
 186      alias "{
 187         location: "externals/generated"
 188         module_name: "plugin"
 189         feature_name: "EBUSY"
 190      }"
 191      end
 192
 193   ecanceled: INTEGER_32
 194         -- Operation canceled (POSIX.1)
 195      external "plug_in"
 196      alias "{
 197         location: "externals/generated"
 198         module_name: "plugin"
 199         feature_name: "ECANCELED"
 200      }"
 201      end
 202
 203   echild: INTEGER_32
 204         -- No child processes (POSIX.1)
 205      external "plug_in"
 206      alias "{
 207         location: "externals/generated"
 208         module_name: "plugin"
 209         feature_name: "ECHILD"
 210      }"
 211      end
 212
 213   echrng: INTEGER_32
 214         -- Channel number out of range
 215      external "plug_in"
 216      alias "{
 217         location: "externals/generated"
 218         module_name: "plugin"
 219         feature_name: "ECHRNG"
 220      }"
 221      end
 222
 223   ecomm: INTEGER_32
 224         -- Communication error on send
 225      external "plug_in"
 226      alias "{
 227         location: "externals/generated"
 228         module_name: "plugin"
 229         feature_name: "ECOMM"
 230      }"
 231      end
 232
 233   econnaborted: INTEGER_32
 234         -- Connection aborted (POSIX.1)
 235      external "plug_in"
 236      alias "{
 237         location: "externals/generated"
 238         module_name: "plugin"
 239         feature_name: "ECONNABORTED"
 240      }"
 241      end
 242
 243   econnrefused: INTEGER_32
 244         -- Connection refused (POSIX.1)
 245      external "plug_in"
 246      alias "{
 247         location: "externals/generated"
 248         module_name: "plugin"
 249         feature_name: "ECONNREFUSED"
 250      }"
 251      end
 252
 253   econnreset: INTEGER_32
 254         -- Connection reset (POSIX.1)
 255      external "plug_in"
 256      alias "{
 257         location: "externals/generated"
 258         module_name: "plugin"
 259         feature_name: "ECONNRESET"
 260      }"
 261      end
 262
 263   edeadlk: INTEGER_32
 264         -- Resource deadlock avoided (POSIX.1)
 265      external "plug_in"
 266      alias "{
 267         location: "externals/generated"
 268         module_name: "plugin"
 269         feature_name: "EDEADLK"
 270      }"
 271      end
 272
 273   edeadlock: INTEGER_32
 274         -- Synonym for EDEADLK
 275      external "plug_in"
 276      alias "{
 277         location: "externals/generated"
 278         module_name: "plugin"
 279         feature_name: "EDEADLOCK"
 280      }"
 281      end
 282
 283   edestaddrreq: INTEGER_32
 284         -- Destination address required (POSIX.1)
 285      external "plug_in"
 286      alias "{
 287         location: "externals/generated"
 288         module_name: "plugin"
 289         feature_name: "EDESTADDRREQ"
 290      }"
 291      end
 292
 293   edom: INTEGER_32
 294         -- Mathematics argument out of domain of function (POSIX.1, C99)
 295      external "plug_in"
 296      alias "{
 297         location: "externals/generated"
 298         module_name: "plugin"
 299         feature_name: "EDOM"
 300      }"
 301      end
 302
 303   edquot: INTEGER_32
 304         -- Disk quota exceeded (POSIX.1)
 305      external "plug_in"
 306      alias "{
 307         location: "externals/generated"
 308         module_name: "plugin"
 309         feature_name: "EDQUOT"
 310      }"
 311      end
 312
 313   eexist: INTEGER_32
 314         -- File exists (POSIX.1)
 315      external "plug_in"
 316      alias "{
 317         location: "externals/generated"
 318         module_name: "plugin"
 319         feature_name: "EEXIST"
 320      }"
 321      end
 322
 323   efault: INTEGER_32
 324         -- Bad address (POSIX.1)
 325      external "plug_in"
 326      alias "{
 327         location: "externals/generated"
 328         module_name: "plugin"
 329         feature_name: "EFAULT"
 330      }"
 331      end
 332
 333   efbig: INTEGER_32
 334         -- File too large (POSIX.1)
 335      external "plug_in"
 336      alias "{
 337         location: "externals/generated"
 338         module_name: "plugin"
 339         feature_name: "EFBIG"
 340      }"
 341      end
 342
 343   ehostdown: INTEGER_32
 344         -- Host is down
 345      external "plug_in"
 346      alias "{
 347         location: "externals/generated"
 348         module_name: "plugin"
 349         feature_name: "EHOSTDOWN"
 350      }"
 351      end
 352
 353   ehostunreach: INTEGER_32
 354         -- Host is unreachable (POSIX.1)
 355      external "plug_in"
 356      alias "{
 357         location: "externals/generated"
 358         module_name: "plugin"
 359         feature_name: "EHOSTUNREACH"
 360      }"
 361      end
 362
 363   eidrm: INTEGER_32
 364         -- Identifier removed (POSIX.1)
 365      external "plug_in"
 366      alias "{
 367         location: "externals/generated"
 368         module_name: "plugin"
 369         feature_name: "EIDRM"
 370      }"
 371      end
 372
 373   eilseq: INTEGER_32
 374         -- Illegal byte sequence (POSIX.1, C99)
 375      external "plug_in"
 376      alias "{
 377         location: "externals/generated"
 378         module_name: "plugin"
 379         feature_name: "EILSEQ"
 380      }"
 381      end
 382
 383   einprogress: INTEGER_32
 384         -- Operation in progress (POSIX.1)
 385      external "plug_in"
 386      alias "{
 387         location: "externals/generated"
 388         module_name: "plugin"
 389         feature_name: "EINPROGRESS"
 390      }"
 391      end
 392
 393   eintr: INTEGER_32
 394         -- Interrupted function call (POSIX.1); see signal(7).
 395      external "plug_in"
 396      alias "{
 397         location: "externals/generated"
 398         module_name: "plugin"
 399         feature_name: "EINTR"
 400      }"
 401      end
 402
 403   einval: INTEGER_32
 404         -- Invalid argument (POSIX.1)
 405      external "plug_in"
 406      alias "{
 407         location: "externals/generated"
 408         module_name: "plugin"
 409         feature_name: "EINVAL"
 410      }"
 411      end
 412
 413   eio: INTEGER_32
 414         -- Input/output error (POSIX.1)
 415      external "plug_in"
 416      alias "{
 417         location: "externals/generated"
 418         module_name: "plugin"
 419         feature_name: "EIO"
 420      }"
 421      end
 422
 423   eisconn: INTEGER_32
 424         -- Socket is connected (POSIX.1)
 425      external "plug_in"
 426      alias "{
 427         location: "externals/generated"
 428         module_name: "plugin"
 429         feature_name: "EISCONN"
 430      }"
 431      end
 432
 433   eisdir: INTEGER_32
 434         -- Is a directory (POSIX.1)
 435      external "plug_in"
 436      alias "{
 437         location: "externals/generated"
 438         module_name: "plugin"
 439         feature_name: "EISDIR"
 440      }"
 441      end
 442
 443   eisnam: INTEGER_32
 444         -- Is a named type file
 445      external "plug_in"
 446      alias "{
 447         location: "externals/generated"
 448         module_name: "plugin"
 449         feature_name: "EISNAM"
 450      }"
 451      end
 452
 453   ekeyexpired: INTEGER_32
 454         -- Key has expired
 455      external "plug_in"
 456      alias "{
 457         location: "externals/generated"
 458         module_name: "plugin"
 459         feature_name: "EKEYEXPIRED"
 460      }"
 461      end
 462
 463   ekeyrejected: INTEGER_32
 464         -- Key was rejected by service
 465      external "plug_in"
 466      alias "{
 467         location: "externals/generated"
 468         module_name: "plugin"
 469         feature_name: "EKEYREJECTED"
 470      }"
 471      end
 472
 473   ekeyrevoked: INTEGER_32
 474         -- Key has been revoked
 475      external "plug_in"
 476      alias "{
 477         location: "externals/generated"
 478         module_name: "plugin"
 479         feature_name: "EKEYREVOKED"
 480      }"
 481      end
 482
 483   el2hlt: INTEGER_32
 484         -- Level 2 halted
 485      external "plug_in"
 486      alias "{
 487         location: "externals/generated"
 488         module_name: "plugin"
 489         feature_name: "EL2HLT"
 490      }"
 491      end
 492
 493   el2nsync: INTEGER_32
 494         -- Level 2 not synchronized
 495      external "plug_in"
 496      alias "{
 497         location: "externals/generated"
 498         module_name: "plugin"
 499         feature_name: "EL2NSYNC"
 500      }"
 501      end
 502
 503   el3hlt: INTEGER_32
 504         -- Level 3 halted
 505      external "plug_in"
 506      alias "{
 507         location: "externals/generated"
 508         module_name: "plugin"
 509         feature_name: "EL3HLT"
 510      }"
 511      end
 512
 513   el3rst: INTEGER_32
 514         -- Level 3 halted
 515      external "plug_in"
 516      alias "{
 517         location: "externals/generated"
 518         module_name: "plugin"
 519         feature_name: "EL3RST"
 520      }"
 521      end
 522
 523   elibacc: INTEGER_32
 524         -- Cannot access a needed shared library
 525      external "plug_in"
 526      alias "{
 527         location: "externals/generated"
 528         module_name: "plugin"
 529         feature_name: "ELIBACC"
 530      }"
 531      end
 532
 533   elibbad: INTEGER_32
 534         -- Accessing a corrupted shared library
 535      external "plug_in"
 536      alias "{
 537         location: "externals/generated"
 538         module_name: "plugin"
 539         feature_name: "ELIBBAD"
 540      }"
 541      end
 542
 543   elibmax: INTEGER_32
 544         -- Attempting to link in too many shared libraries
 545      external "plug_in"
 546      alias "{
 547         location: "externals/generated"
 548         module_name: "plugin"
 549         feature_name: "ELIBMAX"
 550      }"
 551      end
 552
 553   elibscn: INTEGER_32
 554         -- lib section in a.out corrupted
 555      external "plug_in"
 556      alias "{
 557         location: "externals/generated"
 558         module_name: "plugin"
 559         feature_name: "ELIBSCN"
 560      }"
 561      end
 562
 563   elibexec: INTEGER_32
 564         -- Cannot exec a shared library directly
 565      external "plug_in"
 566      alias "{
 567         location: "externals/generated"
 568         module_name: "plugin"
 569         feature_name: "ELIBEXEC"
 570      }"
 571      end
 572
 573   eloop: INTEGER_32
 574         -- Too many levels of symbolic links (POSIX.1)
 575      external "plug_in"
 576      alias "{
 577         location: "externals/generated"
 578         module_name: "plugin"
 579         feature_name: "ELOOP"
 580      }"
 581      end
 582
 583   emediumtype: INTEGER_32
 584         -- Wrong medium type
 585      external "plug_in"
 586      alias "{
 587         location: "externals/generated"
 588         module_name: "plugin"
 589         feature_name: "EMEDIUMTYPE"
 590      }"
 591      end
 592
 593   emfile: INTEGER_32
 594         -- Too many open files (POSIX.1)
 595      external "plug_in"
 596      alias "{
 597         location: "externals/generated"
 598         module_name: "plugin"
 599         feature_name: "EMFILE"
 600      }"
 601      end
 602
 603   emlink: INTEGER_32
 604         -- Too many links (POSIX.1)
 605      external "plug_in"
 606      alias "{
 607         location: "externals/generated"
 608         module_name: "plugin"
 609         feature_name: "EMLINK"
 610      }"
 611      end
 612
 613   emsgsize: INTEGER_32
 614         -- Message too long (POSIX.1)
 615      external "plug_in"
 616      alias "{
 617         location: "externals/generated"
 618         module_name: "plugin"
 619         feature_name: "EMSGSIZE"
 620      }"
 621      end
 622
 623   emultihop: INTEGER_32
 624         -- Multihop attempted (POSIX.1)
 625      external "plug_in"
 626      alias "{
 627         location: "externals/generated"
 628         module_name: "plugin"
 629         feature_name: "EMULTIHOP"
 630      }"
 631      end
 632
 633   enametoolong: INTEGER_32
 634         -- Filename too long (POSIX.1)
 635      external "plug_in"
 636      alias "{
 637         location: "externals/generated"
 638         module_name: "plugin"
 639         feature_name: "ENAMETOOLONG"
 640      }"
 641      end
 642
 643   enetdown: INTEGER_32
 644         -- Network is down (POSIX.1)
 645      external "plug_in"
 646      alias "{
 647         location: "externals/generated"
 648         module_name: "plugin"
 649         feature_name: "ENETDOWN"
 650      }"
 651      end
 652
 653   enetreset: INTEGER_32
 654         -- Connection aborted by network (POSIX.1)
 655      external "plug_in"
 656      alias "{
 657         location: "externals/generated"
 658         module_name: "plugin"
 659         feature_name: "ENETRESET"
 660      }"
 661      end
 662
 663   enetunreach: INTEGER_32
 664         -- Network unreachable (POSIX.1)
 665      external "plug_in"
 666      alias "{
 667         location: "externals/generated"
 668         module_name: "plugin"
 669         feature_name: "ENETUNREACH"
 670      }"
 671      end
 672
 673   enfile: INTEGER_32
 674         -- Too many open files in system (POSIX.1)
 675      external "plug_in"
 676      alias "{
 677         location: "externals/generated"
 678         module_name: "plugin"
 679         feature_name: "ENFILE"
 680      }"
 681      end
 682
 683   enobufs: INTEGER_32
 684         -- No buffer space available (POSIX.1 (XSI STREAMS option))
 685      external "plug_in"
 686      alias "{
 687         location: "externals/generated"
 688         module_name: "plugin"
 689         feature_name: "ENOBUFS"
 690      }"
 691      end
 692
 693   enodata: INTEGER_32
 694         -- No message is available on the STREAM head read queue (POSIX.1)
 695      external "plug_in"
 696      alias "{
 697         location: "externals/generated"
 698         module_name: "plugin"
 699         feature_name: "ENODATA"
 700      }"
 701      end
 702
 703   enodev: INTEGER_32
 704         -- No such device (POSIX.1)
 705      external "plug_in"
 706      alias "{
 707         location: "externals/generated"
 708         module_name: "plugin"
 709         feature_name: "ENODEV"
 710      }"
 711      end
 712
 713   enoent: INTEGER_32
 714         -- No such file or directory (POSIX.1)
 715      external "plug_in"
 716      alias "{
 717         location: "externals/generated"
 718         module_name: "plugin"
 719         feature_name: "ENOENT"
 720      }"
 721      end
 722
 723   enoexec: INTEGER_32
 724         -- Exec format error (POSIX.1)
 725      external "plug_in"
 726      alias "{
 727         location: "externals/generated"
 728         module_name: "plugin"
 729         feature_name: "ENOEXEC"
 730      }"
 731      end
 732
 733   enokey: INTEGER_32
 734         -- Required key not available
 735      external "plug_in"
 736      alias "{
 737         location: "externals/generated"
 738         module_name: "plugin"
 739         feature_name: "ENOKEY"
 740      }"
 741      end
 742
 743   enolck: INTEGER_32
 744         -- No locks available (POSIX.1)
 745      external "plug_in"
 746      alias "{
 747         location: "externals/generated"
 748         module_name: "plugin"
 749         feature_name: "ENOLCK"
 750      }"
 751      end
 752
 753   enolink: INTEGER_32
 754         -- Link has been severed (POSIX.1)
 755      external "plug_in"
 756      alias "{
 757         location: "externals/generated"
 758         module_name: "plugin"
 759         feature_name: "ENOLINK"
 760      }"
 761      end
 762
 763   enomedium: INTEGER_32
 764         -- No medium found
 765      external "plug_in"
 766      alias "{
 767         location: "externals/generated"
 768         module_name: "plugin"
 769         feature_name: "ENOMEDIUM"
 770      }"
 771      end
 772
 773   enomem: INTEGER_32
 774         -- Not enough space (POSIX.1)
 775      external "plug_in"
 776      alias "{
 777         location: "externals/generated"
 778         module_name: "plugin"
 779         feature_name: "ENOMEM"
 780      }"
 781      end
 782
 783   enomsg: INTEGER_32
 784         -- No message of the desired type (POSIX.1)
 785      external "plug_in"
 786      alias "{
 787         location: "externals/generated"
 788         module_name: "plugin"
 789         feature_name: "ENOMSG"
 790      }"
 791      end
 792
 793   enonet: INTEGER_32
 794         -- Machine is not on the network
 795      external "plug_in"
 796      alias "{
 797         location: "externals/generated"
 798         module_name: "plugin"
 799         feature_name: "ENONET"
 800      }"
 801      end
 802
 803   enopkg: INTEGER_32
 804         -- Package not installed
 805      external "plug_in"
 806      alias "{
 807         location: "externals/generated"
 808         module_name: "plugin"
 809         feature_name: "ENOPKG"
 810      }"
 811      end
 812
 813   enoprotoopt: INTEGER_32
 814         -- Protocol not available (POSIX.1)
 815      external "plug_in"
 816      alias "{
 817         location: "externals/generated"
 818         module_name: "plugin"
 819         feature_name: "ENOPROTOOPT"
 820      }"
 821      end
 822
 823   enospc: INTEGER_32
 824         -- No space left on device (POSIX.1)
 825      external "plug_in"
 826      alias "{
 827         location: "externals/generated"
 828         module_name: "plugin"
 829         feature_name: "ENOSPC"
 830      }"
 831      end
 832
 833   enosr: INTEGER_32
 834         -- No STREAM resources (POSIX.1 (XSI STREAMS option))
 835      external "plug_in"
 836      alias "{
 837         location: "externals/generated"
 838         module_name: "plugin"
 839         feature_name: "ENOSR"
 840      }"
 841      end
 842
 843   enostr: INTEGER_32
 844         -- Not a STREAM (POSIX.1 (XSI STREAMS option))
 845      external "plug_in"
 846      alias "{
 847         location: "externals/generated"
 848         module_name: "plugin"
 849         feature_name: "ENOSTR"
 850      }"
 851      end
 852
 853   enosys: INTEGER_32
 854         -- Function not implemented (POSIX.1)
 855      external "plug_in"
 856      alias "{
 857         location: "externals/generated"
 858         module_name: "plugin"
 859         feature_name: "ENOSYS"
 860      }"
 861      end
 862
 863   enotblk: INTEGER_32
 864         -- Block device required
 865      external "plug_in"
 866      alias "{
 867         location: "externals/generated"
 868         module_name: "plugin"
 869         feature_name: "ENOTBLK"
 870      }"
 871      end
 872
 873   enotconn: INTEGER_32
 874         -- The socket is not connected (POSIX.1)
 875      external "plug_in"
 876      alias "{
 877         location: "externals/generated"
 878         module_name: "plugin"
 879         feature_name: "ENOTCONN"
 880      }"
 881      end
 882
 883   enotdir: INTEGER_32
 884         -- Not a directory (POSIX.1)
 885      external "plug_in"
 886      alias "{
 887         location: "externals/generated"
 888         module_name: "plugin"
 889         feature_name: "ENOTDIR"
 890      }"
 891      end
 892
 893   enotempty: INTEGER_32
 894         -- Directory not empty (POSIX.1)
 895      external "plug_in"
 896      alias "{
 897         location: "externals/generated"
 898         module_name: "plugin"
 899         feature_name: "ENOTEMPTY"
 900      }"
 901      end
 902
 903   enotsock: INTEGER_32
 904         -- Not a socket (POSIX.1)
 905      external "plug_in"
 906      alias "{
 907         location: "externals/generated"
 908         module_name: "plugin"
 909         feature_name: "ENOTSOCK"
 910      }"
 911      end
 912
 913   enotsup: INTEGER_32
 914         -- Operation not supported (POSIX.1)
 915      external "plug_in"
 916      alias "{
 917         location: "externals/generated"
 918         module_name: "plugin"
 919         feature_name: "ENOTSUP"
 920      }"
 921      end
 922
 923   enotty: INTEGER_32
 924         -- Inappropriate I/O control operation (POSIX.1)
 925      external "plug_in"
 926      alias "{
 927         location: "externals/generated"
 928         module_name: "plugin"
 929         feature_name: "ENOTTY"
 930      }"
 931      end
 932
 933   enotuniq: INTEGER_32
 934         -- Name not unique on network
 935      external "plug_in"
 936      alias "{
 937         location: "externals/generated"
 938         module_name: "plugin"
 939         feature_name: "ENOTUNIQ"
 940      }"
 941      end
 942
 943   enxio: INTEGER_32
 944         -- No such device or address (POSIX.1)
 945      external "plug_in"
 946      alias "{
 947         location: "externals/generated"
 948         module_name: "plugin"
 949         feature_name: "ENXIO"
 950      }"
 951      end
 952
 953   eopnotsupp: INTEGER_32
 954         -- Operation not supported on socket (POSIX.1) (ENOTSUP  and  EOPNOTSUPP  have the same value on Linux, but according to POSIX.1 these error values should be distinct.)
 955      external "plug_in"
 956      alias "{
 957         location: "externals/generated"
 958         module_name: "plugin"
 959         feature_name: "EOPNOTSUPP"
 960      }"
 961      end
 962
 963   eoverflow: INTEGER_32
 964         -- Value too large to be stored in data type (POSIX.1)
 965      external "plug_in"
 966      alias "{
 967         location: "externals/generated"
 968         module_name: "plugin"
 969         feature_name: "EOVERFLOW"
 970      }"
 971      end
 972
 973   eperm: INTEGER_32
 974         -- Operation not permitted (POSIX.1)
 975      external "plug_in"
 976      alias "{
 977         location: "externals/generated"
 978         module_name: "plugin"
 979         feature_name: "EPERM"
 980      }"
 981      end
 982
 983   epfnosupport: INTEGER_32
 984         -- Protocol family not supported
 985      external "plug_in"
 986      alias "{
 987         location: "externals/generated"
 988         module_name: "plugin"
 989         feature_name: "EPFNOSUPPORT"
 990      }"
 991      end
 992
 993   epipe: INTEGER_32
 994         -- Broken pipe (POSIX.1)
 995      external "plug_in"
 996      alias "{
 997         location: "externals/generated"
 998         module_name: "plugin"
 999         feature_name: "EPIPE"
1000      }"
1001      end
1002
1003   eproto: INTEGER_32
1004         -- Protocol error (POSIX.1)
1005      external "plug_in"
1006      alias "{
1007         location: "externals/generated"
1008         module_name: "plugin"
1009         feature_name: "EPROTO"
1010      }"
1011      end
1012
1013   eprotonosupport: INTEGER_32
1014         -- Protocol not supported (POSIX.1)
1015      external "plug_in"
1016      alias "{
1017         location: "externals/generated"
1018         module_name: "plugin"
1019         feature_name: "EPROTONOSUPPORT"
1020      }"
1021      end
1022
1023   eprototype: INTEGER_32
1024         -- Protocol wrong type for socket (POSIX.1)
1025      external "plug_in"
1026      alias "{
1027         location: "externals/generated"
1028         module_name: "plugin"
1029         feature_name: "EPROTOTYPE"
1030      }"
1031      end
1032
1033   erange: INTEGER_32
1034         -- Result too large (POSIX.1, C99)
1035      external "plug_in"
1036      alias "{
1037         location: "externals/generated"
1038         module_name: "plugin"
1039         feature_name: "ERANGE"
1040      }"
1041      end
1042
1043   eremchg: INTEGER_32
1044         -- Remote address changed
1045      external "plug_in"
1046      alias "{
1047         location: "externals/generated"
1048         module_name: "plugin"
1049         feature_name: "EREMCHG"
1050      }"
1051      end
1052
1053   eremote: INTEGER_32
1054         -- Object is remote
1055      external "plug_in"
1056      alias "{
1057         location: "externals/generated"
1058         module_name: "plugin"
1059         feature_name: "EREMOTE"
1060      }"
1061      end
1062
1063   eremoteio: INTEGER_32
1064         -- Remote I/O error
1065      external "plug_in"
1066      alias "{
1067         location: "externals/generated"
1068         module_name: "plugin"
1069         feature_name: "EREMOTEIO"
1070      }"
1071      end
1072
1073   erestart: INTEGER_32
1074         -- Interrupted system call should be restarted
1075      external "plug_in"
1076      alias "{
1077         location: "externals/generated"
1078         module_name: "plugin"
1079         feature_name: "ERESTART"
1080      }"
1081      end
1082
1083   erofs: INTEGER_32
1084         -- Read-only file system (POSIX.1)
1085      external "plug_in"
1086      alias "{
1087         location: "externals/generated"
1088         module_name: "plugin"
1089         feature_name: "EROFS"
1090      }"
1091      end
1092
1093   eshutdown: INTEGER_32
1094         -- Cannot send after transport endpoint shutdown
1095      external "plug_in"
1096      alias "{
1097         location: "externals/generated"
1098         module_name: "plugin"
1099         feature_name: "ESHUTDOWN"
1100      }"
1101      end
1102
1103   espipe: INTEGER_32
1104         -- Invalid seek (POSIX.1)
1105      external "plug_in"
1106      alias "{
1107         location: "externals/generated"
1108         module_name: "plugin"
1109         feature_name: "ESPIPE"
1110      }"
1111      end
1112
1113   esocktnosupport: INTEGER_32
1114         -- Socket type not supported
1115      external "plug_in"
1116      alias "{
1117         location: "externals/generated"
1118         module_name: "plugin"
1119         feature_name: "ESOCKTNOSUPPORT"
1120      }"
1121      end
1122
1123   esrch: INTEGER_32
1124         -- No such process (POSIX.1)
1125      external "plug_in"
1126      alias "{
1127         location: "externals/generated"
1128         module_name: "plugin"
1129         feature_name: "ESRCH"
1130      }"
1131      end
1132
1133   estale: INTEGER_32
1134         -- Stale file handle (POSIX.1)   This error can occur for NFS and for other file systems
1135      external "plug_in"
1136      alias "{
1137         location: "externals/generated"
1138         module_name: "plugin"
1139         feature_name: "ESTALE"
1140      }"
1141      end
1142
1143   estrpipe: INTEGER_32
1144         -- Streams pipe error
1145      external "plug_in"
1146      alias "{
1147         location: "externals/generated"
1148         module_name: "plugin"
1149         feature_name: "ESTRPIPE"
1150      }"
1151      end
1152
1153   etime: INTEGER_32
1154         -- Timer expired (POSIX.1 (XSI STREAMS option))   (POSIX.1 says "STREAM ioctl(2) timeout")
1155      external "plug_in"
1156      alias "{
1157         location: "externals/generated"
1158         module_name: "plugin"
1159         feature_name: "ETIME"
1160      }"
1161      end
1162
1163   etimedout: INTEGER_32
1164         -- Connection timed out (POSIX.1)
1165      external "plug_in"
1166      alias "{
1167         location: "externals/generated"
1168         module_name: "plugin"
1169         feature_name: "ETIMEDOUT"
1170      }"
1171      end
1172
1173   etxtbsy: INTEGER_32
1174         -- Text file busy (POSIX.1)
1175      external "plug_in"
1176      alias "{
1177         location: "externals/generated"
1178         module_name: "plugin"
1179         feature_name: "ETXTBSY"
1180      }"
1181      end
1182
1183   euclean: INTEGER_32
1184         -- Structure needs cleaning
1185      external "plug_in"
1186      alias "{
1187         location: "externals/generated"
1188         module_name: "plugin"
1189         feature_name: "EUCLEAN"
1190      }"
1191      end
1192
1193   eunatch: INTEGER_32
1194         -- Protocol driver not attached
1195      external "plug_in"
1196      alias "{
1197         location: "externals/generated"
1198         module_name: "plugin"
1199         feature_name: "EUNATCH"
1200      }"
1201      end
1202
1203   eusers: INTEGER_32
1204         -- Too many users
1205      external "plug_in"
1206      alias "{
1207         location: "externals/generated"
1208         module_name: "plugin"
1209         feature_name: "EUSERS"
1210      }"
1211      end
1212
1213   ewouldblock: INTEGER_32
1214         -- Operation would block (may be same value as EAGAIN) (POSIX.1)
1215      external "plug_in"
1216      alias "{
1217         location: "externals/generated"
1218         module_name: "plugin"
1219         feature_name: "EWOULDBLOCK"
1220      }"
1221      end
1222
1223   exdev: INTEGER_32
1224         -- Improper link (POSIX.1)
1225      external "plug_in"
1226      alias "{
1227         location: "externals/generated"
1228         module_name: "plugin"
1229         feature_name: "EXDEV"
1230      }"
1231      end
1232
1233   exfull: INTEGER_32
1234         -- Exchange full
1235      external "plug_in"
1236      alias "{
1237         location: "externals/generated"
1238         module_name: "plugin"
1239         feature_name: "EXFULL"
1240      }"
1241      end
1242
1243end -- class ERRNO