public override GlobalVariable VisitGlobalVariable(GlobalVariable node) { return(base.VisitGlobalVariable((GlobalVariable)node.Clone())); }
public override GlobalVariable VisitGlobalVariable(GlobalVariable node) { //Contract.Requires(node != null); Contract.Ensures(Contract.Result <GlobalVariable>() != null); return(base.VisitGlobalVariable((GlobalVariable)node.Clone())); }