C# (CSharp) ReSharper.ContractExtensions.ProblemAnalyzers.PreconditionAnalyzers.MalformContractAnalyzers ValidatedContractBlock示例

示例#1

文件： MalformedContractFix.cs 项目： deugeny/ReSharperContractExtensions

 public ConvertToContractRequiresFix(ValidationResult currentStatement, ValidatedContractBlock validatedContractBlock)
     : base(currentStatement, validatedContractBlock)
 {
     // TODO: refactoring required!! Not clear logic
     _precondition =
         ContractsEx.Assertions.ContractStatementFactory.TryCreatePrecondition(currentStatement.Statement);
 }

示例#2

文件： MalformedContractFix.cs 项目： remyblok/ReSharperContractExtensions

 public ConvertToContractRequiresFix(ValidationResult currentStatement, ValidatedContractBlock validatedContractBlock)
     : base(currentStatement, validatedContractBlock)
 {
     // TODO: refactoring required!! Not clear logic
     _precondition =
         ContractsEx.Assertions.ContractStatementFactory.TryCreatePrecondition(currentStatement.Statement);
 }

示例#3

文件： MalformedContractFix.cs 项目： remyblok/ReSharperContractExtensions

        protected MalformedContractFix(ValidationResult currentStatement, ValidatedContractBlock validatedContractBlock)
        {
            Contract.Requires(currentStatement != null);
            Contract.Requires(validatedContractBlock != null);

            _currentStatement = currentStatement;
            _validatedContractBlock = validatedContractBlock;
        }

示例#4

文件： MalformedContractFix.cs 项目： deugeny/ReSharperContractExtensions

        protected MalformedContractFix(ValidationResult currentStatement, ValidatedContractBlock validatedContractBlock)
        {
            Contract.Requires(currentStatement != null);
            Contract.Requires(validatedContractBlock != null);

            _currentStatement       = currentStatement;
            _validatedContractBlock = validatedContractBlock;
        }

示例#5

文件： CodeContractErrorHighlighting.cs 项目： remyblok/ReSharperContractExtensions

        internal CodeContractErrorHighlighting(CodeContractErrorValidationResult error, ValidatedContractBlock contractBlock)
        {
            Contract.Requires(error != null);
            Contract.Requires(contractBlock != null);

            _error = error;
            _contractBlock = contractBlock;
            _toolTip = error.GetErrorText();
        }

示例#6

文件： CodeContractWarningHighlighting.cs 项目： remyblok/ReSharperContractExtensions

        internal CodeContractWarningHighlighting(CodeContractWarningValidationResult warning, ValidatedContractBlock contractBlock)
        {
            Contract.Requires(warning != null);
            Contract.Requires(contractBlock != null);

            _warning = warning;
            _contractBlock = contractBlock;

            _toolTip = warning.GetErrorText();
        }

示例#7

        internal CodeContractWarningHighlighting(ICSharpStatement statement, CodeContractWarningValidationResult warning, ValidatedContractBlock contractBlock)
        {
            Contract.Requires(warning != null);
            Contract.Requires(contractBlock != null);
            Contract.Requires(statement != null);

            _warning       = warning;
            _contractBlock = contractBlock;
            _range         = statement.GetHighlightingRange();
            _toolTip       = warning.GetErrorText();
        }

示例#8

文件： LegacyContractCustomWarningHighlighting.cs 项目： deugeny/ReSharperContractExtensions

        internal LegacyContractCustomWarningHighlighting(ICSharpFunctionDeclaration element, CustomWarningValidationResult warning, ValidatedContractBlock contractBlock)
        {
            Contract.Requires(warning != null);
            Contract.Requires(contractBlock != null);

            _toolTip          = warning.GetErrorText();
            _range            = element.GetHighlightingRange();
            _validationResult = warning;
            _contractBlock    = contractBlock;
            MethodName        = warning.GetEnclosingMethodName();
        }

示例#9

文件： ContractCustomWarningHighlighting.cs 项目： breki/ReSharperContractExtensions

 internal static ContractCustomWarningHighlighting Create(ICSharpStatement statement, CustomWarningValidationResult warning, ValidatedContractBlock contractBlock)
 {
     switch (warning.Warning)
     {
         case MalformedContractCustomWarning.PreconditionInAsyncMethod:
         case MalformedContractCustomWarning.PreconditionInMethodWithIteratorBlock:
             return null;
         default:
             return new ContractCustomWarningHighlighting(statement, warning, contractBlock);
     }
 }

示例#10

文件： CodeContractErrorHighlighting.cs 项目： deugeny/ReSharperContractExtensions

        internal CodeContractErrorHighlighting(ICSharpStatement statement, CodeContractErrorValidationResult error, ValidatedContractBlock contractBlock)
        {
            Contract.Requires(error != null);
            Contract.Requires(contractBlock != null);
            Contract.Requires(statement != null);

            _range         = statement.GetHighlightingRange();
            _error         = error;
            _contractBlock = contractBlock;
            _toolTip       = error.GetErrorText();
        }

示例#11

文件： CodeContractWarningHighlighting.cs 项目： breki/ReSharperContractExtensions

        internal CodeContractWarningHighlighting(ICSharpStatement statement, CodeContractWarningValidationResult warning, ValidatedContractBlock contractBlock)
        {
            Contract.Requires(warning != null);
            Contract.Requires(contractBlock != null);
            Contract.Requires(statement != null);

            _warning = warning;
            _contractBlock = contractBlock;
            _range = statement.GetHighlightingRange();
            _toolTip = warning.GetErrorText();
        }

示例#12

文件： ContractCustomWarningHighlighting.cs 项目： remyblok/ReSharperContractExtensions

        internal ContractCustomWarningHighlighting(CustomWarningValidationResult warning, ValidatedContractBlock contractBlock)
        {
            Contract.Requires(warning != null);
            Contract.Requires(contractBlock != null);

            _toolTip = warning.GetErrorText();
            _validationResult = warning;
            _contractBlock = contractBlock;
            MethodName = warning.GetEnclosingMethodName();
            
        }

示例#13

文件： LegacyContractCustomWarningHighlighting.cs 项目： breki/ReSharperContractExtensions

        internal LegacyContractCustomWarningHighlighting(ICSharpFunctionDeclaration element, CustomWarningValidationResult warning, ValidatedContractBlock contractBlock)
        {
            Contract.Requires(warning != null);
            Contract.Requires(contractBlock != null);

            _toolTip = warning.GetErrorText();
            _range = element.GetHighlightingRange();
            _validationResult = warning;
            _contractBlock = contractBlock;
            MethodName = warning.GetEnclosingMethodName();
            
        }

示例#14

文件： LegacyContractCustomWarningHighlighting.cs 项目： breki/ReSharperContractExtensions

 internal static LegacyContractCustomWarningHighlighting Create(ICSharpFunctionDeclaration element, CustomWarningValidationResult warning, ValidatedContractBlock contractBlock)
 {
     switch (warning.Warning)
     {
         case MalformedContractCustomWarning.PreconditionInAsyncMethod:
             return new PreconditionInAsyncMethodHighlighting(element, warning, contractBlock);
         case MalformedContractCustomWarning.PreconditionInMethodWithIteratorBlock:
             return new PreconditionInMethodWithIteratorBlockHighlighing(element, warning, contractBlock);
         default:
             return new LegacyContractCustomWarningHighlighting(element, warning, contractBlock);
     }
 }

示例#15

文件： ContractCustomWarningHighlighting.cs 项目： deugeny/ReSharperContractExtensions

        internal ContractCustomWarningHighlighting(ICSharpStatement statement, CustomWarningValidationResult warning, ValidatedContractBlock contractBlock)
        {
            Contract.Requires(warning != null);
            Contract.Requires(contractBlock != null);
            Contract.Assert(_range != null);

            _range            = statement.GetHighlightingRange();
            _toolTip          = warning.GetErrorText();
            _validationResult = warning;
            _contractBlock    = contractBlock;
            MethodName        = warning.GetEnclosingMethodName();
        }

示例#16

文件： ContractCustomWarningHighlighting.cs 项目： constructor-igor/ReSharperContractExtensions

        internal ContractCustomWarningHighlighting(ICSharpStatement statement, CustomWarningValidationResult warning, ValidatedContractBlock contractBlock)
        {
            Contract.Requires(warning != null);
            Contract.Requires(contractBlock != null);
            Contract.Assert(_range != null);

            _range = statement.GetHighlightingRange();
            _toolTip = warning.GetErrorText();
            _validationResult = warning;
            _contractBlock = contractBlock;
            MethodName = warning.GetEnclosingMethodName();
            
        }

示例#17

文件： MalformedContractFix.cs 项目： deugeny/ReSharperContractExtensions

        public FixContractResultTypeInContractEnsure(ValidationResult currentStatement,
                                                     ValidatedContractBlock validatedContractBlock)
            : base(currentStatement, validatedContractBlock)
        {
            Contract.Assert(currentStatement.ProcessedStatement.CodeContractStatement != null);

            var declaredMethod = currentStatement.ProcessedStatement.CodeContractStatement.GetDeclaredMethod();

            _targetType = declaredMethod
                          .With(x => x.DeclaredElement)
                          .Return(x => x.ReturnType);

            _fixName = string.Format("Change to 'Contract.Result<{0}>()",
                                     _targetType.GetPresentableName(CSharpLanguage.Instance));
        }

