Click here to Skip to main content
15,861,168 members
Articles / Programming Languages / C#
Article

CodeDom Assistant

Rate me:
Please Sign up or sign in to vote.
4.84/5 (26 votes)
21 Sep 20074 min read 136.5K   6.6K   82   27
Generating CodeDom Code By Parsing C# or VB
Screenshot - codedomassistant.gif

Introduction

I find writing CodeDom code kind of like writing assembly. It's like cutting the grass with a pair of scissors or unloading a truck load of sand with a spoon. Its long winded, it can be done, but it is tedious. However, there are advantages in using CodeDom.

Now, it would be nice if you could whip up a class in VB or C# and generate the CodeDom code. CodeDom Assistant does this with the help of SharpDevelop's NRefactory Library in conjunction with writing our own CodeDomProvider to generate C# CodeDom code. The code you get will construct a CodeDom compileunit, and it will definitely be ugly. But what can you expect from a machine?

Background

Code Generation can be done using various techniques. In essence, code generation saves time, and enables you to create code using established patterns.

In the world of .NET, one technique is to use CodeDom. It allows you create a document object model of the code. This can by either compiled into an assembly or used to generate code. Every .NET language should have an implementation of a CodeDomProvider to generate code. The problem is that CodeDom does not implement every syntax construct of every language. In essence, it is a subset, but there are enough operations to emulate most language constructs.

Parsing C# or VB is going to be the toughest part, but luckily one of SharpDevelop's little libraries is NRefactory. This has the machinerary required to parse C# or VB code. The key component for us is the CodeDomVisitor class. Sadly, it is only a partial implementation. They implement enough to run SharpDevelop's form generation. I am not saying I have completed the implementation, rather, I have filled most of the holes in the CodeDomVisitor.

The second part is implementing a CodeDomCodeProvider. This will take a CodeDom compile unit and generate C# code that will create a CodeDom compile unit.

Alternatives To Unsupported CodeDom Constructs

When converting C# to CodeDom, certain constructs will not be able to be mapped directly into a CodeDom element. Rather we have to emulate the intent of the code. I am sure better transformations can be made, but these are sufficient for my needs. For example: int a = b++; is definitely not the same as the transformed CodeDom int a = (b = (b + 1));.

Not all constructs are going to be able to be transformed perfectly into CodeDom; they are merely sufficient for my needs. When I originally wrote the code in C# I did so with these limitations in mind. For example:

The foreach statement is handled using the for iterator and GetEnumerator(). Behold:

foreach (string s in mylist)
{
}

Can be constructed in CodeDom as:

for (System.Collections.IEnumerator _it1 = mylist.GetEnumerator(); 
    _it1.MoveNext(); )
{
    string s = ((string)_it1.Current);
}

The do statement is handled using the for iterator. For example:

do
{
}
while (expr);

Can be constructed in CodeDom as:

for (bool _do1 = true; _do; _do = expr)
{
}

The while statement is handled again with the for iterator. For example:

C#
while (expr)
{
}

Can be constructed in CodeDom as

C#
for (; expr; )
{
}

The continue and break statements are handled using the goto statements. For example:

C#
for (int i = 0; i < 5; i++)
{
    if (i < 2)
        continue;

    if (i == 3)
        break;
}

Can be constructed in CodeDom as:

for (int i = 0; i < 5; i = i + 1)
{
    if (i < 2)
        goto continue1;

    if (i == 3)
        goto break1;

continue1:
}
break1:

Unary operators: i++; ++i; i--; --i; !; can be constructed using the binary operators: i = i + 1; etc..

The switch statement becomes a nested if statement.

C#
switch(expr)
{
case label1:
    break;

case label2:
    break;

default:
}

Can be constructed in CodeDom as:

C#
object _switch1 = expr;

if (_switch1.Equals(label1))
{
}
else
{
    if (_switch1.Equals(label2))
    {
    }
    else
    {
    }
}

The using(new a()) {} statement can be emulated with:

C#
object _dispose1 = null;
try
{
    _dispose1 = new a();
}
finally
{
    if (((_dispose1 != null) 
       && (typeof(System.IDisposable).IsInstanceOfType(_dispose1) == true)))
    {
        (System.IDisposable)(_dispose1)).Dispose();
    }
}

