public void InternalCall_Success()
{
// The difference between an internal and an external call:
// - Internal call performs a balance check before execution
// - Internal call appends a new internal transfer if successful
var vmExecutionResult = VmExecutionResult.Ok(true, "Test");
var code = new byte[1];
var typeName = "Test";
var internalCallMessage = new InternalCallMessage(
uint160.One,
uint160.Zero,
10,
(RuntimeObserver.Gas)(GasPriceList.BaseCost + 100000),
new MethodCall("Test", new object[] {})
);
this.contractStateRoot
.Setup(sr => sr.GetCode(internalCallMessage.To))
.Returns(code);
this.contractStateRoot
.Setup(sr => sr.GetContractType(internalCallMessage.To))
.Returns(typeName);
this.vm.Setup(v => v.ExecuteMethod(It.IsAny <ISmartContractState>(), It.IsAny <ExecutionContext>(), internalCallMessage.Method, code, typeName))
.Returns(vmExecutionResult);
var state = new Mock <IState>();
// Return the sent amount + 1
state.Setup(s => s.GetBalance(internalCallMessage.From)).Returns(internalCallMessage.Amount + 1);
state.SetupGet(s => s.ContractState).Returns(this.contractStateRoot.Object);
var stateProcessor = new StateProcessor(this.vm.Object, this.addressGenerator.Object);
StateTransitionResult result = stateProcessor.Apply(state.Object, internalCallMessage);
// Verify we check the balance of the sender first
state.Verify(s => s.GetBalance(internalCallMessage.From));
// Verify we get the code from the destination address' code cache
this.contractStateRoot.Verify(s => s.GetCode(internalCallMessage.To), Times.Once);
// Verify we set up the smart contract state
state.Verify(s => s.CreateSmartContractState(state.Object, It.IsAny <RuntimeObserver.IGasMeter>(), internalCallMessage.To, internalCallMessage, this.contractStateRoot.Object));
// Verify the VM was invoked
this.vm.Verify(v => v.ExecuteMethod(It.IsAny <ISmartContractState>(), It.IsAny <ExecutionContext>(), internalCallMessage.Method, code, typeName), Times.Once);
// Verify the value was added to the internal transfer list
state.Verify(s => s.AddInternalTransfer(It.Is <TransferInfo>(t => t.From == internalCallMessage.From &&
t.To == internalCallMessage.To &&
t.Value == internalCallMessage.Amount)));
Assert.True(result.IsSuccess);
Assert.NotNull(result.Success);
Assert.Equal(internalCallMessage.To, result.Success.ContractAddress);
Assert.Equal(vmExecutionResult.Success.Result, result.Success.ExecutionResult);
Assert.Equal(GasPriceList.BaseCost, result.GasConsumed);
}
public void InternalCreate_Success()
{
// The difference between an internal and an external create:
// - Internal create performs a balance check before execution
// - Internal create appends a new internal transfer if successful
var newContractAddress = uint160.One;
var vmExecutionResult = VmExecutionResult.Ok(true, "Test");
var code = new byte[1];
var typeName = "Test";
var internalCreateMessage = new InternalCreateMessage(
uint160.Zero,
10,
(Gas)(GasPriceList.BaseCost + 100000),
new object[] {},
typeName
);
this.contractStateRoot
.Setup(sr => sr.GetCode(internalCreateMessage.From))
.Returns(code);
this.vm.Setup(v => v.Create(this.contractStateRoot.Object, It.IsAny <ISmartContractState>(), code, internalCreateMessage.Parameters, internalCreateMessage.Type))
.Returns(vmExecutionResult);
var state = new Mock <IState>();
// Return the sent amount + 1
state.Setup(s => s.GetBalance(internalCreateMessage.From)).Returns(internalCreateMessage.Amount + 1);
state.SetupGet(s => s.ContractState).Returns(this.contractStateRoot.Object);
state.Setup(s => s.GenerateAddress(It.IsAny <IAddressGenerator>())).Returns(newContractAddress);
var stateProcessor = new StateProcessor(this.vm.Object, this.addressGenerator.Object);
StateTransitionResult result = stateProcessor.Apply(state.Object, internalCreateMessage);
// Verify we check the balance of the sender first
state.Verify(s => s.GetBalance(internalCreateMessage.From));
// Because this is an internal create we get the code from the sender's code cache
this.contractStateRoot.Verify(s => s.GetCode(internalCreateMessage.From), Times.Once);
state.Verify(s => s.GenerateAddress(this.addressGenerator.Object), Times.Once);
// Verify the account was created
this.contractStateRoot.Verify(s => s.CreateAccount(newContractAddress), Times.Once);
// Verify we set up the smart contract state
state.Verify(s => s.CreateSmartContractState(state.Object, It.IsAny <GasMeter>(), newContractAddress, internalCreateMessage, this.contractStateRoot.Object));
// Verify the VM was invoked
this.vm.Verify(v => v.Create(this.contractStateRoot.Object, It.IsAny <ISmartContractState>(), code, internalCreateMessage.Parameters, internalCreateMessage.Type), Times.Once);
// Verify the value was added to the internal transfer list
state.Verify(s => s.AddInternalTransfer(It.Is <TransferInfo>(t => t.From == internalCreateMessage.From &&
t.To == newContractAddress &&
t.Value == internalCreateMessage.Amount)));
Assert.True(result.IsSuccess);
Assert.NotNull(result.Success);
Assert.Equal(newContractAddress, result.Success.ContractAddress);
Assert.Equal(vmExecutionResult.Success.Result, result.Success.ExecutionResult);
Assert.Equal(GasPriceList.CreateCost, result.GasConsumed);
}
/// <summary>
/// Меняет состояние на заданное.
/// </summary>
public void ChangeStateTo(StateProcessor nextState)
{
throw new NotImplementedException();
}
protected InputStateMachine(StateProcessor processor)
{
this.Processor = processor;
}
protected CurrentStateMachine(StateProcessor processor) : base(processor)
{
}
public InputIdleState(StateProcessor processor) : base(processor)
{
}
public FocusToObjectState(StateProcessor processor) : base(processor)
{
}
public InputTargetState(StateProcessor processor) : base(processor)
{
}
public KeywordMovingState(StateProcessor processor) : base(processor)
{
}
public InputZoomState(StateProcessor processor) : base(processor)
{
}
public InputChangeRotateCenterState(StateProcessor processor) : base(processor)
{
}
public InputPanState(StateProcessor processor) : base(processor)
{
//System.Windows.Forms.Cursor.Hide();
}
public InputRotateStateWithCursorReturning(StateProcessor processor) : base(processor)
{
// System.Windows.Forms.Cursor.Hide();
}