public void BtnOk_Click(object sender, EventArgs e)//当点击确定的时候，页面上的数据，要保存在caseInfo中，然后将caseInfo写回到数据库中
{
Console.WriteLine("编辑案件：");
this.Case.Path = Program.m_mainform.g_workPath;
this.Case.CaseName = textBox1.Text;
this.Case.CaseSerialNum = textBox2.Text;
this.Case.CaseType = comboBox1.Text;
this.Case.Collecter = textBox3.Text;
this.Case.CollecterNum = textBox4.Text;
this.Case.CollecterDepartMent = comboBox2.Text;
this.Case.InspectionPersonName = textBox5.Text;
this.Case.InspectionPersonDepartMent = textBox6.Text;
this.Case.OrganizationCode = textBox7.Text;
this.Case.Note = textBox8.Text;
//向数据库中写回更改之后的数据
AppConfig ac = AppConfig.getAppConfig();
using (CaseContext caseContext = new CaseContext())
{
var caseInfo = this.Case;
var entry = caseContext.Entry(caseInfo);
caseContext.Set <Case>().Attach(entry.Entity);
entry.State = System.Data.Entity.EntityState.Modified;
caseContext.SaveChanges();
}
Program.m_mainform.AddNewGjalAj();
MessageBox.Show("编辑案件成功！");
this.Close();
}
private static void RunStatement(ref CaseContext ctx, ForStatement stmt)
{
var from = GetValue(ref ctx, stmt.From);
var to = GetValue(ref ctx, stmt.To);
for (ulong i = from.Number; i < to.Number; i++)
{
ctx.Set(stmt.VarName, new BitsValue(i, to.Length));
RunStatements(ref ctx, stmt.Body);
}
}
private void button1_Click(object sender, EventArgs e)
{
this.Proof.ProofName = textBox1.Text;
this.Proof.ProofSerialNum = textBox2.Text;
this.Proof.PhoneNum = textBox6.Text;
this.Proof.phoneNum2 = textBox3.Text;
this.Proof.Holder = textBox4.Text;
this.Proof.ProofType = comboBox2.Text;
this.Proof.note = textBox8.Text;
//向数据库中写回更改之后的数据
AppConfig ac = AppConfig.getAppConfig();
using (CaseContext caseContext = new CaseContext())
{
var proofInfo = this.Proof;
var entry = caseContext.Entry(proofInfo);
caseContext.Set <Proof>().Attach(entry.Entity);
entry.State = System.Data.Entity.EntityState.Modified;
caseContext.SaveChanges();
}
Program.m_mainform.AddNewGjalAj();
MessageBox.Show("编辑证据成功！");
this.Close();
}
private static BitsValue DoAssignment(ref CaseContext ctx, OperatorExpression op)
{
if (!op.Left.IsWriteable)
{
throw new LogicEngineException("Expected a writeable expression", op);
}
if (!op.Right.IsReadable)
{
throw new LogicEngineException("Expected a readable expression", op);
}
var lhs = op.Left;
var value = GetValue(ref ctx, op.Right);
int start, end;
bool isRanged = false;
if (lhs is IndexerExpression indexer)
{
GetRange(ref ctx, indexer, value.Length, out start, out end);
lhs = indexer.Operand;
isRanged = true;
}
else
{
start = 0;
end = GetLength(ctx.Machine, lhs);
}
if (end == 0)
{
end = start + value.Length;
}
if (value.Length > end - start)
{
throw new LogicEngineException("Value doesn't fit in range", op);
}
Span <bool> bits = stackalloc bool[value.Length];
value.FillBits(bits);
if (lhs is SlotExpression slot)
{
switch (slot.Slot)
{
case Slots.Out:
if (end > ctx.Machine.OutputCount)
{
throw new LogicEngineException("Range out of bounds for outputs", op);
}
ctx.Machine.SetOutputs(start, value);
break;
case Slots.Memory:
if (end > ctx.Machine.Memory.Capacity)
{
throw new LogicEngineException("Range out of bounds for memory", op);
}
//ctx.Machine.Memory.Write(start, bits);
break;
default:
throw new LogicEngineException("Invalid slot on expression", op);
}
}
else if (lhs is VariableAccessExpression var)
{
if (!isRanged)
{
ctx.Set(var.Name, value);
}
else
{
//var val = ctx.Get(var.Name, var);
throw new LogicEngineException("Cannot index variable", var);
}
}
return(value);
}