Constructing CodeDom Using NRefactory

The generate function uses NRefactory parser. NRefactory supports C# and VB. I tend to use C#, and have not tested the VB. The OutputClass is essentially the output combobox selection. There are native C# and VB NRefactory output transformations, which are much more complete than CodeDom. For other languages we use the CodeDomVisitor which maps the NRefactory parser output to CodeDom. The CodeDom CodeCompileUnit is then passed to a CodeDomProvider which generates output.

C#
void Generate(ICSharpCode.NRefactory.SupportedLanguage language, 
    TextReader inputstream, OutputClass output)
{
    ICSharpCode.NRefactory.IParser parser = ParserFactory.CreateParser(
        language, inputstream);
    parser.Parse();

    if (parser.Errors.Count > 0)
    {
        ICSharpCode.Core.ExceptionDialog dlg = 
             new ICSharpCode.Core.ExceptionDialog(
             null, "Error Parsing Input Code");
        dlg.ShowDialog();
        return;
    }

    if (output.CodeDomProvider != null)
    {
        CodeDomVisitor visit = new CodeDomVisitor();

        visit.VisitCompilationUnit(parser.CompilationUnit, null);

        // Remove Unsed Namespaces
        for (int i = visit.codeCompileUnit.Namespaces.Count - 1; i >= 0; i--)
        {
            if (visit.codeCompileUnit.Namespaces[i].Types.Count == 0)
            {
                visit.codeCompileUnit.Namespaces.RemoveAt(i);
            }
        }

        CodeGeneratorOptions codegenopt = new CodeGeneratorOptions();
        codegenopt.BlankLinesBetweenMembers = true;

        System.IO.StringWriter sw = new System.IO.StringWriter();

        output.CodeDomProvider.GenerateCodeFromCompileUnit(
            visit.codeCompileUnit, sw, codegenopt);

        this.scintillaOutput.Text = sw.ToString();

        sw.Close();
    }
    else
    {
        AbstractAstTransformer transformer = output.CreateTransformer();

        // do what SharpDevelop does...
        List<ISpecial> specials = 
            parser.Lexer.SpecialTracker.CurrentSpecials;
        if (language == SupportedLanguage.CSharp && 
            transformer is ToVBNetConvertVisitor)
        {
            PreprocessingDirective.CSharpToVB(specials);
        }
        else if (language == SupportedLanguage.VBNet && 
            transformer is ToCSharpConvertVisitor)
        {
            PreprocessingDirective.VBToCSharp(specials);
        }

        parser.CompilationUnit.AcceptVisitor(transformer, null);

        IOutputAstVisitor prettyprinter = output.CreatePrettyPrinter();

        using (SpecialNodesInserter.Install(specials, prettyprinter))
        {
            prettyprinter.VisitCompilationUnit(parser.CompilationUnit, null);
        }

        this.scintillaOutput.Text = prettyprinter.Text;
    }
}

The NRefactory CodeDomVisitor class needed to be updated to implement more C# constructs. I am sure I have have missed a few.

Generating C# Code CodeDom

All CodeDom compile units can be passed to any CodeDomProvider to generate code. So, we write a new CodeDom provider that will generate CodeDom code for us. The implementation is quite simple. The main job of the CodeDomCodeProvider is to create an ICodeGenerator.

C#
public class CodeDomCodeProvider : System.CodeDom.Compiler.CodeDomProvider
{
    public CodeDomCodeProvider()
            : base()
        {
        }

    public override string FileExtension
    {
        get
        {
            return "cs";
        }
    }

    public override System.CodeDom.Compiler.ICodeGenerator CreateGenerator()
    {
        return new CodeGenerator();
    }

    public override System.CodeDom.Compiler.ICodeCompiler CreateCompiler()
    {
        return null;
    }
}

The CodeGenerator then traverses the CodeDom elements and outputs code that will reconstruct the tree when compiled.

Using Other CodeDomProviders

On initialisation CodeDom Assistant scans the GAC to find assemblies that have an implementation of CodeDomProvider. Since the output of the parsed C#/VB is CodeDom the output can be generated by any CodeDomProvider. So it could act as an effective language Convertor.

