Click here to Skip to main content
15,867,568 members
Articles / Desktop Programming / Windows Forms
Article

The MiniWalker

,
Rate me:
Please Sign up or sign in to vote.
4.38/5 (48 votes)
15 Jun 200611 min read 537.3K   274   145   136
Do you know what IT is? Take the red pill and find out...

The red pill

When we code something in C#, we use object-oriented software construction techniques. That means, our implementation takes the form of classes and the relations between them. But that doesn’t really say it all, because as we develop, a mental model gets built as well. This is our idea of how the system works, and generally contains all the big stuff – that is, the major classes and how they work together. Small details may be lost in this model, to be recovered later as we once again experience the implementation through the debugger.

When we look at the code six months after we’ve written it, or when we look at other people's code, this mental model may not be present. We have to start building it up based on inspection and, usually, more experience in the debugger. A direct transfer of the mental model is definitely a superior solution in this instance. How can we transfer something that is only in the original author's mind?

So, as we look at this, it becomes clear that C# has obvious rules and constructs. We can leverage these to create a visualization. And while this generated version cannot match the mental model in terms of the importance of types and their usages, it could approximate it based on the breadth. That is, the number of properties, the number of methods, and the way those methods and properties are scoped could be used to represent a type visually. Further, isolating the references between types could show exactly where two types have dependencies. While still not as good as the hand-crafted mental models that most of us carry around, these generated images could yet give us an at-a-glance idea of type functions and relations. This is the goal of the MiniWalker.

The mini diagram convention

Image 1

The visualization convention we use here is called the Mini Diagram. Designed specifically for the visual representation of C# types and their relations, this convention lends itself to generation. And, we know you are probably thinking of UML! But UML was designed to represent any language, and is intentionally implementation independent. It, therefore, hides the key information critical to understanding C# types. The Mini Diagram convention goes in the opposite direction, adding descriptive graphic details wherever possible. If you really want UML, just use the Class Viewer in Visual Studio 2005. For our purposes, UML falls far short of the mark.

Specifically, here we need to see all the fields, methods, properties, and events, not just the public members of the type. And most importantly, we need to map the dependencies in these members so that we can literally see the level and intensity of the dependency. Why? Because, it lets us see how the types are working, without reading every single line of the source. It also gives us a helicopter-view of the type quality - types with many references are either extremely high-level, or perhaps just in need of a refactor. And finally, Minis give us an at-a-glance feel of the type purpose.

For example, "controller" types generally have fewer public members and lots of private or protected methods. Like this:

Image 2

You can also tell when a "controller" type leans towards fields instead of parameters while communicating between methods. Like this:

Image 3

"Data" types are usually the opposite, having almost all the public properties and little else. Notice how the private field for a property appears in the property oval, accentuating the message that this type has little real internal logic:

Image 4

As for type relations, the presence of parameter icons (we call these little squares, kibbles) usually tips us off to the fact that a type is passed as a parameter. Like this:

Image 5

If there are no parameters, then clearly, the method creates the type:

Image 6

The point is that, after a few minutes of playing with Minis, you start to get used to them, and can spot the essence of a type in a split second. You're getting oriented in your own (or someone else's) source, and you're doing it quickly. As we move forward with the MiniWalker, we will be making enhancements to heighten this effect.

The parser

Now, we’re not in this for an academic exercise. We actually have quite serious, and sometimes, even ponderous, requirements to handle. So, the purpose of MiniWalker is to be a fully-functional and highly useful tool which helps us see clearly and quickly, exactly where our implementations are going, and where they are falling short. The first and foremost in reaching this goal is the completion of a high-quality parser. We need a parser because only a custom parser can dig down to the level of detail necessary to build useful visualizations. For example, the parser "figures out" the following:

  1. All types declared in the current solution.
  2. Type references: field types, property types, parameter types, and types created in the body of a method or the declaration of a field.
  3. Leveling: higher types and lower types are determined through type creation.

Leveling

Leveling is a key concept of MiniWalker. We consider types like Point or Rectangle to be "low-level" types. We think of these as "closer to the metal". Types like Form or ListView are considered "high-level" types, because they leverage many other types to get the job done. Determining the type level is not that easy, and we are still working on it. The basic rule we use is that if one type creates another, the first type is higher than the second. This works out for some cases but not for all.

Setting up the MiniWalker

