Esempi in C# (CSharp) per Isabelle.Ast OuterDeclVisitor

Esempio n. 1

File: OuterAst.cs Progetto: gauravpartha/boogie_proofgen

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

Esempio n. 2

File: OuterAst.cs Progetto: gauravpartha/boogie_proofgen

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

Esempio n. 3

File: OuterAst.cs Progetto: gauravpartha/boogie_proofgen

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