public void SetValue(ILocalVariable variable, IValue value) { Contract.Requires<ArgumentNullException>(variable != null, "variable"); Contract.Requires<VirtualMachineMismatchException>(this.GetVirtualMachine().Equals(variable.GetVirtualMachine())); Contract.Requires<VirtualMachineMismatchException>(value == null || this.GetVirtualMachine().Equals(value.GetVirtualMachine())); throw new NotImplementedException(); }
public IValue GetValue(ILocalVariable variable) { Contract.Requires<ArgumentNullException>(variable != null, "variable"); Contract.Requires<VirtualMachineMismatchException>(this.GetVirtualMachine().Equals(variable.GetVirtualMachine())); Contract.Ensures(Contract.Result<IValue>() == null || this.GetVirtualMachine().Equals(Contract.Result<IValue>().GetVirtualMachine())); throw new NotImplementedException(); }
public void SetValue(ILocalVariable variable, IValue value) { Contract.Requires <ArgumentNullException>(variable != null, "variable"); Contract.Requires <VirtualMachineMismatchException>(this.GetVirtualMachine().Equals(variable.GetVirtualMachine())); Contract.Requires <VirtualMachineMismatchException>(value == null || this.GetVirtualMachine().Equals(value.GetVirtualMachine())); throw new NotImplementedException(); }
public IValue GetValue(ILocalVariable variable) { Contract.Requires <ArgumentNullException>(variable != null, "variable"); Contract.Requires <VirtualMachineMismatchException>(this.GetVirtualMachine().Equals(variable.GetVirtualMachine())); Contract.Ensures(Contract.Result <IValue>() == null || this.GetVirtualMachine().Equals(Contract.Result <IValue>().GetVirtualMachine())); throw new NotImplementedException(); }