smilint output for ./SNMPv2-CONF

Messages:

SNMPv2-CONF

   1: -- extracted from rfc2580.txt
   2: -- at Fri Dec 24 21:43:20 1999

   3: 
   4: SNMPv2-CONF DEFINITIONS ::= BEGIN
   5: 
   6: IMPORTS ObjectName, NotificationName, ObjectSyntax
   7:                                                FROM SNMPv2-SMI;

   8: 
   9: -- definitions for conformance groups
  10: 
  11: OBJECT-GROUP MACRO ::=
  12: BEGIN
  13:     TYPE NOTATION ::=
  14:                   ObjectsPart
  15:                   "STATUS" Status
  16:                   "DESCRIPTION" Text
  17:                   ReferPart
  18: 
  19:     VALUE NOTATION ::=
  20:                   value(VALUE OBJECT IDENTIFIER)
  21: 
  22:     ObjectsPart ::=
  23:                   "OBJECTS" "{" Objects "}"
  24:     Objects ::=
  25:                   Object
  26:                 | Objects "," Object
  27:     Object ::=
  28:                   value(ObjectName)
  29: 
  30:     Status ::=
  31:                   "current"
  32:                 | "deprecated"
  33:                 | "obsolete"
  34: 
  35:     ReferPart ::=
  36:                   "REFERENCE" Text
  37:                 | empty
  38: 
  39:     -- a character string as defined in [2]
  40:     Text ::= value(IA5String)
  41: END
  42: 
  43: -- more definitions for conformance groups
  44: 
  45: NOTIFICATION-GROUP MACRO ::=
  46: BEGIN
  47:     TYPE NOTATION ::=
  48:                   NotificationsPart
  49:                   "STATUS" Status
  50:                   "DESCRIPTION" Text
  51:                   ReferPart
  52: 
  53:     VALUE NOTATION ::=
  54:                   value(VALUE OBJECT IDENTIFIER)
  55: 
  56:     NotificationsPart ::=
  57:                   "NOTIFICATIONS" "{" Notifications "}"
  58:     Notifications ::=
  59:                   Notification
  60:                 | Notifications "," Notification
  61:     Notification ::=
  62:                   value(NotificationName)
  63: 
  64:     Status ::=
  65:                   "current"
  66:                 | "deprecated"
  67:                 | "obsolete"
  68: 
  69:     ReferPart ::=
  70:                   "REFERENCE" Text
  71:                 | empty
  72: 
  73:     -- a character string as defined in [2]
  74:     Text ::= value(IA5String)
  75: END
  76: -- definitions for compliance statements
  77: 
  78: MODULE-COMPLIANCE MACRO ::=
  79: BEGIN
  80:     TYPE NOTATION ::=
  81:                   "STATUS" Status
  82:                   "DESCRIPTION" Text
  83:                   ReferPart
  84:                   ModulePart
  85: 
  86:     VALUE NOTATION ::=
  87:                   value(VALUE OBJECT IDENTIFIER)
  88: 
  89:     Status ::=
  90:                   "current"
  91:                 | "deprecated"
  92:                 | "obsolete"
  93: 
  94:     ReferPart ::=
  95:                   "REFERENCE" Text
  96:                 | empty
  97: 
  98:     ModulePart ::=
  99:                   Modules
 100:     Modules ::=
 101:                   Module
 102:                 | Modules Module
 103:     Module ::=
 104:                   -- name of module --
 105:                   "MODULE" ModuleName
 106:                   MandatoryPart
 107:                   CompliancePart
 108: 
 109:     ModuleName ::=
 110:                   -- identifier must start with uppercase letter
 111:                   identifier ModuleIdentifier
 112:                   -- must not be empty unless contained
 113:                   -- in MIB Module
 114:                 | empty
 115:     ModuleIdentifier ::=
 116:                   value(OBJECT IDENTIFIER)
 117:                 | empty
 118: 
 119:     MandatoryPart ::=
 120:                   "MANDATORY-GROUPS" "{" Groups "}"
 121:                 | empty
 122: 
 123:     Groups ::=
 124:                   Group
 125:                 | Groups "," Group
 126:     Group ::=
 127:                   value(OBJECT IDENTIFIER)
 128: 
 129:     CompliancePart ::=
 130:                   Compliances
 131:                 | empty
 132: 
 133:     Compliances ::=
 134:                   Compliance
 135:                 | Compliances Compliance
 136:     Compliance ::=
 137:                   ComplianceGroup
 138:                 | Object
 139: 
 140:     ComplianceGroup ::=
 141:                   "GROUP" value(OBJECT IDENTIFIER)
 142:                   "DESCRIPTION" Text
 143: 
 144:     Object ::=
 145:                   "OBJECT" value(ObjectName)
 146:                   SyntaxPart
 147:                   WriteSyntaxPart
 148:                   AccessPart
 149:                   "DESCRIPTION" Text
 150: 
 151:     -- must be a refinement for object's SYNTAX clause
 152:     SyntaxPart ::= "SYNTAX" Syntax
 153:                 | empty
 154: 
 155:     -- must be a refinement for object's SYNTAX clause
 156:     WriteSyntaxPart ::= "WRITE-SYNTAX" Syntax
 157:                 | empty
 158: 
 159:     Syntax ::=    -- Must be one of the following:
 160:                        -- a base type (or its refinement),
 161:                        -- a textual convention (or its refinement), or
 162:                        -- a BITS pseudo-type
 163:                   type
 164:                 | "BITS" "{" NamedBits "}"
 165: 
 166:     NamedBits ::= NamedBit
 167:                 | NamedBits "," NamedBit
 168: 
 169:     NamedBit ::= identifier "(" number ")" -- number is nonnegative
 170: 
 171:     AccessPart ::=
 172:                   "MIN-ACCESS" Access
 173:                 | empty
 174:     Access ::=
 175:                   "not-accessible"
 176:                 | "accessible-for-notify"
 177:                 | "read-only"
 178:                 | "read-write"
 179:                 | "read-create"
 180: 
 181:     -- a character string as defined in [2]
 182:     Text ::= value(IA5String)
 183: END
 184: 
 185: -- definitions for capabilities statements
 186: 
 187: AGENT-CAPABILITIES MACRO ::=
 188: BEGIN
 189:     TYPE NOTATION ::=
 190:                   "PRODUCT-RELEASE" Text
 191:                   "STATUS" Status
 192:                   "DESCRIPTION" Text
 193:                   ReferPart
 194:                   ModulePart
 195: 
 196:     VALUE NOTATION ::=
 197:                   value(VALUE OBJECT IDENTIFIER)
 198: 
 199:     Status ::=
 200:                   "current"
 201:                 | "obsolete"
 202: 
 203:     ReferPart ::=
 204:                   "REFERENCE" Text
 205:                 | empty
 206: 
 207:     ModulePart ::=
 208:                   Modules
 209:                 | empty
 210:     Modules ::=
 211:                   Module
 212:                 | Modules Module
 213:     Module ::=
 214:                   -- name of module --
 215:                   "SUPPORTS" ModuleName
 216:                   "INCLUDES" "{" Groups "}"
 217:                   VariationPart
 218: 
 219:     ModuleName ::=
 220:                   -- identifier must start with uppercase letter
 221:                   identifier ModuleIdentifier
 222:     ModuleIdentifier ::=
 223:                   value(OBJECT IDENTIFIER)
 224:                 | empty
 225: 
 226:     Groups ::=
 227:                   Group
 228:                 | Groups "," Group
 229:     Group ::=
 230:                   value(OBJECT IDENTIFIER)
 231: 
 232:     VariationPart ::=
 233:                   Variations
 234:                 | empty
 235:     Variations ::=
 236:                   Variation
 237:                 | Variations Variation
 238: 
 239:     Variation ::=
 240:                   ObjectVariation
 241:                 | NotificationVariation
 242: 
 243:     NotificationVariation ::=
 244:                   "VARIATION" value(NotificationName)
 245:                   AccessPart
 246:                   "DESCRIPTION" Text
 247: 
 248:     ObjectVariation ::=
 249:                   "VARIATION" value(ObjectName)
 250:                   SyntaxPart
 251:                   WriteSyntaxPart
 252:                   AccessPart
 253:                   CreationPart
 254:                   DefValPart
 255:                   "DESCRIPTION" Text
 256: 
 257:     -- must be a refinement for object's SYNTAX clause
 258:     SyntaxPart ::= "SYNTAX" Syntax
 259:                 | empty
 260: 
 261:     WriteSyntaxPart ::= "WRITE-SYNTAX" Syntax
 262:                 | empty
 263: 
 264:     Syntax ::=    -- Must be one of the following:
 265:                        -- a base type (or its refinement),
 266:                        -- a textual convention (or its refinement), or
 267:                        -- a BITS pseudo-type
 268: 
 269:                   type
 270:                 | "BITS" "{" NamedBits "}"
 271: 
 272:     NamedBits ::= NamedBit
 273:                 | NamedBits "," NamedBit
 274: 
 275:     NamedBit ::= identifier "(" number ")" -- number is nonnegative
 276: 
 277:     AccessPart ::=
 278:                   "ACCESS" Access
 279:                 | empty
 280: 
 281:     Access ::=
 282:                   "not-implemented"
 283:                 -- only "not-implemented" for notifications
 284:                 | "accessible-for-notify"
 285:                 | "read-only"
 286:                 | "read-write"
 287:                 | "read-create"
 288:                 -- following is for backward-compatibility only
 289:                 | "write-only"
 290: 
 291:     CreationPart ::=
 292:                   "CREATION-REQUIRES" "{" Cells "}"
 293:                 | empty
 294:     Cells ::=
 295:                   Cell
 296:                 | Cells "," Cell
 297:     Cell ::=
 298:                   value(ObjectName)
 299: 
 300:     DefValPart ::= "DEFVAL" "{" Defvalue "}"
 301:                 | empty
 302: 
 303:     Defvalue ::=  -- must be valid for the object's syntax
 304:                   -- in this macro's SYNTAX clause, if present,
 305:                   -- or if not, in object's OBJECT-TYPE macro
 306:                   value(ObjectSyntax)
 307:                 | "{" BitsValue "}"
 308: 
 309:     BitsValue ::= BitNames
 310:                 | empty
 311: 
 312:     BitNames ::=  BitName
 313:                 | BitNames "," BitName
 314: 
 315:     BitName ::= identifier
 316:     -- a character string as defined in [2]
 317:     Text ::= value(IA5String)
 318: END
 319: 
 320: END
 321: 
 322: -- 
 323: --    Copyright (C) The Internet Society (1999).  All Rights Reserved.
 324: -- 
 325: --    This document and translations of it may be copied and furnished to
 326: --    others, and derivative works that comment on or otherwise explain it
 327: --    or assist in its implementation may be prepared, copied, published
 328: --    and distributed, in whole or in part, without restriction of any
 329: --    kind, provided that the above copyright notice and this paragraph are
 330: --    included on all such copies and derivative works.  However, this
 331: --    document itself may not be modified in any way, such as by removing
 332: --    the copyright notice or references to the Internet Society or other
 333: --    Internet organizations, except as needed for the purpose of
 334: --    developing Internet standards in which case the procedures for
 335: --    copyrights defined in the Internet Standards process must be
 336: --    followed, or as required to translate it into languages other than
 337: --    English.
 338: -- 
 339: --    The limited permissions granted above are perpetual and will not be
 340: --    revoked by the Internet Society or its successors or assigns.
 341: -- 
 342: --    This document and the information contained herein is provided on an
 343: --    "AS IS" basis and THE INTERNET SOCIETY AND THE INTERNET ENGINEERING
 344: --    TASK FORCE DISCLAIMS ALL WARRANTIES, EXPRESS OR IMPLIED, INCLUDING
 345: --    BUT NOT LIMITED TO ANY WARRANTY THAT THE USE OF THE INFORMATION
 346: --    HEREIN WILL NOT INFRINGE ANY RIGHTS OR ANY IMPLIED WARRANTIES OF
 347: --    MERCHANTABILITY OR FITNESS FOR A PARTICULAR PURPOSE."
 348: