#develop (short for SharpDevelop) is a free IDE for .NET programming languages.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
 
 
Mike Krüger 8cee8f532c Fixed some compiler warnings. 13 years ago
..
HasMemberCriterion.cs Fixed some compiler warnings. 13 years ago
ITypeCriterion.cs [CodeIssues] Improve ParameterCanBeDemotedIssue. 13 years ago
IsArrayTypeCriterion.cs [CodeIssues] ParameterCanBeDemotedIssue: Add Criterions for suitable indexer members and for array types. Also start resolving the method with the new type to check for errors. 13 years ago
IsTypeCriterion.cs [CodeIssues] Add missing class IsTypeCriterion. 13 years ago
ParameterCanBeDemotedIssue.cs Fixed some compiler warnings. 13 years ago
SupportsIndexingCriterion.cs [CodeIssues] ParameterCanBeDemotedIssue: Add Criterions for suitable indexer members and for array types. Also start resolving the method with the new type to check for errors. 13 years ago
TypeCriteriaCollector.cs [CodeIssues] Don't suggest demotion to a non-array type for params parameters. 13 years ago