Points of Interest

You can only convert code that compiles. It is not very good at telling why it did not compile. The other issue I have found is that it may parse the file, but the CodeDom it produces is incomplete. This may cause the CodeDomProvider CodeGenerator to barf. Usually with some obscure error, like e value is null.

The output of CodeDomCodeProvider is ugly, but assists you in the construction of creating code generators with CodeDom. A lot of our code generation is done through the meta-data of a database. So this code would only be a starting point.

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
Web Developer
Australia Australia
This member has not yet provided a Biography. Assume it's interesting and varied, and probably something to do with programming.

Comments and Discussions

 
Question13 Years later - Comments Pin
Russell Mangel3-Mar-20 10:57
Russell Mangel3-Mar-20 10:57 
GeneralMy vote of 5 Pin
deepak_rai7-Mar-13 18:12
deepak_rai7-Mar-13 18:12 
GeneralWell done Pin
Espen Harlinn21-Feb-13 7:35
professionalEspen Harlinn21-Feb-13 7:35 
GeneralMy vote of 5 Pin
Christophe Bertrand14-Apr-11 5:07
Christophe Bertrand14-Apr-11 5:07 
GeneralMy vote of 5 Pin
Tendoors27-Nov-10 8:47
Tendoors27-Nov-10 8:47 
Generalgreat tool Pin
Doru_C3-Sep-10 3:13
professionalDoru_C3-Sep-10 3:13 
GeneralUse in proof of concept tool Pin
finlay66621-Mar-10 10:17
finlay66621-Mar-10 10:17 
GeneralDoesn't seem to generate CodeDom code Pin
dosaduik10-Sep-09 13:58
dosaduik10-Sep-09 13:58 
GeneralA must have if you need to write CodeDom Pin
GrimaceOfDespair26-Feb-09 3:23
GrimaceOfDespair26-Feb-09 3:23 
GeneralFantastic Tool Pin
Akleinek25-Sep-08 3:54
Akleinek25-Sep-08 3:54 
Generallogic bug in GenerateCodeTypeReference building string for array Pin
drdandle15-Aug-08 7:20
drdandle15-Aug-08 7:20 
QuestionNot outputting events Pin
drdandle11-Aug-08 4:38
drdandle11-Aug-08 4:38 
GeneralUse your code:SampleCode.cs to test,Error Pin
guaike15-Jun-08 16:28
guaike15-Jun-08 16:28 
GeneralVistax64 Pin
Member 456280616-Apr-08 0:51
Member 456280616-Apr-08 0:51 
GeneralRe: Vistax64 Pin
Christophe Bertrand14-Apr-11 5:03
Christophe Bertrand14-Apr-11 5:03 
Generallanguage convertor Pin
sardarkhan27-Mar-08 20:39
sardarkhan27-Mar-08 20:39 
GeneralI looked everywhere for this!!! Pin
jbolstad8-Jan-08 10:36
jbolstad8-Jan-08 10:36 
This is just what I wanted!!! I can't thank you enough. Please put this into the main code of SharpDevelop, so it will be easily found.

Thanks again.
Generalthis is amazing Pin
dave.dolan28-Nov-07 10:21
dave.dolan28-Nov-07 10:21 
GeneralGreat Stuff Pin
sefstrat6-Nov-07 11:35
sefstrat6-Nov-07 11:35 
GeneralNice articlel, but ... Pin
Adar Wesley1-Oct-07 9:35
Adar Wesley1-Oct-07 9:35 
GeneralRe: Nice articlel, but ... Pin
dave.dolan28-Nov-07 10:31
dave.dolan28-Nov-07 10:31 
GeneralI know I'm doing something wrong.... Pin
ednrgc24-Sep-07 6:28
ednrgc24-Sep-07 6:28 
GeneralRe: I know I'm doing something wrong.... Pin
raygilbert24-Sep-07 12:52
raygilbert24-Sep-07 12:52 
GeneralRe: I know I'm doing something wrong.... Pin
ednrgc25-Sep-07 1:45
ednrgc25-Sep-07 1:45 
GeneralExcellent Pin
mcory224-Sep-07 5:55
mcory224-Sep-07 5:55 

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.