C# (CSharp) Microsoft.Dafny LocalVariable Examples

Example #1

        public override void Visit(LocalVariable o)
        {
            CreateSymbol(
                name: o.Name,
                kind: Kind.Variable,
                type: o.Type,

                positionAsToken: o.Tok,
                bodyStartPosAsToken: null,
                bodyEndPosAsToken: null,

                isDeclaration: true,
                declarationSymbol: null,
                addUsageAtDeclaration: false,

                canHaveChildren: false,
                canBeUsed: true
                );
        }

Example #2

File: LanguageServerVisitorBase.cs Project: just-me-/dafny-language-server

 public override void Leave(LocalVariable o)
 {
 }

Example #3

File: LanguageServerVisitorBase.cs Project: just-me-/dafny-language-server

 public override void Visit(LocalVariable o)
 {
 }