示例#18

文件： MalformedContractFix.cs 项目： remyblok/ReSharperContractExtensions

        public static MalformedContractFix TryCreate(ValidationResult currentStatement, ValidatedContractBlock validatedContractBlock)
        {
            if (ConvertToContractRequiresFix.IsFixableCore(currentStatement))
                return new ConvertToContractRequiresFix(currentStatement, validatedContractBlock);

            if (MoveStatementsOutOfTheContractBlockFix.IsFixableCore(currentStatement))
                return new MoveStatementsOutOfTheContractBlockFix(currentStatement, validatedContractBlock);

            if (ArrangeRequiresAndEnsuresFix.IsFixableCore(currentStatement))
                return new ArrangeRequiresAndEnsuresFix(currentStatement, validatedContractBlock);

            if (MovePreconditionsAndPostconditionsBeforeEndContractBlock.IsFixableCore(currentStatement))
                return new MovePreconditionsAndPostconditionsBeforeEndContractBlock(currentStatement, validatedContractBlock);

            if (RemoveRedundantStatementFix.IsFixableCore(currentStatement))
                return new RemoveRedundantStatementFix(currentStatement, validatedContractBlock);

            if (FixContractResultTypeInContractEnsure.IsFixableCore(currentStatement))
                return new FixContractResultTypeInContractEnsure(currentStatement, validatedContractBlock);

            return null;
        }

示例#19

文件： MalformedContractFix.cs 项目： deugeny/ReSharperContractExtensions

 public MovePreconditionsAndPostconditionsBeforeEndContractBlock(ValidationResult currentStatement,
                                                                 ValidatedContractBlock validatedContractBlock)
     : base(currentStatement, validatedContractBlock)
 {
 }

示例#20

文件： MalformedContractFix.cs 项目： remyblok/ReSharperContractExtensions

 public RemoveRedundantStatementFix(ValidationResult currentStatement, ValidatedContractBlock validatedContractBlock)
     : base(currentStatement, validatedContractBlock)
 { }

示例#21

文件： MalformedContractFix.cs 项目： remyblok/ReSharperContractExtensions

        public FixContractResultTypeInContractEnsure(ValidationResult currentStatement,
            ValidatedContractBlock validatedContractBlock)
            : base(currentStatement, validatedContractBlock)
        {
            Contract.Assert(currentStatement.ProcessedStatement.CodeContractStatement != null);
            
            var declaredMethod = currentStatement.ProcessedStatement.CodeContractStatement.GetDeclaredMethod();
            _targetType = declaredMethod
                .With(x => x.DeclaredElement)
                .Return(x => x.ReturnType);

            _fixName = string.Format("Change to 'Contract.Result<{0}>()",
                _targetType.GetPresentableName(CSharpLanguage.Instance));
        }

示例#22

文件： MalformedContractFix.cs 项目： remyblok/ReSharperContractExtensions

 public MovePreconditionsAndPostconditionsBeforeEndContractBlock(ValidationResult currentStatement,
     ValidatedContractBlock validatedContractBlock)
     : base(currentStatement, validatedContractBlock)
 { }

示例#23

文件： ContractCustomWarningHighlighting.cs 项目： deugeny/ReSharperContractExtensions

        internal static ContractCustomWarningHighlighting Create(ICSharpStatement statement, CustomWarningValidationResult warning, ValidatedContractBlock contractBlock)
        {
            switch (warning.Warning)
            {
            case MalformedContractCustomWarning.PreconditionInAsyncMethod:
            case MalformedContractCustomWarning.PreconditionInMethodWithIteratorBlock:
                return(null);

            default:
                return(new ContractCustomWarningHighlighting(statement, warning, contractBlock));
            }
        }

示例#24

文件： MalformedContractFix.cs 项目： remyblok/ReSharperContractExtensions

 public MoveStatementsOutOfTheContractBlockFix(ValidationResult currentStatement, ValidatedContractBlock validatedContractBlock)
     : base(currentStatement, validatedContractBlock)
 { }

示例#25

文件： MalformedContractFix.cs 项目： remyblok/ReSharperContractExtensions

 public ArrangeRequiresAndEnsuresFix(ValidationResult currentStatement, ValidatedContractBlock validatedContractBlock)
     : base(currentStatement, validatedContractBlock)
 { }

