/SpecSharp/Microsoft.SpecSharp/Error.cs
C# | 2316 lines | 2238 code | 53 blank | 25 comment | 575 complexity | fd54e9cd51da3179763b2c0416b04a49 MD5 | raw file
Large files files are truncated, but you can click here to view the full file
- //-----------------------------------------------------------------------------
- //
- // Copyright (C) Microsoft Corporation. All Rights Reserved.
- //
- //-----------------------------------------------------------------------------
- //
- #if CCINamespace
- using Microsoft.Cci;
- using Cci = Microsoft.Cci;
- using SysError = Microsoft.Cci.Error;
- #else
- using System.Compiler;
- using Cci = System.Compiler;
- using SysError = System.Compiler.Error;
- #endif
- using System;
- using System.Collections;
- using System.Text;
- using System.Globalization;
-
- namespace Microsoft.SpecSharp{
- public sealed class PragmaInfo {
- internal readonly int LineNum;
- internal readonly bool Disable;
- internal readonly PragmaInfo Next;
- internal PragmaInfo(
- int lineNum,
- bool disable,
- PragmaInfo next
- ) {
- this.LineNum = lineNum;
- this.Disable = disable;
- this.Next = next;
- }
- }
-
- internal enum Error {
- None = 0,
- AbstractAndExtern = 180,
- AbstractAndSealed = 502,
- AbstractAttributeClass = 653,
- AbstractBaseCall = 205,
- AbstractEventInitializer = 74,
- AbstractHasBody = 500,
- AbstractInConcreteClass = 513,
- AbstractNotVirtual = 503,
- AbstractSealedStatic = 418,
- AddModuleAssembly = 1542,
- AddOrRemoveExpected = 1055,
- AddRemoveMustHaveBody = 73,
- AliasNotFound = 432,
- AlwaysNull = 458,
- AmbigBinaryOps = 34,
- AmbigCall = 121,
- AmbigContext = 104,
- AmbigQM = 172,
- AmbiguousAttribute = 1614,
- AnonMethNotAllowed = 1706,
- AnonMethToNonDel = 1660,
- ArrayElementCantBeRefAny = 611,
- ArrayInitInBadPlace = 623,
- ArrayInitToNonArrayType = 622,
- ArrayOfStaticClass = 719,
- AsMustHaveReferenceType = 77,
- AsWithTypeVar = 413,
- AssgLvalueExpected = 131,
- AssgReadonly = 191,
- AssgReadonlyLocal = 1604,
- AssgReadonlyLocalCause = 1656,
- AssgReadonlyProp = 200,
- AssgReadonlyStatic = 198,
- AttributeLocationOnBadDeclaration = 657,
- AttributeOnBadSymbolType = 592,
- AttributeUsageOnNonAttributeClass = 641,
- AutoResGen = 1567,
- BadAccess = 122,
- BadArgCount = 1501,
- BadArgExtraRef = 1615,
- BadArgumentToNameAttribute = 633,
- BadArity2 = 305,
- BadArraySyntax = 1552,
- BadAttributeParam = 182,
- BadBaseType = 1521,
- BadBinaryOps = 19,
- BadBinaryOperatorSignature = 563,
- BadBoolOp = 217,
- BadCastInFixed = 254,
- BadCodePage = 2021,
- BadDelArgCount = 1593,
- BadDelegateLeave = 1632,
- BadDirectivePlacement = 1040,
- BadEmbeddedStmt = 1023,
- BadEmptyThrow = 156,
- BadEmptyThrowInFinally = 724,
- BadEventUsage = 70,
- BadEventUsageNoField = 79,
- BadExceptionType = 155,
- BadFinallyLeave = 157,
- BadFixedInitType = 209,
- BadForeachDecl = 230,
- BadGetEnumerator = 202,
- BadIncDecSignature = 559,
- BadIndexCount = 22,
- BadIteratorReturn = 1624,
- BadModifierLocation = 1585,
- BadModifiersOnNamespace = 1671,
- BadNamedAttributeArgument = 617,
- BadNamedAttributeArgumentType = 655,
- BadNewExpr = 1526,
- BadOperatorSyntax = 1553,
- BadOperatorSyntax2 = 1554,
- BadProtectedAccess = 1540,
- BadRefCompareLeft = 252,
- BadRefCompareRight = 253,
- BadSKknown = 118,
- BadSKunknown = 119,
- BadStackAllocExpr = 1575,
- BadTokenInType = 1518,
- BadTypeReference = 572,
- BadVarDecl = 1528,
- BadVisBaseClass = 60,
- BadVisBaseInterface = 61,
- BadVisDelegateParam = 59,
- BadVisDelegateReturn = 58,
- BadVisFieldType = 52,
- BadVisIndexerParam = 55,
- BadVisIndexerReturn = 54,
- BadVisOpParam = 57,
- BadVisOpReturn = 56,
- BadVisParamType = 51,
- BadVisPropertyType = 53,
- BadVisReturnType = 50,
- BadUnaryOp = 23,
- BadUnaryOperatorSignature = 562,
- BadUseOfMethod = 654,
- BadWin32Res = 1583,
- BaseIllegal = 175,
- BaseInBadContext = 1512,
- BadIndexLHS = 21,
- BaseInStaticMeth = 1511,
- BatchFileNotRead = 2003,
- BitwiseOrSignExtend = 675,
- CallingBaseFinalizeDeprecated = 250,
- CallingFinalizeDeprecated = 245,
- CannotMarkOverrideMethodNewOrVirtual = 113,
- CantCallSpecialMethod = 571,
- CantChangeAccessOnOverride = 507,
- CantChangeReturnTypeOnOverride = 508,
- CantConvAnonMethParams = 1661,
- CantConvAnonMethNoParams = 1688,
- CantConvAnonMethReturns = 1662,
- CantDeriveFromSealedClass = 509,
- CantInferMethTypeArgs = 411,
- CantOverrideAccessor = 560,
- CantOverrideNonEvent = 72,
- CantOverrideNonFunction = 505,
- CantOverrideNonProperty = 544,
- CantOverrideNonVirtual = 506,
- CantOverrideSealed = 239,
- CantOverrideSpecialMethod = 561,
- CaseFallThrough = 163,
- CheckedOverflow = 220,
- CircConstValue = 110,
- CircularBase = 146,
- ClassDoesntImplementInterface = 540,
- CloseUnimplementedInterfaceMember = 536,
- CLSNotOnModules = 3012,
- ColColWithTypeAlias = 431,
- ComImportWithoutUuidAttribute = 596,
- ConcreteMissingBody = 501,
- ConditionalMustReturnVoid = 578,
- ConditionalOnInterfaceMethod = 582,
- ConditionalOnOverride = 243,
- ConditionalOnSpecialMethod = 577,
- ConflictAliasAndMember = 576,
- ConflictingProtectionModifier = 107,
- ConstantExpected = 150,
- ConstOutOfRange = 31,
- ConstOutOfRangeChecked = 221,
- ConstraintIsStaticClass = 717,
- ConstructorInStaticClass = 710,
- ConstValueRequired = 145,
- ConversionNotInvolvingContainedType = 556,
- ConversionWithBase = 553,
- ConversionWithDerived = 554,
- ConversionWithInterface = 552,
- ConvertToStaticClass = 716,
- CryptoFailed = 1548,
- CStyleArray = 650,
- CustomAttributeError = 647,
- CycleInInterfaceInheritance = 529,
- DebugInitFile = 42,
- DeprecatedSymbol = 612,
- DeprecatedSymbolError = 613,
- DeprecatedSymbolStr = 618,
- DeprecatedSymbolStrError = 619,
- DeriveFromEnumOrValueType = 644,
- DestructorInStaticClass = 711,
- DllImportOnInvalidMethod = 601,
- DontUseInvoke = 1533,
- DottedTypeNameNotFoundInAgg = 426,
- DuplicateAccessor = 1007,
- DuplicateAlias = 1537,
- DuplicateAttribute = 579,
- DuplicateCaseLabel = 152,
- DuplicateConversionInClass = 557,
- DuplicateInterfaceInBaseList = 528,
- DuplicateLabel = 140,
- DuplicateModifier = 1004,
- DuplicateNamedAttributeArgument = 643,
- DuplicateNameInClass = 102,
- DuplicateNameInNS = 101,
- DuplicateParamName = 100,
- DuplicateResponseFile = 2014,
- DuplicateUsing = 105,
- EmptyCharConst = 1011,
- EmptySwitch = 1522,
- EndifDirectiveExpected = 1027,
- EndOfPPLineExpected = 1025,
- EndRegionDirectiveExpected = 1038,
- EnumeratorOverflow = 543,
- EOFExpected = 1022,
- EqualityOpWithoutEquals = 660,
- EqualityOpWithoutGetHashCode = 661,
- ErrorDirective = 1029,
- EventNeedsBothAccessors = 65,
- EventNotDelegate = 66,
- EventPropertyInInterface = 69,
- ExpectedEndTry = 1524,
- ExpectedIdentifier = 1001,
- ExpectedLeftBrace = 1514,
- ExpectedRightBrace = 1513,
- ExpectedRightParenthesis = 1026,
- ExpectedSemicolon = 1002,
- ExplicitEventFieldImpl = 71,
- ExplicitInterfaceImplementationInNonClassOrStruct = 541,
- ExplicitInterfaceImplementationNotInterface = 538,
- ExplicitMethodImplAccessor = 683,
- ExplicitParamArray = 674,
- ExplicitPropertyAddingAccessor = 550,
- ExplicitPropertyMissingAccessor = 551,
- ExternAfterElements = 439,
- ExternHasBody = 179,
- ExternMethodNoImplementation = 626,
- FeatureNYI2 = 189,
- FieldInitRefNonstatic = 236,
- FieldInitializerInStruct = 573,
- FixedMustInit = 210,
- FixedNeeded = 212,
- FixedNotNeeded = 213,
- FloatOverflow = 594,
- ForEachMissingMember = 1579,
- GenericArgIsStaticClass = 718,
- GenericConstraintNotSatisfied = 309,
- GetOrSetExpected = 1014,
- GlobalSingleTypeNameNotFound = 400,
- HasNoTypeVars = 308,
- HidingAbstractMethod = 533,
- IdentityConversion = 555,
- IllegalEscape = 1009,
- IllegalPointerType=1005,
- IllegalQualifiedNamespace = 134,
- IllegalStatement = 201,
- IllegalUnsafe = 227,
- ImportNonAssembly = 1509,
- InconsistantIndexerNames = 668,
- IdentifierExpectedKW = 1041,
- IndexerInStaticClass = 720,
- IndexerNeedsParam = 1551,
- IndexerWithRefParam = 631,
- InExpected = 1515,
- InstanceMemberInStaticClass = 708,
- InstantiatingStaticClass = 712,
- IntDivByZero = 20,
- IntegralTypeExpected = 1008,
- IntegralTypeValueExpected = 151,
- InterfaceEventInitializer = 68,
- InterfaceImplementedByConditional = 629,
- InterfaceMemberHasBody = 531,
- InterfaceMemberNotFound = 539,
- InterfacesCantContainOperators = 567,
- InterfacesCannotContainConstructors = 526,
- InterfacesCannotContainFields = 525,
- InterfacesCannotContainTypes = 524,
- InternalCompilerError = 1,
- IntOverflow = 1021,
- InvalidArglistConstructContext = 190,
- InvalidArray = 178,
- InvalidAttributeArgument = 591,
- InvalidAttributeLocation = 658,
- InvalidCall = 123,
- InvalidGotoCase = 153,
- InvalidExprTerm = 1525,
- InvalidLineNumber = 1576,
- InvalidMainSig = 28,
- InvalidMemberDecl = 1519,
- InvalidModifier = 106,
- InvalidAddrOp = 211,
- InvalidPreprocExpr = 1517,
- InvalidQM = 173,
- IsAlwaysFalse = 184,
- IsAlwaysTrue = 183,
- IsBinaryFile = 2015,
- LabelNotFound = 159,
- LiteralDoubleCast = 664,
- LocalDuplicate = 128,
- LocalShadowsOuterDeclaration = 136,
- LockNeedsReference = 185,
- LowercaseEllSuffix = 78,
- MainCantBeGeneric = 402,
- ManagedAddr = 208,
- MemberAlreadyExists = 111,
- MemberNameSameAsType = 542,
- MemberNeedsType = 1520,
- MethodArgCantBeRefAny = 1601,
- MethodNameExpected = 149,
- MethodReturnCantBeRefAny = 1564,
- MissingArraySize = 1586,
- MissingPartial = 260,
- MissingPPFile = 1578,
- MissingStructOffset = 625,
- MultipleEntryPoints = 17,
- MultipleTypeDefs = 1595,
- MultiTypeInDeclaration = 1044,
- MustHaveOpTF = 218,
- NamedArgumentExpected = 1016,
- NamespaceUnexpected = 116,
- NameAttributeOnOverride = 609,
- NameNotInContext = 103,
- NegativeArraySize = 248,
- NegativeStackAllocSize = 247,
- NewBoundMustBeLast = 401,
- NewConstraintNotSatisfied=310,
- NewlineInConst = 1010,
- NewNotRequired = 109,
- NewOnNamespaceElement = 1530,
- NewOrOverrideExpected = 114,
- NewRequired = 108,
- NewVirtualInSealed = 549,
- NoArglistInIndexers = 237,
- NoArglistInDelegates = 235,
- NoBreakOrCont = 139,
- NoConstructors = 143,
- NoCommentEnd = 1035,
- NoDefaultArgs = 241,
- NoEntryPoint = 5001,
- NoExplicitBuiltinConv = 39,
- NoExplicitConversion = 30,
- NoGetToOverride = 545,
- NoImplicitConversion = 29,
- NoImplicitConvCast = 266,
- NoModifiersOnAccessor = 1609,
- NoNewAbstract = 144,
- NoSetToOverride = 546,
- NoSources = 2008,
- NoSuchFile = 2005,
- NoSuchMember = 117,
- NoSuchOperator = 187,
- NotAnAttributeClass = 616,
- NotConstantExpression = 133,
- NoVoidHere = 1547,
- NoVoidParameter = 1536,
- NonInterfaceInInterfaceList = 527,
- NonObsoleteOverridingObsolete = 672,
- NullNotValid = 186,
- ObjectProhibited = 176,
- ObjectRequired = 120,
- OnlyClassesCanContainDestructors = 575,
- OperatorCantReturnVoid = 590,
- OperatorInStaticClass = 715,
- OperatorNeedsMatch = 216,
- OperatorsMustBeStatic = 558,
- OpTFRetType = 215,
- OutputWriteFailed = 16,
- OverloadRefOut = 663,
- OverrideFinalizeDeprecated = 249,
- OverrideNotExpected = 115,
- OvlBinaryOperatorExpected = 1020,
- OvlUnaryOperatorExpected = 1019,
- ParameterIsStaticClass = 721,
- ParamsCantBeRefOut = 1611,
- ParamsMustBeArray = 225,
- ParamsOrVarargsMustBeLast = 231,
- ParamUnassigned = 0177,
- PartialMisplaced = 267,
- PartialModifierConflict = 262,
- PartialMultipleBases = 263,
- PartialTypeKindConflict = 261,
- PointerInAsOrIs = 244,
- PtrIndexSingle = 196,
- PossibleBadNegCast = 75,
- PossibleMistakenNullStatement = 642,
- PPDefFollowsToken = 1032,
- PPDirectiveExpected = 1024,
- PrivateOrProtectedNamespaceElement = 1527,
- PropertyCantHaveVoidType = 547,
- PropertyLacksGet = 154,
- PropertyWithNoAccessors = 548,
- ProtectedInSealed = 628,
- ProtectedInStruct = 666,
- PtrExpected = 193,
- RecursiveConstructorCall = 516,
- RefConstraintNotSatisfied = 452,
- RefLvalueExpected = 1510,
- RefReadonly = 192,
- RefReadonlyLocal = 1605,
- RefReadonlyLocalCause = 1657,
- RefReadonlyProperty = 206,
- RefReadonlyStatic = 199,
- RefValBoundMustBeFirst = 449,
- RelatedErrorLocation = 10002,
- RelatedErrorModule = 10003,
- RelatedWarningLocation = 10004,
- RelatedWarningModule = 10005,
- RetNoObjectRequired = 127,
- RetObjectRequired = 126,
- ReturnExpected = 0161,
- ReturnNotLValue = 1612,
- ReturnTypeIsStaticClass = 722,
- SealedNonOverride = 238,
- SealedStaticClass = 441,
- SingleTypeNameNotFound = 246,
- SizeofUnsafe = 233,
- SourceFileNotRead = 2001,
- StackallocInCatchFinally = 255,
- StaticBaseClass = 709,
- StaticClassInterfaceImpl = 714,
- StaticConstant = 504,
- StaticConstParam = 132,
- StaticConstructorWithAccessModifiers = 515,
- StaticConstructorWithExplicitConstructorCall = 514,
- StaticDerivedFromNonObject = 713,
- StaticNotVirtual = 112,
- StmtNotInCase = 1523,
- StructLayoutCycle = 523,
- StructOffsetOnBadStruct = 636,
- StructOffsetOnBadField = 637,
- StructsCantContainDefaultContructor = 568,
- StructWithBaseConstructorCall = 522,
- SyntaxError = 1003,
- ThisInBadContext = 27,
- ThisInStaticMeth = 26,
- ThisOrBaseExpected = 1018,
- TooManyArgumentsToAttribute = 580,
- TooManyCatches = 1017,
- TooManyCharsInConst = 1012,
- TypeArgsNotAllowed = 307,
- TypeExpected = 1031,
- TypeNameNotFound = 234,
- TypeVarCantBeNull = 403,
- UnassignedThis = 171,
- UnexpectedDirective = 1028,
- UnimplementedAbstractMethod = 534,
- UnimplementedInterfaceMember = 535,
- UnknownOption = 2007,
- UnreachableCatch = 160,
- UnreachableCode = 162,
- UnreferencedLabel = 164,
- UnreferencedVar = 0168,
- UnreferencedVarAssg = 219,
- UnsafeNeeded = 214,
- UseDefViolation = 165,
- UseDefViolationField = 170, // Not enforced yet.
- UseDefViolationOut = 269, // partially enforced. ( only usedef, no must-assign-before-exit)
- UseDefViolationThis = 188, // Not enforced yet.
- UseSwitchInsteadOfAttribute = 1699,
- UsingAfterElements = 1529,
- VacuousIntegralComp = 652,
- ValueCantBeNull = 37,
- ValConstraintNotSatisfied = 453,
- VarDeclIsStaticClass = 723,
- VirtualPrivate = 621,
- VoidError = 242,
- VolatileAndReadonly = 678,
- VolatileByRef = 420,
- VolatileStruct = 677,
- WarningDirective = 1030,
- Win32ResourceFileNotRead = 2002,
- WrongNameForDestructor = 574,
- WrongNestedThis = 38,
- WrongParsForBinOp = 1534,
- WrongParsForUnaryOp = 1535,
-
- InvalidAssemblyName = 1700,
- UnifyReferenceMajMin = 1701,
- UnifyReferenceBldRev = 1702,
- DuplicateImport = 1703,
- DuplicateImportSimple = 1704,
- AssemblyMatchBadVersion = 1705,
- DelegateNewMethBind = 1707,
- FixedNeedsLvalue = 1708,
- EmptyFileName = 1709,
- DuplicateTypeParamTag = 1710,
- UnmatchedTypeParamTag = 1711,
- MissingTypeParamTag = 1712,
- TypeNameBuilderError = 1713,
- ImportBadBase = 1714,
- CantChangeTypeOnOverride = 1715,
- DoNotUseFixedBufferAttr = 1716,
- AssignmentToSelf = 1717,
- ComparisonToSelf = 1718,
- CantOpenWin32Res = 1719,
- DotOnDefault = 1720,
- NoMultipleInheritance = 1721,
- BaseClassMustBeFirst = 1722,
- BadXMLRefTypeVar = 1723,
- InvalidDefaultCharSetValue = 1724,
- FriendAssemblyBadArgs = 1725,
- FriendAssemblySNReq = 1726,
-
- BadEscapeSequence = 4000,
- BadHexDigit,
- BadDecimalDigit,
- UnexpectedToken,
-
- AmbiguousAssignment = 2500,
- CannotMarkAbstractPropertyVirtual,
- CannotMarkOverridePropertyNewOrVitual,
- ClosingTagMismatch,
- DebugContentModel,
- DummyXXXXXXXXX,
- DuplicateAttributeSpecified,
- EntityOverflow,
- ExpectedDoubleQuote,
- ExpectedElement,
- ExpectedExpression,
- ExpectedSingleQuote,
- FactorySignatureHasBody,
- ForwardReferenceToLocal,
- IncompleteContentExpecting,
- InvalidAxisSpecifier,
- InvalidContentExpecting,
- InvalidElementContent,
- InvalidElementContentNone,
- InvalidElementInEmpty,
- InvalidElementInTextOnly,
- InvalidPathExpression,
- InvalidTextInElement,
- InvalidTextInElementExpecting,
- InvalidWhitespaceInEmpty,
- LocalConstDuplicate,
- NoDefaultConstructor,
- NonDeterministic,
- NonDeterministicAny,
- NonDeterministicAssign,
- NoSuchAttribute,
- NoSuchElement,
- RequiredAttribute,
- UnknownEntity,
- UnescapedSingleQuote,
-
- Error,
- FatalError,
- Warning,
-
- InvalidTextWithReason, // todo: merge this in above (causes error numbers to change)
- CannotInstantiateTypeConverter,
- DuplicateMemberInLiteral,
- AssignmentExpressionInTuple,
- TupleIndexExpected,
- SealedTypeIsAlreadyInvariant,
- ValueTypeIsAlreadyInvariant,
- ValueTypeIsAlreadyNonNull,
- RedundantBox,
- BadBox,
- BadStream,
- RedundantStream,
- BadNonNull,
- BadNonNullOnStream,
- RedundantNonNull,
- BadNonEmptyStream,
- BadStreamOnNonNullStream,
- InvalidElementExpression,
- ContentModelNotSupported,
- QueryNotSupported,
- QueryNoMatch,
- QueryAmbiguousContextName,
- QueryBadAggregate,
- QueryBadAggregateForm,
- QueryBadGroupByList,
- QueryBadOrderList,
- QueryBadProjectionList,
- QueryBadQuantifier,
- QueryBadQuantifiedExpression,
- QueryBadDifferenceTypes,
- QueryBadInsertList,
- QueryBadIntersectionTypes,
- QueryBadLimit,
- QueryBadOrderItem,
- QueryBadUnionTypes,
- QueryBadUpdateList,
- QueryBadTypeFilter,
- QueryMissingDefaultConstructor,
- QueryNoContext,
- QueryNotScalar,
- QueryNotStream,
- QueryNotAddStream,
- QueryNotDeleteStream,
- QueryNotInsertStream,
- QueryNotUpdateStream,
- QueryProjectThroughTypeUnion,
- QueryIsCyclic,
- TypeDeclarationInsideElementGroup,
- ConstDeclarationInsideElementGroup,
- AttributeInsideElementGroup,
- QueryNotTransacted,
- QueryNotTransactable,
- QueryNoNestedTransaction,
- FieldInitializerInElementGroup,
- CannotYieldFromCatchClause,
- QueryBadLimitForNotPercent,
- QueryBadLimitNotLiteral,
- BadTupleIndex,
- CannotYieldFromTryBlock,
- BadTypeInferenceToVoid,
- WrongReturnTypeForIterator,
- AttributeInElementGroup,
- AmbiguousLiteralExpression,
- ExpectedRightBracket,
- NotAType,
- AssemblyKeyFileMissing,
- InvalidData,
- Win32IconFileNotRead,
- AbstractMethodTemplate,
- AbstractInterfaceMethod,
-
- ExpectedLeftParenthesis,
- CheckedExceptionNotInThrowsClause,
- ThrowsEnsuresOnConstructor,
-
- ExpressionIsAlreadyOfThisType,
-
- // MB -- 08/11/2004 added because they had been added to the Framework and not here
- CannotCoerceNullToNonNullType,
- CoercionToNonNullTypeMightFail,
- ReceiverMightBeNull,
- OnlyStructsAndClassesCanHaveInvariants,
- UpToMustBeSuperType,
- UpToMustBeClass,
- // ExpectedLeftParenthesis,
- MustSupportComprehension,
- MustSupportReductionXXXXXXXXXXXX,
- MustResolveToType,
- // CheckedExceptionNotInThrowsClause,
- MemberMustBePureForMethodContract,
- RequiresNotAllowedInOverride,
- ContractNotAllowedInExplicitInterfaceImplementation,
- CannotAddThrowsSet,
- CannotWeakenThrowsSet,
- DuplicateThrowsType,
- UncheckedExceptionInThrowsClause,
- RequiresNotAllowedInInterfaceImplementation,
- EnsuresInInterfaceNotInMethod,
- ModelMemberUseNotAllowedInContext,
- MemberMustBePureForInvariant,
- TypeMustSupportIntCoercions,
- CannotInjectContractFromInterface,
- CheckedExceptionInRequiresOtherwiseClause,
- ContractInheritanceRulesViolated,
- // ThrowsEnsuresOnConstructor,
-
- // UseDefViolation,
- // UseDefViolationOut, // partially enforced. ( only usedef, no must-assign-before-exit)
- // UseDefViolationField, // Not enforced yet.
- // UseDefViolationThis, // Not enforced yet.
- // ReturnExpected,
- // ParamUnassigned,
- // UnreferencedVar,
- // UnreferencedVarAssg,
- TemplateTypeRequiresArgs,
-
- // Nonnull related messages.
- ReceiverCannotBeNull,
- UseOfPossiblyNullPointer,
- UseOfNullPointer,
-
- InvalidCompilerOptionArgument,
- TypeOfExprMustBeGuardedClass,
-
- CannotLoadShadowedAssembly,
- TypeMissingInShadowedAssembly,
- MethodMissingInShadowedAssembly,
-
- NonNullFieldNotInitializedBeforeConstructorCall,
- ModifiesNotAllowedInOverride,
-
- NoSuchMethod,
- CouldNotLoadPluginType,
- CouldNotInstantiatePluginType,
- PluginTypeMustAlreadyBeCompiled,
- PluginTypeMustImplementIPlugin,
- PluginCrash,
-
- OtherwiseExpressionMustBeNonNull,
- OtherwiseExpressionMustBeType,
-
- GeneralComprehensionsNotAllowedInMethodContracts,
- StrictReadonlyNotReadonly,
- StrictReadonlyStatic,
- StrictReadonlyAssignment,
- StrictReadonlyMultipleAssignment,
-
- WritingPackedObject,
- ExposingExposedObject,
- DontKnowIfCanExposeObject,
-
- GenericWarning,
-
- AccessThroughDelayedReference,
- StoreIntoLessDelayedLocation,
- NonNullFieldNotInitializedAtEndOfDelayedConstructor,
-
- BaseNotInitialized,
- BaseMultipleInitialization,
-
- ActualCannotBeDelayed,
- DelayedReferenceByReference,
- DelayedRefParameter,
- DelayedStructConstructor,
- ActualMustBeDelayed,
- ReceiverCannotBeDelayed,
- ReceiverMustBeDelayed,
- NonNullFieldNotInitializedByDefaultConstructor,
- AccessThroughDelayedThisInConstructor,
-
- MustOverrideMethodMissing,
- MustOverrideMethodNotMarkedAsMustOverride,
- MethodMarkedMustOverrideMustBeVirtual,
-
- MethodInheritingPurityMustBeMarked,
- StaticMethodCannotBeMarkedWithAttribute,
- OverrideMethodNotMarkedWithAttribute,
-
- MutableHasImmutableBase,
- ImmutableHasMutableBase,
- ImmutableIfaceImplementedByMutableClass,
- MutableIfaceExtendsImmutableIface,
- RepOrPeerFieldImmutable,
- ImmutableClassHasPeerField,
- ImmutableConstructorBaseNotLast,
- ImmutableConstructorLastStmtMustBeBaseOrThis,
-
- BadUseOfOwnedOnMethod,
- UseOfRepOnVirtualMethod,
-
- NotAdmissibleTargetNotAdmissibile,
- NotAdmissibleTargetNotThis,
- NotAdmissibleFirstNonRepChainNotEnded,
- NotAdmissibleNonRepOrPeerChainNotEnded,
- NotAdmissibleBoundCollArrayNotRep,
- NotAdmissibleBoundCollArrayNotOwned,
- NotAdmissibleStaticNonStateIndependent,
- NotAdmissibleFirstAccessOnNonAdditiveField,
- NotAdmissibleFirstAccessOnFieldDeclaredInSubtype,
-
- StateIndependentSpecNotAdmissible,
- ConfinedSpecContainsPureCall,
- StateIndependentSpecContainsPureOrConfinedCall,
- IsNewExprInPureEnsures, // deprecated
- DisallowedInConfinedOrStIndepSpec,
-
- NoReferenceComparisonAttrNotCopied,
- NonPureMarkedNoReferenceComparison,
- ViolatedNoReferenceComparison,
- ResultNotNewlyAllocatedAttrNotCopied,
- NonPureMarkedResultNotNewlyAllocated,
- NonRefTypeMethodMarkedResultNotNewlyAllocated,
- MethodShouldBeMarkedNoReferenceComparison,
- BothOperandsOfReferenceComparisonMightBeNewlyAllocated,
-
- AttributeAllowedOnlyOnReferenceTypeParameters,
- ConflictingAttributes,
- VirtualMethodWithNonVirtualMethodAttribute,
- AttributeNotAllowedOnInterfaceMethods,
- AttributeNotAllowedOnPrivateMember,
- AttributeNotAllowedOnConstructor,
- AttributeNotAllowedOnlyOnInParameters,
-
- UnnecessaryNonNullCoercion,
- SideEffectsNotAllowedInContracts,
-
- ShouldCommit,
-
- ParameterNoDelayAttribute,
- ParameterExtraDelayAttribute,
- ThisParameterNoDelayAttribute,
- ThisParameterExtraDelayAttribute,
-
- ReturnOfDelayedValue,
- ShouldCommitOnAllPaths,
- UnboxDelayedValue,
- ThrowsDelayedValue,
- CannotUseDelayedPointer,
- CannotUseDelayedTypedRef,
-
- //ModelField errors
- SatisfiesInInterface,
- AssignToModelfield,
- InternalFieldInOverridableModelfield,
- GenericError,
-
-
- InvalidModifiesClause,
- MemberCannotBeAnnotatedAsPure,
- CannotMatchArglist,
- PureMethodWithOutParamUsedInContract,
- PureMethodCannotHaveRefParam,
- ReadsWithoutPure,
- InconsistentPurityAttributes,
- PureOwnedNotAllowed,
- PureMethodCannotHaveModifies,
- }
-
- internal class SpecSharpErrorNode : ErrorNode{
- private static WeakReference resourceManager = new WeakReference(null);
- internal static System.Resources.ResourceManager ResourceManager {
- get {
- System.Resources.ResourceManager rMgr = (System.Resources.ResourceManager)resourceManager.Target;
- if (rMgr == null) {
- SpecSharpErrorNode.resourceManager =
- new WeakReference(rMgr = new System.Resources.ResourceManager("Microsoft.SpecSharp.ErrorMessages", typeof(SpecSharpErrorNode).Module.Assembly));
- }
- return rMgr;
- }
- }
-
- internal SpecSharpErrorNode(Error code, params string[] messageParameters)
- : base((int)code, messageParameters){
- }
- public override string GetErrorNumber(){
- return "CS"+this.Code.ToString("0000");
- }
- public override string GetMessage(System.Globalization.CultureInfo culture){
- return this.GetMessage(((Error)this.Code).ToString(), SpecSharpErrorNode.ResourceManager, culture);
- }
- public override int Severity{
- get{
- switch ((Error)this.Code){
- case Error.AlwaysNull: return 2;
- case Error.AttributeLocationOnBadDeclaration: return 1;
- case Error.BadBox: return 1;
- case Error.BadNonEmptyStream: return 1;
- case Error.BadNonNull: return 1;
- case Error.BadNonNullOnStream: return 1;
- case Error.BadRefCompareLeft: return 2;
- case Error.BadRefCompareRight: return 2;
- case Error.BadStream: return 1;
- case Error.BadStreamOnNonNullStream: return 1;
- case Error.BitwiseOrSignExtend: return 3;
- case Error.CLSNotOnModules: return 1;
- case Error.DeprecatedSymbol: return 2;
- case Error.DeprecatedSymbolStr: return 2;
- case Error.DuplicateUsing: return 3;
- case Error.EmptySwitch: return 1;
- case Error.EqualityOpWithoutEquals: return 3;
- case Error.EqualityOpWithoutGetHashCode: return 3;
- case Error.ExpressionIsAlreadyOfThisType: return 4;
- case Error.ExternMethodNoImplementation: return 1;
- case Error.InvalidAttributeLocation: return 1;
- case Error.InvalidMainSig: return 4;
- case Error.IsAlwaysFalse: return 1;
- case Error.IsAlwaysTrue: return 1;
- case Error.LowercaseEllSuffix: return 4;
- case Error.MainCantBeGeneric: return 4;
- case Error.MultipleTypeDefs: return 1;
- case Error.NewOrOverrideExpected: return 2;
- case Error.NewNotRequired: return 4;
- case Error.NewRequired: return 1;
- case Error.NonObsoleteOverridingObsolete: return 1;
- case Error.PossibleMistakenNullStatement: return 3;
- case Error.ProtectedInSealed: return 4;
- case Error.RedundantBox: return 1;
- case Error.RedundantNonNull: return 1;
- case Error.RedundantStream: return 1;
- case Error.RelatedErrorLocation: return -1;
- case Error.RelatedErrorModule: return -1;
- case Error.RelatedWarningLocation: return -1;
- case Error.RelatedWarningModule: return -1;
- case Error.SealedTypeIsAlreadyInvariant: return 1;
- case Error.UnknownEntity: return 2;
- case Error.UnreachableCode: return 2;
- case Error.UnreferencedLabel: return 2;
- case Error.UnreferencedVarAssg: return 2;
- case Error.UseDefViolationField: return 1;
- case Error.UseSwitchInsteadOfAttribute: return 1;
- case Error.VacuousIntegralComp: return 2;
- case Error.ValueTypeIsAlreadyInvariant: return 1;
- case Error.ValueTypeIsAlreadyNonNull: return 1;
- case Error.VolatileByRef: return 1;
- case Error.WarningDirective: return 2;
-
- case Error.CoercionToNonNullTypeMightFail: return 2;
- case Error.CannotCoerceNullToNonNullType: return 1;
- case Error.UnnecessaryNonNullCoercion: return 2;
- case Error.ReceiverMightBeNull: return 2;
- case Error.ReceiverCannotBeNull: return 1;
- case Error.UseOfNullPointer: return 1;
- case Error.UseOfPossiblyNullPointer: return 2;
-
- case Error.CannotLoadShadowedAssembly: return 2;
- case Error.TypeMissingInShadowedAssembly: return 2;
- case Error.MethodMissingInShadowedAssembly: return 2;
-
- case Error.NonNullFieldNotInitializedBeforeConstructorCall: return 2;
- case Error.AccessThroughDelayedReference: return 2;
- case Error.StoreIntoLessDelayedLocation : return 2;
- case Error.NonNullFieldNotInitializedAtEndOfDelayedConstructor : return 2;
- case Error.BaseNotInitialized : return 2;
- case Error.BaseMultipleInitialization : return 2;
- case Error.ActualCannotBeDelayed : return 2;
- case Error.DelayedReferenceByReference : return 2;
- case Error.DelayedRefParameter : return 2;
- case Error.DelayedStructConstructor : return 2;
- case Error.ActualMustBeDelayed : return 2;
- case Error.ReceiverCannotBeDelayed : return 2;
- case Error.ReceiverMustBeDelayed : return 2;
- case Error.NonNullFieldNotInitializedByDefaultConstructor : return 2;
- case Error.AccessThroughDelayedThisInConstructor : return 2;
-
- case Error.ShouldCommit: return 2;
- case Error.ShouldCommitOnAllPaths: return 2;
- case Error.UnboxDelayedValue: return 2;
- case Error.ThrowsDelayedValue: return 2;
- case Error.CannotUseDelayedPointer: return 2;
- case Error.CannotUseDelayedTypedRef: return 2;
- case Error.GenericWarning: return 4;
- }
- return 0;
- }
- }
- }
- public class ErrorHandler : Cci.ErrorHandler{
- internal Parameter currentParameter;
- public TypeNode currentType;
- public bool refOrOutAddress;
-
- public ErrorHandler(ErrorNodeList errors)
- : base(errors){
- }
- internal static Error MapError(SysError error){
- switch(error){
- case SysError.AbstractAndExtern: return Error.AbstractAndExtern;
- case SysError.AbstractAttributeClass: return Error.AbstractAttributeClass;
- case SysError.AbstractBaseCall: return Error.AbstractBaseCall;
- case SysError.AbstractEventInitializer: return Error.AbstractEventInitializer;
- case SysError.AbstractHasBody: return Error.AbstractHasBody;
- case SysError.AbstractInterfaceMethod: return Error.AbstractInterfaceMethod;
- case SysError.AbstractMethodInConcreteType: return Error.AbstractInConcreteClass;
- case SysError.AbstractMethodTemplate: return Error.AbstractMethodTemplate;
- case SysError.AbstractSealedArrayElementType: return Error.ArrayOfStaticClass;
- case SysError.AbstractSealedBaseClass: return Error.StaticBaseClass;
- case SysError.AbstractSealedClassInterfaceImpl: return Error.StaticClassInterfaceImpl;
- case SysError.AbstractSealedDerivedFromNonObject: return Error.StaticDerivedFromNonObject;
- case SysError.AbstractSealedFieldType: return Error.VarDeclIsStaticClass;
- case SysError.AbstractSealedLocalType: return Error.VarDeclIsStaticClass;
- case SysError.AbstractSealedParameterType: return Error.ParameterIsStaticClass;
- case SysError.AbstractSealedReturnType: return Error.ReturnTypeIsStaticClass;
- case SysError.AccessThroughDelayedReference: return Error.AccessThroughDelayedReference;
- case SysError.AccessThroughDelayedThisInConstructor: return Error.AccessThroughDelayedThisInConstructor;
- case SysError.AccessToNonStaticOuterMember: return Error.WrongNestedThis;
- case SysError.ActualCannotBeDelayed: return Error.ActualCannotBeDelayed;
- case SysError.ActualMustBeDelayed: return Error.ActualMustBeDelayed;
- case SysError.AliasNotFound: return Error.AliasNotFound;
- case SysError.AlwaysNull: return Error.AlwaysNull;
- case SysError.AmbiguousBinaryOperation: return Error.AmbigBinaryOps;
- case SysError.AmbiguousCall: return Error.AmbigCall;
- case SysError.AmbiguousConditional: return Error.AmbigQM;
- case SysError.AmbiguousTypeReference: return Error.AmbigContext;
- case SysError.AnonymousNestedFunctionNotAllowed: return Error.AnonMethNotAllowed;
- case SysError.ArrayElementCannotBeTypedReference: return Error.ArrayElementCantBeRefAny;
- case SysError.ArrayInitializerLengthMismatch: return Error.InvalidArray;
- case SysError.AsMustHaveReferenceType: return Error.AsMustHaveReferenceType;
- case SysError.AssemblyCouldNotBeSigned: return Error.CryptoFailed;
- case SysError.AssemblyKeyFileMissing: return Error.AssemblyKeyFileMissing;
- case SysError.AssignmentHasNoEffect: return Error.AssgLvalueExpected;
- case SysError.AssignmentToBase: return Error.BaseIllegal;
- case SysError.AssignmentToEvent: return Error.BadEventUsageNoField;
- case SysError.AssignmentToFixedVariable: return Error.AssgReadonlyLocalCause;
- case SysError.AssignmentToLiteral: return Error.AssgLvalueExpected;
- case SysError.AssignmentToReadOnlyInstanceField: return Error.AssgReadonly;
- case SysError.AssignmentToReadOnlyLocal: return Error.AssgReadonlyLocal;
- case SysError.AssignmentToReadOnlyStaticField: return Error.AssgReadonlyStatic;
- case SysError.AssignmentToType: return Error.BadSKknown;
- case SysError.AsWithTypeVar: return Error.AsWithTypeVar;
- case SysError.AttributeOnBadTarget: return Error.AttributeOnBadSymbolType;
- case SysError.AttributeHasBadTarget: return Error.AttributeLocationOnBadDeclaration;
- case SysError.AttributeUsageOnNonAttributeClass: return Error.AttributeUsageOnNonAttributeClass;
- case SysError.AutoWin32ResGenFailed: return Error.AutoResGen;
- case SysError.BadAttributeParam: return Error.BadAttributeParam;
- case SysError.BadBinaryOperatorSignature: return Error.BadBinaryOperatorSignature;
- case SysError.BadBinaryOps: return Error.BadBinaryOps;
- case SysError.BadBox: return Error.BadBox;
- case SysError.BadBoolOp: return Error.BadBoolOp;
- case SysError.BadCallToEventHandler: return Error.BadEventUsageNoField;
- case SysError.BadExplicitCoercionInFixed: return Error.BadCastInFixed;
- case SysError.BadEmptyThrow: return Error.BadEmptyThrow;
- case SysError.BadExceptionType: return Error.BadExceptionType;
- case SysError.BadExitOrContinue: return Error.NoBreakOrCont;
- case SysError.BadFinallyLeave: return Error.BadFinallyLeave;
- case SysError.BadFixedVariableType: return Error.BadFixedInitType;
- case SysError.BadForeachCollection: return Error.ForEachMissingMember;
- case SysError.BadGetEnumerator: return Error.BadGetEnumerator;
- case SysError.BadIncDecSignature: return Error.BadIncDecSignature;
- case SysError.BadNamedAttributeArgument: return Error.BadNamedAttributeArgument;
- case SysError.BadNamedAttributeArgumentType: return Error.BadNamedAttributeArgumentType;
- case SysError.BadNestedTypeReference: return Error.BadTypeReference;
- case SysError.BadNonEmptyStream: return Error.BadNonEmptyStream;
- case SysError.BadNonNull: return Error.BadNonNull;
- case SysError.BadNonNullOnStream: return Error.BadNonNullOnStream;
- case SysError.BadRefCompareLeft: return Error.BadRefCompareLeft;
- case SysError.BadRefCompareRight: return Error.BadRefCompareRight;
- case SysError.BadStream: return Error.BadStream;
- case SysError.BadStreamOnNonNullStream: return Error.BadStreamOnNonNullStream;
- case SysError.BadTupleIndex : return Error.BadTupleIndex;
- case SysError.BadUnaryOp: return Error.BadUnaryOp;
- case SysError.BadUnaryOperatorSignature: return Error.BadUnaryOperatorSignature;
- case SysError.BadUseOfEvent: return Error.BadEventUsageNoField;
- case SysError.BadUseOfMethod: return Error.BadUseOfMethod;
- case SysError.BaseClassLessAccessible: return Error.BadVisBaseClass;
- case SysError.BaseInBadContext: return Error.BaseInBadContext;
- case SysError.BaseInStaticCode: return Error.BaseInStaticMeth;
- case SysError.BaseInterfaceLessAccessible: return Error.BadVisBaseInterface;
- case SysError.BaseMultipleInitialization: return Error.BaseMultipleInitialization;
- case SysError.BaseNotInitialized: return Error.BaseNotInitialized;
- case SysError.BatchFileNotRead: return Error.BatchFileNotRead;
- case SysError.BitwiseOrSignExtend: return Error.BitwiseOrSignExtend;
- case SysError.CannotCallSpecialMethod: return Error.CantCallSpecialMethod;
- case SysError.CannotCoerceNullToValueType: return Error.ValueCantBeNull;
- case SysError.CannotDeferenceNonPointerType: return Error.PtrExpected;
- case SysError.CannotDeriveFromSealedType: return Error.CantDeriveFromSealedClass;
- case SysError.CannotDeriveFromSpecialType: return Error.DeriveFromEnumOrValueType;
- case SysError.CannotExplicitlyImplementAccessor: return Error.ExplicitMethodImplAccessor;
- case SysError.CannotInferMethTypeArgs: return Error.CantInferMethTypeArgs;
- case SysError.CannotMatchArglist: return Error.CannotMatchArglist;
- case SysError.CannotOverrideAccessor: return Error.CantOverrideAccessor;
- case SysError.CannotOverrideFinal: return Error.CantOverrideSealed;
- case SysError.CannotOverrideNonEvent: return Error.CantOverrideNonEvent;
- case SysError.CannotOverrideNonVirtual: return Error.CantOverrideNonVirtual;
- case SysError.CannotOverrideSpecialMethod: return Error.CantOverrideSpecialMethod;
- case SysError.CannotReturnTypedReference: return Error.MethodReturnCantBeRefAny;
- case SysError.CannotReturnValue: return Error.RetNoObjectRequired;
- case SysError.CannotYieldFromCatchClause: return Error.CannotYieldFromCatchClause;
- case SysError.CannotYieldFromTryBlock: return Error.CannotYieldFromTryBlock;
- case SysError.CaseFallThrough: return Error.CaseFallThrough;
- case SysError.CheckedExceptionNotInThrowsClause: return Error.CheckedExceptionNotInThrowsClause;
- case SysError.CircularBase: return Error.CircularBase;
- case SysError.CircularConstantDefinition: return Error.CircConstValue;
- case SysError.ClashWithLocalConstant: return Error.LocalConstDuplicate;
- case SysError.ClashWithLocalVariable: return Error.LocalDuplicate;
- case SysError.CloseUnimplementedInterfaceMember: return Error.CloseUnimplementedInterfaceMember;
- case SysError.CLSNotOnModules: return Error.CLSNotOnModules;
- case SysError.ComImportWithoutGuidAttribute: return Error.ComImportWithoutUuidAttribute;
- case SysError.ConcreteMissingBody: return Error.ConcreteMissingBody;
- case SysError.ConditionalMustReturnVoid: return Error.ConditionalMustReturnVoid;
- case SysError.ConditionalOnInterfaceMethod: return Error.ConditionalOnInterfaceMethod;
- case SysError.ConditionalOnOverride: return Error.ConditionalOnOverride;
- case SysError.ConditionalOnSpecialMethod: return Error.ConditionalOnSpecialMethod;
- case SysError.ConflictBetweenAliasAndType: return Error.ConflictAliasAndMember;
- case SysError.ConstantExpected: return Error.ConstantExpected;
- case SysError.ConstraintIsAbstractSealedClass: return Error.ConstraintIsStaticClass;
- case SysError.ConstructsAbstractClass: return Error.NoNewAbstract;
- case SysError.ConstructsAbstractSealedClass: return Error.InstantiatingStaticClass;
- case SysError.ConstructorInAbstractSealedClass: return Error.ConstructorInStaticClass;
- case SysError.ContainingTypeDoesNotImplement: return Error.ClassDoesntImplementInterface;
- case SysError.ConversionNotInvolvingContainedType: return Error.ConversionNotInvolvingContainedType;
- case SysError.ConversionWithBase: return Error.ConversionWithBase;
- case SysError.ConversionWithDerived: return Error.ConversionWithDerived;
- case SysError.ConversionWithInterface: return Error.ConversionWithInterface;
- case SysError.CTOverflow: return Error.CheckedOverflow;
- case SysError.CustomAttributeError: return Error.CustomAttributeError;
- case SysError.CycleInInterfaceInheritance: return Error.CycleInInterfaceInheritance;
- case SysError.DestructorInAbstractSealedClass: return Error.DestructorInStaticClass;
- case SysError.DefaultContructorConstraintNotSatisfied: return Error.NewConstraintNotSatisfied;
- case SysError.DelayedReferenceByReference: return Error.DelayedReferenceByReference;
- case SysError.DelayedRefParameter: return Error.DelayedRefParameter;
- case SysError.DelayedStructConstructor: return Error.DelayedStructConstructor;
- case SysError.DllImportOnInvalidMethod: return Error.DllImportOnInvalidMethod;
- case SysError.DuplicateAliasDefinition: return Error.DuplicateAlias;
- case SysError.DuplicateAssemblyReference: return Error.None;
- case SysError.DuplicateAttribute: return Error.DuplicateAttribute;
- case SysError.DuplicateCaseLabel: return Error.DuplicateCaseLabel;
- case SysError.DuplicateConversion: return Error.DuplicateConversionInClass;
- case SysError.DuplicateIndexer: return Error.MemberAlreadyExists;
- case SysError.DuplicateInterfaceInBaseList: return Error.DuplicateInterfaceInBaseList;
- case SysError.DuplicateMethod: return Error.MemberAlreadyExists;
- case SysError.DuplicateModuleReference: return Error.None;
- case SysError.DuplicateNamedAttributeArgument: return Error.DuplicateNamedAttributeArgument;
- case SysError.DuplicateParameterName: return Error.DuplicateParamName;
- case SysError.DuplicateResponseFile: return Error.DuplicateResponseFile;
- case SysError.DuplicateType: return Error.DuplicateNameInNS;
- case SysError.DuplicateTypeMember: return Error.DuplicateNameInClass;
- case SysError.DuplicateUsedNamespace: return Error.DuplicateUsing;
- case SysError.EnumerationValueOutOfRange: return Error.EnumeratorOverflow;
- case SysError.EventNotDelegate: return Error.EventNotDelegate;
- case SysError.EqualityOpWithoutEquals: return Error.EqualityOpWithoutEquals;
- case SysError.EqualityOpWithoutGetHashCode: return Error.EqualityOpWithoutGetHashCode;
- case SysError.Error: return Error.Error;
- case SysError.ExplicitDefaultConstructorForValueType: return Error.StructsCantContainDefaultContructor;
- case SysError.ExplicitlyImplementedTypeNotInterface: return Error.ExplicitInterfaceImplementationNotInterface;
- case SysError.ExplicitPropertyAddingAccessor: return Error.ExplicitPropertyAddingAccessor;
- case SysError.ExplicitPropertyMissingAccessor: return Error.ExplicitPropertyMissingAccessor;
- case SysError.ExpressionIsAlreadyOfThisType: return Error.ExpressionIsAlreadyOfThisType;
- case SysError.FamilyInSealed: return Error.ProtectedInSealed;
- case SysError.FamilyInStruct: return Error.ProtectedInStruct;
- case SysError.FatalError: return Error.FatalError;
- case SysError.FieldOffsetNotAllowed: return Error.StructOffsetOnBadStruct;
- case SysError.FieldOffsetNotAllowedOnStaticField: return Error.StructOffsetOnBadField;
- case SysError.FieldTypeLessAccessibleThanField: return Error.BadVisFieldType;
- case SysError.FixedMustInit: return Error.FixedMustInit;
- case SysError.FixedNeeded: return Error.FixedNeeded;
- case SysError.FixedNotNeeded: return Error.FixedNotNeeded;
- case SysError.GeneralComprehensionsNotAllowedInMethodContracts: return Error.GeneralComprehensionsNotAllowedInMethodContracts;
- case SysError.GenericWarning: return Error.GenericWarning;
- case SysError.GlobalSingleTypeNameNotFound: return Error.GlobalSingleTypeNameNotFound;
- case SysError.GotoLeavesNestedMethod: return Error.BadDelegateLeave;
- case SysError.HidesAbstractMethod: return Error.HidingAbstractMethod;
- case SysError.IntegerDivisionByConstantZero: return Error.IntDivByZero;
- case SysError.IdentifierNotFound: return Error.NameNotInContext;
- case SysError.IdentityConversion: return Error.IdentityConversion;
- case SysError.IllegalPointerType: return Error.IllegalPointerType;
- case SysError.ImpossibleCast: return Error.NoExplicitBuiltinConv;
- case SysError.InaccessibleEventBackingField: return Error.BadEventUsage;
- case SysError.InconsistantIndexerNames: return Error.InconsistantIndexerNames;
- case SysError.IndexerInAbstractSealedClass: return Error.IndexerInStaticClass;
- case SysError.IndexerNameAttributeOnOverride: return Error.NameAttributeOnOverride;
- case SysError.IndexerNameNotIdentifier: return Error.BadArgumentToNameAttribute;
- case SysError.InstanceFieldInitializerInStruct: return Error.FieldInitializerInStruct;
- case SysError.InstanceMemberInAbstractSealedClass: return Error.InstanceMemberInStaticClass;
- case SysError.IntegralTypeValueExpected: return Error.IntegralTypeValueExpected;
- case SysError.InterfaceHasConstructor: return Error.InterfacesCannotContainConstructors;
- case SysError.InterfaceHasField: return Error.InterfacesCannotContainFields;
- case SysError.InterfaceImplementedByConditional: return Error.InterfaceImplementedByConditional;
- case SysError.InterfaceMemberHasBody: return Error.InterfaceMemberHasBody;
- case SysError.InterfaceMemberNotFound: return Error.InterfaceMemberNotFound;
- case SysError.InternalCompilerError: return Error.InternalCompilerError;
- case SysError.InvalidAddressOf: return Error.InvalidAddrOp;
- case SysError.InvalidAttributeArgument: return Error.InvalidAttributeArgument;
- case SysError.InvalidCodePage: return Error.BadCodePage;
- case SysError.InvalidCompilerOption: return Error.UnknownOption;
- case SysError.InvalidCompilerOptionArgument: return Error.InvalidCompilerOptionArgument;
- case SysError.InvalidConditional: return Error.InvalidQM;
- case SysError.InvalidData: return Error.InvalidData;
- case SysError.InvalidDebugInformationFile: return Error.DebugInitFile;
- case SysError.InvalidGotoCase: return Error.InvalidGotoCase;
- case SysError.InvalidMainMethodSignature: return Error.InvalidMainSig;
- case SysError.InvalidOutputFile: return Error.OutputWriteFailed;
- case SysError.InvalidWin32ResourceFileContent: return Error.BadWin32Res;
- case SysError.IsAlwaysOfType: return Error.IsAlwaysTrue;
- case SysError.IsBinaryFile: return Error.IsBinaryFile;
- case SysError.IsNeverOfType: return Error.IsAlwaysFalse;
- case SysError.LabelIdentiferAlreadyInUse: return Error.DuplicateLabel;
- case SysError.LabelNotFound: return Error.LabelNotFound;
- case SysError.LockNeedsReference: return Error.LockNeedsReference;
- case SysError.MainCantBeGeneric: return Error.MainCantBeGeneric;
- case SysError.ManagedAddr: return Error.ManagedAddr;
- case SysError.MemberDoesNotHideBaseClassMember: return Error.NewNotRequired;
- case SysError.MemberHidesBaseClassMember: return Error.NewRequired;
- case SysError.MemberHidesBaseClassOverridableMember: return Error.NewOrOverrideExpected;
- case SysError.MemberNotVisible: return Error.BadAccess;
- case SysError.MethodNameExpected: return Error.MethodNameExpected;
- case SysError.MissingStructOffset: return Error.MissingStructOffset;
- case SysError.MultipleMainMethods: return Error.MultipleEntryPoints;
- case SysError.MultipleTypeImport: return Error.MultipleTypeDefs;
- case SysError.MustHaveOpTF: return Error.MustHaveOpTF;
- case SysError.NegativeArraySize: return Error.NegativeArraySize;
- case SysError.NegativeStackAllocSize: return Error.NegativeStackAllocSize;
- case SysError.NestedFunctionDelegateParameterMismatch: return Error.CantConvAnonMethParams;
- case SysError.NestedFunctionDelegateParameterMismatchBecauseOfOutParameter: return Error.CantConvAnonMethNoParams;
- case SysError.NestedFunctionDelegateReturnTypeMismatch: return Error.CantConvAnonMethReturns;
- case SysError.NoExplicitCoercion: return Error.NoExplicitConversion;
- case SysError.NoImplicitCoercion: return Error.NoImplicitConversion;
- case SysError.NoImplicitCoercionFromConstant: return…
Large files files are truncated, but you can click here to view the full file