smilint output for ./SNMPv2-PDU


Message Severities
SeverityCount
severe24
error8
warning6
Message Types
TypeCount
choice-not-allowed (severe)4
identifier-basetype-redefined (warning)1
internal-flushing (warning)5
internal-other (severe)6
out-of-range-unsigned (severe)1
range-bounds (error)4
range-exchanged (error)4
tagged-type-not-allowed (severe)6
type-not-allowed (severe)7

Messages:

SNMPv2-PDU

   1: -- extracted from rfc3416.txt
   2: -- at Mon Dec 23 06:11:32 2002
   3: 
   4:    SNMPv2-PDU DEFINITIONS ::= BEGIN
   5: 
   6:    ObjectName ::= OBJECT IDENTIFIER
   7: 
   8:    ObjectSyntax ::= CHOICE {
   8: severe - CHOICE type definitions are only allowed in SMI base modules
   9:          simple           SimpleSyntax,
  10:          application-wide ApplicationSyntax }
  11: 
  12:    SimpleSyntax ::= CHOICE {
  12: severe - CHOICE type definitions are only allowed in SMI base modules
  13:          integer-value   INTEGER (-2147483648..2147483647),
  14:          string-value    OCTET STRING (SIZE (0..65535)),
  15:          objectID-value  OBJECT IDENTIFIER }
  16: 
  17:    ApplicationSyntax ::= CHOICE {
  17: severe - CHOICE type definitions are only allowed in SMI base modules
  18:          ipAddress-value        IpAddress,
  19:          counter-value          Counter32,
  20:          timeticks-value        TimeTicks,
  21:          arbitrary-value        Opaque,
  22:          big-counter-value      Counter64,
  23:          unsigned-integer-value Unsigned32 }
  24: 
  25:    IpAddress ::= [APPLICATION 0] IMPLICIT OCTET STRING (SIZE (4))
  25: severe - type `IpAddress' may only be defined in SMI/SPPI base modules
  25: severe - tagged or IMPLICIT types may only be defined in SMI base modules
  26: 
  27:    Counter32 ::= [APPLICATION 1] IMPLICIT INTEGER (0..4294967295)
  27: severe - type `Counter32' may only be defined in SMI/SPPI base modules
  27: error -
range limit exceeds underlying basetype

  27: error -
range limits must be `lower-bound .. upper-bound'

  27: severe - tagged or IMPLICIT types may only be defined in SMI base modules
  28: 
  29:    Unsigned32 ::= [APPLICATION 2] IMPLICIT INTEGER (0..4294967295)
  29: severe - type `Unsigned32' may only be defined in SMI/SPPI base modules
  29: error -
range limit exceeds underlying basetype

  29: error -
range limits must be `lower-bound .. upper-bound'

  29: severe - tagged or IMPLICIT types may only be defined in SMI base modules

  29: warning - warning: definition of identifier `Unsigned32' which is already a SMI or SPPI basetype
  30: 
  31:    Gauge32 ::= Unsigned32
  31: severe - type `Gauge32' may only be defined in SMI/SPPI base modules
  32: 
  33:    TimeTicks ::= [APPLICATION 3] IMPLICIT INTEGER (0..4294967295)
  33: severe - type `TimeTicks' may only be defined in SMI/SPPI base modules
  33: error -
range limit exceeds underlying basetype

  33: error -
range limits must be `lower-bound .. upper-bound'

  33: severe - tagged or IMPLICIT types may only be defined in SMI base modules
  34: 
  35:    Opaque ::= [APPLICATION 4] IMPLICIT OCTET STRING
  35: severe - type `Opaque' may only be defined in SMI/SPPI base modules
  36: 
  37:    Counter64 ::= [APPLICATION 6]
  37: severe - tagged or IMPLICIT types may only be defined in SMI base modules
  37: severe - type `Counter64' may only be defined in SMI/SPPI base modules
  38:                  IMPLICIT INTEGER (0..18446744073709551615)
  38: severe - number `18446744073709551615' is out of SMIv1/SMIv2 unsigned number range
  38: error -
range limit exceeds underlying basetype

  38: error -