示例#26

文件： MalformedContractFix.cs 项目： deugeny/ReSharperContractExtensions

        public static MalformedContractFix TryCreate(ValidationResult currentStatement, ValidatedContractBlock validatedContractBlock)
        {
            if (ConvertToContractRequiresFix.IsFixableCore(currentStatement))
            {
                return(new ConvertToContractRequiresFix(currentStatement, validatedContractBlock));
            }

            if (MoveStatementsOutOfTheContractBlockFix.IsFixableCore(currentStatement))
            {
                return(new MoveStatementsOutOfTheContractBlockFix(currentStatement, validatedContractBlock));
            }

            if (ArrangeRequiresAndEnsuresFix.IsFixableCore(currentStatement))
            {
                return(new ArrangeRequiresAndEnsuresFix(currentStatement, validatedContractBlock));
            }

            if (MovePreconditionsAndPostconditionsBeforeEndContractBlock.IsFixableCore(currentStatement))
            {
                return(new MovePreconditionsAndPostconditionsBeforeEndContractBlock(currentStatement, validatedContractBlock));
            }

            if (RemoveRedundantStatementFix.IsFixableCore(currentStatement))
            {
                return(new RemoveRedundantStatementFix(currentStatement, validatedContractBlock));
            }

            if (FixContractResultTypeInContractEnsure.IsFixableCore(currentStatement))
            {
                return(new FixContractResultTypeInContractEnsure(currentStatement, validatedContractBlock));
            }

            return(null);
        }

示例#27

文件： PreconditionInMethodWithIteratorBlockHighlighing.cs 项目： remyblok/ReSharperContractExtensions

 internal PreconditionInMethodWithIteratorBlockHighlighing(CustomWarningValidationResult warning, ValidatedContractBlock contractBlock)
     : base(warning, contractBlock)
 {}

示例#28

文件： PreconditionInMethodWithIteratorBlockHighlighing.cs 项目： breki/ReSharperContractExtensions

 internal PreconditionInMethodWithIteratorBlockHighlighing(ICSharpFunctionDeclaration element, CustomWarningValidationResult warning, ValidatedContractBlock contractBlock)
     : base(element, warning, contractBlock)
 {}

示例#29

文件： PreconditionInAsyncMethodHighlighing.cs 项目： remyblok/ReSharperContractExtensions

 internal PreconditionInAsyncMethodHighlighting(CustomWarningValidationResult warning,
     ValidatedContractBlock contractBlock)
     : base(warning, contractBlock)
 {}

示例#30

文件： MalformedContractFix.cs 项目： deugeny/ReSharperContractExtensions

 public RemoveRedundantStatementFix(ValidationResult currentStatement, ValidatedContractBlock validatedContractBlock)
     : base(currentStatement, validatedContractBlock)
 {
 }

示例#31

文件： MalformedContractFix.cs 项目： deugeny/ReSharperContractExtensions

 public MoveStatementsOutOfTheContractBlockFix(ValidationResult currentStatement, ValidatedContractBlock validatedContractBlock)
     : base(currentStatement, validatedContractBlock)
 {
 }

示例#32

文件： LegacyContractCustomWarningHighlighting.cs 项目： deugeny/ReSharperContractExtensions

        internal static LegacyContractCustomWarningHighlighting Create(ICSharpFunctionDeclaration element, CustomWarningValidationResult warning, ValidatedContractBlock contractBlock)
        {
            switch (warning.Warning)
            {
            case MalformedContractCustomWarning.PreconditionInAsyncMethod:
                return(new PreconditionInAsyncMethodHighlighting(element, warning, contractBlock));

            case MalformedContractCustomWarning.PreconditionInMethodWithIteratorBlock:
                return(new PreconditionInMethodWithIteratorBlockHighlighing(element, warning, contractBlock));

            default:
                return(new LegacyContractCustomWarningHighlighting(element, warning, contractBlock));
            }
        }

示例#33

文件： PreconditionInAsyncMethodHighlighing.cs 项目： deugeny/ReSharperContractExtensions

 internal PreconditionInAsyncMethodHighlighting(ICSharpFunctionDeclaration element, CustomWarningValidationResult warning, ValidatedContractBlock contractBlock)
     : base(element, warning, contractBlock)
 {
 }

示例#34

文件： MalformedContractFix.cs 项目： deugeny/ReSharperContractExtensions

 public ArrangeRequiresAndEnsuresFix(ValidationResult currentStatement, ValidatedContractBlock validatedContractBlock)
     : base(currentStatement, validatedContractBlock)
 {
 }