Ejemplos de BoogieAST BoogieTypedIdent en C# (CSharp)

Ejemplo n.º 1

Archivo: BoogieAST.cs Proyecto: daejunpark/verisol

 public BoogieLocalVariable(BoogieTypedIdent typedIdent)
 {
     this.TypedIdent = typedIdent;
     this.Name       = typedIdent.Name;
 }

Ejemplo n.º 2

Archivo: BoogieAST.cs Proyecto: daejunpark/verisol

 public BoogieFormalParam(BoogieTypedIdent typedIdent)
 {
     this.TypedIdent = typedIdent;
     this.Name       = typedIdent.Name;
 }

Ejemplo n.º 3

Archivo: BoogieAST.cs Proyecto: daejunpark/verisol

 public BoogieConstant(BoogieTypedIdent typedIdent, bool unique = false)
 {
     this.TypedIdent = typedIdent;
     this.Unique     = unique;
     this.Name       = typedIdent.Name;
 }