range limits must be `lower-bound .. upper-bound'

  38: severe - tagged or IMPLICIT types may only be defined in SMI base modules
  39: 
  40:    -- protocol data units
  41: 
  42:    PDUs ::= CHOICE {
  42: severe - CHOICE type definitions are only allowed in SMI base modules
  43:         get-request      GetRequest-PDU,
  44:         get-next-request GetNextRequest-PDU,
  45:         get-bulk-request GetBulkRequest-PDU,
  46:         response         Response-PDU,
  47:         set-request      SetRequest-PDU,
  48:         inform-request   InformRequest-PDU,
  49:         snmpV2-trap      SNMPv2-Trap-PDU,
  50:         report           Report-PDU }
  51: 
  52:    -- PDUs
  53: 
  54:    GetRequest-PDU ::= [0] IMPLICIT PDU
  54: severe - syntax error, unexpected NUMBER, expecting APPLICATION or UNIVERSAL
  55: 
  56:    GetNextRequest-PDU ::= [1] IMPLICIT PDU
  57: 
  58:    Response-PDU ::= [2] IMPLICIT PDU
  59: 
  60:    SetRequest-PDU ::= [3] IMPLICIT PDU
  61: 
  62:    -- [4] is obsolete
  63: 
  64:    GetBulkRequest-PDU ::= [5] IMPLICIT BulkPDU
  65: 
  66:    InformRequest-PDU ::= [6] IMPLICIT PDU
  67: 
  68:    SNMPv2-Trap-PDU ::= [7] IMPLICIT PDU
  69: 
  70:    --   Usage and precise semantics of Report-PDU are not defined
  71:    --   in this document.  Any SNMP administrative framework making
  72:    --   use of this PDU must define its usage and semantics.
  73:    Report-PDU ::= [8] IMPLICIT PDU
  74: 
  75:    max-bindings INTEGER ::= 2147483647
  76: 
  77:    PDU ::= SEQUENCE {
  78:            request-id INTEGER (-214783648..214783647),
  79: 
  80:            error-status                -- sometimes ignored
  81:                INTEGER {
  82:                    noError(0),
  83:                    tooBig(1),
  84:                    noSuchName(2),      -- for proxy compatibility
  85:                    badValue(3),        -- for proxy compatibility
  86:                    readOnly(4),        -- for proxy compatibility
  87:                    genErr(5),
  88:                    noAccess(6),
  89:                    wrongType(7),
  90:                    wrongLength(8),
  91:                    wrongEncoding(9),
  92:                    wrongValue(10),
  93:                    noCreation(11),
  94:                    inconsistentValue(12),
  95:                    resourceUnavailable(13),
  96:                    commitFailed(14),
  97:                    undoFailed(15),
  98:                    authorizationError(16),
  99:                    notWritable(17),
 100:                    inconsistentName(18)
 101:                },
 101: warning - warning: flushing recent incorrect declaration, see previous error(s)
 101: severe - syntax error, unexpected ','
 102: 
 103:            error-index                 -- sometimes ignored
 104:                INTEGER (0..max-bindings),
 105: 
 106:            variable-bindings           -- values are sometimes ignored
 107:                VarBindList
 108:        }
 108: warning - warning: flushing recent incorrect declaration, see previous error(s)
 109: 
 110:    BulkPDU ::=                         -- must be identical in
 111:        SEQUENCE {                      -- structure to PDU
 112:            request-id      INTEGER (-214783648..214783647),
 113:            non-repeaters   INTEGER (0..max-bindings),
 113: severe - syntax error, unexpected LOWERCASE_IDENTIFIER
 114:            max-repetitions INTEGER (0..max-bindings),
 115: 
 116:            variable-bindings           -- values are ignored
 117:                VarBindList
 118:        }
 118: warning - warning: flushing recent incorrect declaration, see previous error(s)
 119: 
 120:    -- variable binding
 121:    VarBind ::= SEQUENCE {
 122:            name ObjectName,
 123: 
 124:            CHOICE {
 124: severe - syntax error, unexpected CHOICE, expecting LOWERCASE_IDENTIFIER
 125:                value          ObjectSyntax,
 126:                unSpecified    NULL,    -- in retrieval requests
 127: 
 128:                                        -- exceptions in responses
 129:                noSuchObject   [0] IMPLICIT NULL,
 130:                noSuchInstance [1] IMPLICIT NULL,
 131:                endOfMibView   [2] IMPLICIT NULL
 132:            }
 132: warning - warning: flushing recent incorrect declaration, see previous error(s)
 133:        }
 133: severe - syntax error, unexpected '}'
 133: warning - warning: flushing recent incorrect declaration, see previous error(s)
 134: 
 135:    -- variable-binding list
 136: 
 137:    VarBindList ::= SEQUENCE (SIZE (0..max-bindings)) OF VarBind
 137: severe - syntax error, unexpected '(', expecting OF or '{'
 138: 
 139:    END
 140: 
 141: -- 
 142: --    Copyright (C) The Internet Society (2002).  All Rights Reserved.
 143: -- 
 144: --    This document and translations of it may be copied and furnished to
 145: --    others, and derivative works that comment on or otherwise explain it
 146: --    or assist in its implementation may be prepared, copied, published
 147: --    and distributed, in whole or in part, without restriction of any
 148: --    kind, provided that the above copyright notice and this paragraph are
 149: --    included on all such copies and derivative works.  However, this
 150: --    document itself may not be modified in any way, such as by removing
 151: --    the copyright notice or references to the Internet Society or other
 152: --    Internet organizations, except as needed for the purpose of
 153: --    developing Internet standards in which case the procedures for
 154: --    copyrights defined in the Internet Standards process must be
 155: --    followed, or as required to translate it into languages other than
 156: --    English.
 157: -- 
 158: --    The limited permissions granted above are perpetual and will not be
 159: --    revoked by the Internet Society or its successors or assigns.
 160: -- 
 161: --    This document and the information contained herein is provided on an
 162: --    "AS IS" basis and THE INTERNET SOCIETY AND THE INTERNET ENGINEERING
 163: --    TASK FORCE DISCLAIMS ALL WARRANTIES, EXPRESS OR IMPLIED, INCLUDING
 164: --    BUT NOT LIMITED TO ANY WARRANTY THAT THE USE OF THE INFORMATION
 165: --    HEREIN WILL NOT INFRINGE ANY RIGHTS OR ANY IMPLIED WARRANTIES OF
 166: --    MERCHANTABILITY OR FITNESS FOR A PARTICULAR PURPOSE.
 167: -- 
 168: