Exemplos de Isabelle.Ast OuterDeclVisitor em C# (CSharp)

Exemplo n.º 1

Arquivo: OuterAst.cs Projeto: gauravpartha/boogie_proofgen

 public abstract R Dispatch <R>(OuterDeclVisitor <R> visitor);

Exemplo n.º 2

Arquivo: OuterAst.cs Projeto: gauravpartha/boogie_proofgen

 public override R Dispatch <R>(OuterDeclVisitor <R> visitor)
 {
     return(visitor.VisitDefDecl(this));
 }

Exemplo n.º 3

Arquivo: OuterAst.cs Projeto: gauravpartha/boogie_proofgen

 public override R Dispatch <R>(OuterDeclVisitor <R> visitor)
 {
     return(visitor.VisitAbbreviationDecl(this));
 }