API tools faq
paste
Advertisement
Guest User

SpecSharpDeepError

a guest
Nov 26th, 2012
82
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 8.46 KB | None | 0 0
raw download clone embed print report
  1. Error 1 Internal Compiler Error: System.NullReferenceException: Object reference not set to an instance of an object.
  2. at System.Compiler.Normalizer.VisitBinaryExpression(BinaryExpression binaryExpression) in c:\codeplex_current_build\specsharp\SpecSharp\System.Compiler.Framework\Compiler\Normalizer.cs:line 752
  3. at System.Compiler.StandardVisitor.Visit(Node node) in c:\codeplex_current_build\specsharp\SpecSharp\System.Compiler\StandardVisitor.cs:line 539
  4. at System.Compiler.StandardVisitor.VisitExpression(Expression expression) in c:\codeplex_current_build\specsharp\SpecSharp\System.Compiler\StandardVisitor.cs:line 995
  5. at System.Compiler.Normalizer.VisitAssignmentSource(Expression source, AssignmentStatement assignment) in c:\codeplex_current_build\specsharp\SpecSharp\System.Compiler.Framework\Compiler\Normalizer.cs:line 331
  6. at System.Compiler.Normalizer.VisitAssignmentStatement(AssignmentStatement assignment) in c:\codeplex_current_build\specsharp\SpecSharp\System.Compiler.Framework\Compiler\Normalizer.cs:line 380
  7. at System.Compiler.StandardVisitor.Visit(Node node) in c:\codeplex_current_build\specsharp\SpecSharp\System.Compiler\StandardVisitor.cs:line 146
  8. at System.Compiler.StandardVisitor.VisitStatementList(StatementList statements) in c:\codeplex_current_build\specsharp\SpecSharp\System.Compiler\StandardVisitor.cs:line 1499
  9. at System.Compiler.Normalizer.VisitBlock(Block block) in c:\codeplex_current_build\specsharp\SpecSharp\System.Compiler.Framework\Compiler\Normalizer.cs:line 423
  10. at System.Compiler.Normalizer.VisitFor(For For) in c:\codeplex_current_build\specsharp\SpecSharp\System.Compiler.Framework\Compiler\Normalizer.cs:line 1716
  11. at System.Compiler.StandardVisitor.Visit(Node node) in c:\codeplex_current_build\specsharp\SpecSharp\System.Compiler\StandardVisitor.cs:line 264
  12. at System.Compiler.StandardVisitor.VisitStatementList(StatementList statements) in c:\codeplex_current_build\specsharp\SpecSharp\System.Compiler\StandardVisitor.cs:line 1499
  13. at System.Compiler.Normalizer.VisitBlock(Block block) in c:\codeplex_current_build\specsharp\SpecSharp\System.Compiler.Framework\Compiler\Normalizer.cs:line 423
  14. at System.Compiler.StandardVisitor.Visit(Node node) in c:\codeplex_current_build\specsharp\SpecSharp\System.Compiler\StandardVisitor.cs:line 154
  15. at System.Compiler.StandardVisitor.VisitStatementList(StatementList statements) in c:\codeplex_current_build\specsharp\SpecSharp\System.Compiler\StandardVisitor.cs:line 1499
  16. at System.Compiler.Normalizer.VisitBlock(Block block) in c:\codeplex_current_build\specsharp\SpecSharp\System.Compiler.Framework\Compiler\Normalizer.cs:line 423
  17. at System.Compiler.Normalizer.VisitBlockExpression(BlockExpression blockExpression) in c:\codeplex_current_build\specsharp\SpecSharp\System.Compiler.Framework\Compiler\Normalizer.cs:line 430
  18. at System.Compiler.Normalizer.VisitQuantifier(Quantifier quantifier) in c:\codeplex_current_build\specsharp\SpecSharp\System.Compiler.Framework\Compiler\Normalizer.cs:line 5023
  19. at System.Compiler.StandardVisitor.Visit(Node node) in c:\codeplex_current_build\specsharp\SpecSharp\System.Compiler\StandardVisitor.cs:line 375
  20. at System.Compiler.StandardVisitor.VisitExpression(Expression expression) in c:\codeplex_current_build\specsharp\SpecSharp\System.Compiler\StandardVisitor.cs:line 995
  21. at System.Compiler.Normalizer.VisitAndInvertBranchCondition(Expression condition, Block target, SourceContext sctx) in c:\codeplex_current_build\specsharp\SpecSharp\System.Compiler.Framework\Compiler\Normalizer.cs:line 187
  22. at System.Compiler.Normalizer.VisitIf(If If) in c:\codeplex_current_build\specsharp\SpecSharp\System.Compiler.Framework\Compiler\Normalizer.cs:line 1619
  23. at System.Compiler.StandardVisitor.Visit(Node node) in c:\codeplex_current_build\specsharp\SpecSharp\System.Compiler\StandardVisitor.cs:line 278
  24. at System.Compiler.StandardVisitor.VisitStatementList(StatementList statements) in c:\codeplex_current_build\specsharp\SpecSharp\System.Compiler\StandardVisitor.cs:line 1499
  25. at System.Compiler.Normalizer.VisitBlock(Block block) in c:\codeplex_current_build\specsharp\SpecSharp\System.Compiler.Framework\Compiler\Normalizer.cs:line 423
  26. at System.Compiler.Normalizer.VisitEnsuresNormal(EnsuresNormal normal) in c:\codeplex_current_build\specsharp\SpecSharp\System.Compiler.Framework\Compiler\Normalizer.cs:line 1576
  27. at System.Compiler.StandardVisitor.Visit(Node node) in c:\codeplex_current_build\specsharp\SpecSharp\System.Compiler\StandardVisitor.cs:line 347
  28. at System.Compiler.StandardVisitor.VisitEnsuresList(EnsuresList Ensures) in c:\codeplex_current_build\specsharp\SpecSharp\System.Compiler\StandardVisitor.cs:line 947
  29. at System.Compiler.Normalizer.VisitMethodContract(MethodContract contract) in c:\codeplex_current_build\specsharp\SpecSharp\System.Compiler.Framework\Compiler\Normalizer.cs:line 3339
  30. at System.Compiler.Normalizer.VisitMethod(Method method) in c:\codeplex_current_build\specsharp\SpecSharp\System.Compiler.Framework\Compiler\Normalizer.cs:line 3079
  31. at System.Compiler.StandardVisitor.Visit(Node node) in c:\codeplex_current_build\specsharp\SpecSharp\System.Compiler\StandardVisitor.cs:line 293
  32. at System.Compiler.StandardVisitor.VisitMemberList(MemberList members) in c:\codeplex_current_build\specsharp\SpecSharp\System.Compiler\StandardVisitor.cs:line 1246
  33. at System.Compiler.StandardVisitor.VisitTypeNode(TypeNode typeNode) in c:\codeplex_current_build\specsharp\SpecSharp\System.Compiler\StandardVisitor.cs:line 1644
  34. at System.Compiler.Normalizer.VisitTypeNode(TypeNode typeNode) in c:\codeplex_current_build\specsharp\SpecSharp\System.Compiler.Framework\Compiler\Normalizer.cs:line 7598
  35. at System.Compiler.StandardVisitor.VisitClass(Class Class) in c:\codeplex_current_build\specsharp\SpecSharp\System.Compiler\StandardVisitor.cs:line 807
  36. at System.Compiler.StandardVisitor.Visit(Node node) in c:\codeplex_current_build\specsharp\SpecSharp\System.Compiler\StandardVisitor.cs:line 194
  37. at System.Compiler.StandardVisitor.VisitTypeNodeList(TypeNodeList types) in c:\codeplex_current_build\specsharp\SpecSharp\System.Compiler\StandardVisitor.cs:line 1658
  38. at System.Compiler.StandardVisitor.VisitNamespace(Namespace nspace) in c:\codeplex_current_build\specsharp\SpecSharp\System.Compiler\StandardVisitor.cs:line 1330
  39. at System.Compiler.StandardVisitor.Visit(Node node) in c:\codeplex_current_build\specsharp\SpecSharp\System.Compiler\StandardVisitor.cs:line 338
  40. at System.Compiler.StandardVisitor.VisitNodeList(NodeList nodes) in c:\codeplex_current_build\specsharp\SpecSharp\System.Compiler\StandardVisitor.cs:line 839
  41. at System.Compiler.StandardVisitor.VisitCompilationUnit(CompilationUnit cUnit) in c:\codeplex_current_build\specsharp\SpecSharp\System.Compiler\StandardVisitor.cs:line 833
  42. at System.Compiler.Normalizer.VisitCompilationUnit(CompilationUnit cUnit) in c:\codeplex_current_build\specsharp\SpecSharp\System.Compiler.Framework\Compiler\Normalizer.cs:line 991
  43. at System.Compiler.StandardVisitor.VisitCompilationUnitSnippet(CompilationUnitSnippet snippet) in c:\codeplex_current_build\specsharp\SpecSharp\System.Compiler\StandardVisitor.cs:line 849
  44. at System.Compiler.StandardVisitor.Visit(Node node) in c:\codeplex_current_build\specsharp\SpecSharp\System.Compiler\StandardVisitor.cs:line 167
  45. at System.Compiler.StandardVisitor.VisitCompilationUnitList(CompilationUnitList compilationUnits) in c:\codeplex_current_build\specsharp\SpecSharp\System.Compiler\StandardVisitor.cs:line 845
  46. at System.Compiler.StandardVisitor.VisitCompilation(Compilation compilation) in c:\codeplex_current_build\specsharp\SpecSharp\System.Compiler\StandardVisitor.cs:line 828
  47. at System.Compiler.Normalizer.VisitCompilation(Compilation compilation) in c:\codeplex_current_build\specsharp\SpecSharp\System.Compiler.Framework\Compiler\Normalizer.cs:line 965
  48. at Microsoft.SpecSharp.Compiler.CompileParseTree(Compilation compilation, ErrorNodeList errorNodes) in c:\codeplex_current_build\specsharp\SpecSharp\Microsoft.SpecSharp\Compiler.cs:line 241
  49. at System.Compiler.Compiler.CompileAssemblyFromIR(Compilation compilation, ErrorNodeList errorNodes) in c:\codeplex_current_build\specsharp\SpecSharp\System.Compiler.Framework\Compiler\Compiler.cs:line 194
  50. at Microsoft.VisualStudio.IntegrationHelper.ProjectManager.CompileProject(Project project, ErrorNodeList errors) in c:\codeplex_current_build\specsharp\SpecSharp\Microsoft.VisualStudio.IntegrationHelper\Helpers.cs:line 589
  51. C:\Windows\system32\SwapArray 1 1 SwapArray
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!