First, you need to download and unzip the prototype. If you accept the defaults, it will unzip to C:\MiniWalker2005. You can point the MiniWalker to your live source solution, or point it to a directory with a copy of your source. Within the unzipped default directory, there is a nested directory named CopyYourSolutionHere. To use the default behavior of the MiniWalker, you should copy the solution and the related projects of the source you want to walk, into this directory. Otherwise, click the "Search for Solutions" button in the Solution workspace to pick the directory where your solution is, anywhere on your local hard drives.

Next, run MiniWalker.exe. The application will immediately search for solutions in the chosen directory and begin parsing them. If it is successful in parsing your solutions, upon completion of all parsing, the first solution will be selected and the Type workspace displayed.

The solution workspace

The first screen you will see when you run MiniWalker is the Solution workspace:

Image 7

Here, all of the solutions found are displayed, along with the parsing progress. When the parsing completes, the first solution is automatically selected and the Type workspace is displayed. You can return to the Solution workspace at any time, via the switch control:

Image 8

Walking the Minis

All of the types in the solution are shown in the Type workspace. Select a type to see the MiniDiagram for that type:

Image 9

The results of leveling are displayed directly in the Mini Diagrammer itself. Here, higher level types appear on the left, and lower level types on the right:

Image 10

Clicking either of these lists causes all of the references between the types to be drawn as a series of blue arrows, with the targeted member bodies highlighted and labeled:

Image 11

When a type is selected from the list, a small blue icon appears above its Mini Diagram:

Image 12

Clicking this icon hides the Mini and displays the list once again. You can then select a different type. When a selected type has more relations than could be explored, a blue arrow is displayed on the left side (or right side) of the Mini:

Image 13

Clicking this arrow causes the Minis to slide to the left or right. This is called "walking" the Minis. It’s kind of a "drill-down" through the various relations of a type. Of course, if you are moving to the left, you are actually "drilling-up", moving to higher level classes. This walking procedure, and the information you get from it, is the essence of the MiniWalker experience.

Source highlighting

Source highlighting helps you see the implementation behind any property, method, event, or reference depicted in the Mini Diagram. You can inspect the members of a Mini by positioning the mouse over the member body:

Image 14

Click a member to see its source:

Image 15

When references are displayed like this:

Image 16

they are highlighted in the source like this:

Image 17

Here, BigArrow references BigArrowColors in its constructor and in a property. Clicking the constructor or the property would highlight that member:

Image 18

You can then see the reference highlighted inside the member:

Image 19

The reference pad

Image 20

The reference pad is a list of types which appear above the source of the selected type. When clicked, the types listed here become the selected types. The color-coding of these types is as follows:

  • White: Ancestor or interface.
  • Black: Descendant.
  • Dark blue: Higher level classes (types which create the selected type).
  • Electric blue: Lower level classes (types created by or referenced by the selected type).
  • Gray: External (types in the referenced assemblies).

The finder

You can limit the types displayed, by entering the number of references the type should have, quickly isolating the types with the most references:

Image 21

The GridBag

The Type workspace uses a new kind of control called a GridBag. The GridBag divides the surface of the application into collapsible rectangular areas. The gap between these areas contains invisible splitters. You can move your mouse over these gaps, and the cursor hinting will indicate the splitting action that would occur during a drag. You can also click in the gaps to collapse the adjacent area (effectively hiding it).

Minis

(Click here to return to the article.) Here is a full description of the Mini standard, though the prototype does contain a complete legend as well. The heart of the Mini diagram is a rectangle representing the object:

Image 22

Properties are represented by an ellipse:

Image 23

If a property implements a value type, it contains a tiny rectangle:

Image 24

If a property implements a reference type, it contains a circle:

Image 25

The getter for a property is indicated by a shape on the left side of the ellipse:

Image 26

The setter for a property is indicated by a shape on the right side of the ellipse:

Image 27

When a getter or setter contains any code beyond a simple return or an assignment of the field value, a line is drawn from the enclosed shape to the edge of the ellipse. Here is an example of a read/write property with code in the getter:

Image 28

Methods are indicated by rounded rectangles:

Image 29

Tiny squares are used to represent the parameters of a method:

Image 30

Methods with more than three parameters use an ellipsis in place of the third square:

Image 31

Interfaces are shown at the top right via a prong-like symbol:

Image 32

Events are displayed at the bottom via an outlet-like shape. The down arrow inside the shape represents the delegate used to implement the event:

Image 33

Fields containing value types are represented by tiny rectangles – these look almost like a hyphen:

