Exemplo n.º 1
0
 public BoogieLocalVariable(BoogieTypedIdent typedIdent)
 {
     this.TypedIdent = typedIdent;
     this.Name       = typedIdent.Name;
 }
Exemplo n.º 2
0
 public BoogieFormalParam(BoogieTypedIdent typedIdent)
 {
     this.TypedIdent = typedIdent;
     this.Name       = typedIdent.Name;
 }
Exemplo n.º 3
0
 public BoogieConstant(BoogieTypedIdent typedIdent, bool unique = false)
 {
     this.TypedIdent = typedIdent;
     this.Unique     = unique;
     this.Name       = typedIdent.Name;
 }