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();
}