Image 34

Fields containing objects (reference types) are displayed as circles:

Image 35

Constructors appear at the top left. Like methods, these shapes contain tiny squares representing any parameters:

Image 36

A destructor, if declared, is displayed as a grey rectangle immediately below the last constructor:

Image 37

The scope and visibility of the various object parts are indicated by the location in the Mini. Public properties appear on the left, with the left tip of the ellipse protruding:

Image 38

Public methods appear on the right, with the right edge of the rectangle protruding:

Image 39

Public events appear at the bottom, with the "outlet" protruding:

Image 40

static, private, and protected members are displayed in special regions inside the Mini. Here, we have a Mini with a static region, a private region, and a protected region. The static region at the top contains fields. The private region in the middle contains fields and methods. The protected region near the bottom contains methods and properties:

Image 41

Links

Updates

  • October 10th, 2005 - Article posted.
  • October 25th, 2005 - Now maps your C# code.
  • November 2nd, 2005 - Parses C# 2.0.
  • November 3rd, 2005 - Source highlighting.
  • December 1st, 2005 - More support for .NET Framework 2.0.
  • May 4th, 2006 - Source directory picker, updated parser, more colors for non-digital displays.
  • June 7th, 2006 - Updated source code parser.

License

This article has no explicit license attached to it but may contain usage terms in the article text or the download files themselves. If in doubt please contact the author via the discussion board below.

A list of licenses authors might use can be found here


Written By
CEO Sagerion, LLC
United States United States
I read About Face by Alan Cooper in 1995 and immediately recognized it as a founding document for the future of software. I also recognized we had a long, long way to go - and yes, even with the advent of iOS, we are still not there yet.

At my company, Sagerion (say-jair-ee-on), we can take a look at your planned or existing software and suggest ways of making it better - lots better. We can develop down-to-the-pixel blueprints showing exactly what our suggestions mean. We can help manage on-going development to make sure the top-notch user-experience we've suggested really does get built. Now, honestly, how often have you ever seen all those things happen?

You may or may not already have great development going on - but what does that matter if you don't have great design driving it?

Feel free to contact me at tom@sagerion.com, I would love to hear about your next ground-breaking project.

Written By
Founder Sagerion LLC
United States United States
www.filoshare.com
-It is a fresh and free distributed source control system.

Comments and Discussions

 
GeneralRe: Exception Pin
Alexis MICHEL10-Oct-05 13:18
Alexis MICHEL10-Oct-05 13:18 
GeneralRe: Exception Pin
Jim Bennett10-Oct-05 13:40
Jim Bennett10-Oct-05 13:40 
GeneralRe: Exception Pin
Alexis MICHEL10-Oct-05 23:23
Alexis MICHEL10-Oct-05 23:23 
GeneralFixed the WinRar Problem! Pin
Jim Bennett10-Oct-05 16:06
Jim Bennett10-Oct-05 16:06 
GeneralArchive != Archives Pin
The_Mega_ZZTer11-Oct-05 17:05
The_Mega_ZZTer11-Oct-05 17:05 
GeneralRe: Archive != Archives Pin
Jim Bennett11-Oct-05 17:19
Jim Bennett11-Oct-05 17:19 
QuestionMissing dll ? Pin
Vertyg010-Oct-05 11:45
Vertyg010-Oct-05 11:45 
AnswerRe: Missing dll ? Pin
Tom Ollar10-Oct-05 11:52
Tom Ollar10-Oct-05 11:52 
The source provided with the download is just a sample. It's meant to be
analyzed by the MiniWalker.exe. You can just run MiniWalker.exe to see the type
walking described in the article...

Cheers,

Tom


Tom Ollar
blix: more native than native
GeneralAmazing Pin
Rei Miyasaka10-Oct-05 11:21
Rei Miyasaka10-Oct-05 11:21 
GeneralRe: Amazing Pin
Jim Bennett10-Oct-05 11:43
Jim Bennett10-Oct-05 11:43 
GeneralRe: Amazing Pin
Rei Miyasaka10-Oct-05 11:47
Rei Miyasaka10-Oct-05 11:47 

General General    News News    Suggestion Suggestion    Question Question    Bug Bug    Answer Answer    Joke Joke    Praise Praise    Rant Rant    Admin Admin   

Use Ctrl+Left/Right to switch messages, Ctrl+Up/Down to switch threads, Ctrl+Shift+Left/Right to switch pages.