protected void GridView1_RowDeleting(object sender, GridViewDeleteEventArgs e)
{
int rowIndex = e.RowIndex;
Contract contract = new Contract();
contract.Contrac_id = Convert.ToInt32(this.GridView1.DataKeys[rowIndex].Value);
ContractProvider provider = new ContractProvider();
if (provider.Delete(contract))
{
this.Alert("删除成功!!!");
if (this.txt_Name.Text == "")
{
this.ListPager1.RecordCount = this.ListPager1.RecordCount - 1;
this.BindSource(null);
}
else
{
this.ListPager1.RecordCount = this.ListPager1.RecordCount - 1;
this.BindSource(this.txt_Name.Text);
}
}
}
/// <summary>
/// 删除明细
/// </summary>
protected void DeleteRow_Click(object sender, EventArgs e)
{
bool deleted = false;
using (ContractProvider contProvider = new ContractProvider())
{
foreach (GridViewRow row in List.Rows)
{
HtmlInputCheckBox rowCheckControl = (HtmlInputCheckBox)row.FindControl("RowCheck");
if (rowCheckControl.Checked)
{
try
{
//删除
contProvider.DeleteArprocessDetail(List.DataKeys[row.RowIndex]["ORDNO"].ToString().Trim(), List.DataKeys[row.RowIndex]["lflag"].ToString().Trim(), List.DataKeys[row.RowIndex]["lseq"].ToString().Trim());
}
catch (Exception error)
{
this.ShowErrorMessage(this.GetGlobalResourceString("DeleteErrorMessage") + error.Message);
return;
}
//有项被删除
deleted = true;
}
}
}
if (deleted)
{
this.BindList();
}
else
{
this.ShowInfoMessage(this.GetGlobalResourceString("NotSelectMessage"));
}
}
protected void btn_Update_Click(object sender, EventArgs e)
{
if (Request.QueryString["id"] == null)
{
this.Alert("不能修改，找不到相应记录！！！");
return;
}
if (this.IsTime() == 1)
{
this.Alert("开始时间必须比结束时间前，请重新选择时间！");
return;
}
if (this.IsTime() == 2)
{
this.Alert("时间不符合逻辑！");
return;
}
Contract contract = this.AddContract();
ContractProvider provider = new ContractProvider();
if (provider.Update(contract))
{
this.Alert("修改成功!!!");
this.BindText();
}
}
/// <summary>
/// 绑定项目
/// </summary>
private void BindItem()
{
using (ContractProvider contProvider = new ContractProvider())
{
DataRow row = contProvider.GetFactoryByNo(this.CurrentID);
if (row != null)
{
avend.Text = row["avend"].ToString();
avnam.Text = row["avnam"].ToString();
avarea.SelectedValue = row["avarea"].ToString();
avprov.Text = row["avprov"].ToString();
avcoty.Text = row["avcoty"].ToString();
avadr1.Text = row["avadr1"].ToString();
avadr2.Text = row["avadr2"].ToString();
avadr3.Text = row["avadr3"].ToString();
avpon1.Text = row["avpon1"].ToString();
avpon2.Text = row["avpon2"].ToString();
avpon3.Text = row["avpon3"].ToString();
avfax1.Text = row["avfax1"].ToString();
avfax2.Text = row["avfax2"].ToString();
avctat.Text = row["avctat"].ToString();
avemai1.Text = row["avemai1"].ToString();
avemai2.Text = row["avemai2"].ToString();
avsalr.Text = row["avsalr"].ToString();
avterm.SelectedValue = row["avterm"].ToString();
avtrc.SelectedValue = row["avtrc"].ToString();
avcur.SelectedValue = row["avcur"].ToString();
avbank.Text = row["avbank"].ToString();
avacct.Text = row["avacct"].ToString();
avhyb.Text = row["avhyb"].ToString();
avtax.Text = row["avtax"].ToString();
atcod.Text = row["atcod"].ToString();
}
}
}
/// <summary>
/// 绑定列表
/// </summary>
private void BindList()
{
using (ContractProvider contProvider = new ContractProvider())
{
string dFrom = string.IsNullOrWhiteSpace(DateFrom.Text.Trim()) ? string.Empty :
LocalGlobal.ConvertDateFormat(DateFrom.Text.Trim()).ToString("yyyyMMdd");
string dTo = string.IsNullOrWhiteSpace(DateTo.Text.Trim()) ? string.Empty :
LocalGlobal.ConvertDateFormat(DateTo.Text.Trim()).ToString("yyyyMMdd");
decimal totalAmt = 0;
DataTable table = contProvider.GetShipKpDetailList(this.CurrentType, ORDNO.Text.Trim(), CUSTNO.Text.Trim(), CUSTNAME.Text.Trim(), dFrom, dTo);
table.Columns.Add("NoKpAmt"); //未开票金额
table.Columns.Add("ShipNoKpQty"); //已交货未开票数量
table.Columns.Add("ShipNoKpAmt"); //已交货未开票金额
table.Columns.Add("KpNoShipQty"); //已开票未交货数量
table.Columns.Add("KpNoShipAmt"); //已开票未交货金额
foreach (DataRow row in table.Rows)
{
var unitPrice = Util.ToDecimal(row["UNITPRICE"].ToString()); //单价
var amt = Util.ToDecimal(row["amt"].ToString()); //明细 总价
var shipqty = Util.ToDecimal(row["shipqty"].ToString()); //已交货数量
var kpqty = Util.ToDecimal(row["kpqty"].ToString()); //已开票数量
var kpamt = Util.ToDecimal(row["kpamt"].ToString()); //已开票金额
//未开票金额
row["NoKpAmt"] = (amt - kpamt) < 0 ? "" : (amt - kpamt).ToString();
//已交货未开票数量
row["ShipNoKpQty"] = (shipqty - kpqty) < 0 ? "" : (shipqty - kpqty).ToString();
//已交货未开票金额
row["ShipNoKpAmt"] = (unitPrice * shipqty - kpamt) < 0 ? "" : (unitPrice * shipqty - kpamt).ToString();
//已开票未交货数量
row["KpNoShipQty"] = (kpqty - shipqty) < 0 ? "" : (kpqty - shipqty).ToString();
//已开票未交货金额
row["KpNoShipAmt"] = (kpamt - unitPrice * shipqty) < 0 ? "" : (kpamt - unitPrice * shipqty).ToString();
switch (this.CurrentType)
{
case 0: //全部
case 3: //未开票未交货
case 4: //已开票已交货
totalAmt += amt;
break;
case 1: //已开票未交货
totalAmt += Util.ToDecimal(row["KpNoShipAmt"].ToString());
break;
case 2: //已交货未开票
totalAmt += Util.ToDecimal(row["ShipNoKpAmt"].ToString());
break;
}
}
TotalAmt.Text = totalAmt.ToString();
List.DataSource = table;
}
List.DataBind();
}
/// <summary>
/// 初始化
/// </summary>
private void Initialize()
{
#region 页面内容
using (ContractProvider contProvider = new ContractProvider())
{
var area = contProvider.GetBaseParam("AR", "");
LocalGlobal.BindListItems(rcarea, area.DefaultView, "Description", "Description", true);
var payType = contProvider.GetBaseParam("PY", "");
LocalGlobal.BindListItems(rcterm, payType.DefaultView, "Description", "Description", true);
var tradeCond = contProvider.GetBaseParam("TC", "");
LocalGlobal.BindListItems(rctrc, tradeCond.DefaultView, "Description", "Description", true);
var curr = contProvider.GetBaseParam("CY", "");
LocalGlobal.BindListItems(rccur, curr.DefaultView, "Description", "Description", true);
var tax = contProvider.GetBaseParam("TX", "");
LocalGlobal.BindListItems(rctax, tax.DefaultView, "Description", "Description", true);
var sales = contProvider.GetBaseParam("CK", "");
LocalGlobal.BindListItems(rcsalr, sales.DefaultView, "Description", "Description", true);
}
#endregion
if (this.CurrentID.Length == 0)
{
//新增
}
else
{
//编辑
this.BindItem();
}
}
/// <summary>
/// 行绑定
/// </summary>
/// <param name="sender"></param>
/// <param name="e"></param>
protected void List_RowDataBound(object sender, GridViewRowEventArgs e)
{
switch (e.Row.RowType)
{
//数据行
case DataControlRowType.DataRow:
#region 数据绑定
#endregion
break;
case DataControlRowType.Footer:
DropDownList UM = (DropDownList)e.Row.FindControl("UM");
using (ContractProvider contProvider = new ContractProvider())
{
var table = contProvider.GetBaseParam("UM", "");
LocalGlobal.BindListItems(UM, table.DefaultView, "code", "code", false);
}
break;
case DataControlRowType.EmptyDataRow:
case DataControlRowType.Header:
case DataControlRowType.Separator:
case DataControlRowType.Pager:
default:
break;
}
}
protected void GridView1_RowCommand(object sender, GridViewCommandEventArgs e)
{
int rowIndex = Convert.ToInt32(e.CommandArgument);
if (e.CommandName.Equals("receiving"))
{
ContractProvider provider = new ContractProvider();
provider.Update(this.GridView1.DataKeys[rowIndex].Value.ToString(), "已提交");
this.BindSource(0, "%M%");
}
if (e.CommandName.Equals("shop"))
{
Response.Redirect("ContractShopManager.aspx?id=" + this.GridView1.DataKeys[rowIndex].Value.ToString());
}
if (e.CommandName.Equals("add"))
{
Contract contract = new Contract();
contract.Contrac_id = Convert.ToInt32(this.GridView1.DataKeys[rowIndex].Value);
contract.Contrac_state = "已提交";
ContractProvider provider = new ContractProvider();
DataTable table = provider.Select(contract);
if (table.Rows.Count != 0)
{
this.Alert("不能添加商品了，已经确认订货了！！！");
return;
}
Response.Redirect("FabricsPurchasing.aspx?id=" + this.GridView1.DataKeys[rowIndex].Value.ToString());
}
}
private IImmutableSet <Subroutine> GetInheritedRequires(Method method)
{
IImmutableSet <Subroutine> result = ImmutableSet <Subroutine> .Empty();
if (MetaDataProvider.IsVirtual(method) && ContractProvider.CanInheritContracts(method))
{
Method rootMethod;
if (MetaDataProvider.TryGetRootMethod(method, out rootMethod))
{
Subroutine sub = Get(MetaDataProvider.Unspecialized(method));
if (sub != null)
{
result = result.Add(sub);
}
}
foreach (Method implMethod in MetaDataProvider.ImplementedMethods(method))
{
Subroutine sub = Get(MetaDataProvider.Unspecialized(implMethod));
if (sub != null)
{
result = result.Add(sub);
}
}
}
return(result);
}
/// <summary>
/// 生成新工令号
/// </summary>
/// <returns></returns>
public static string NewOrno(bool isNew)
{
var dateModel = GetDateModel();
string no = string.Empty;
using (ContractProvider contProvider = new ContractProvider())
{
var ornoSys = contProvider.GetSysOrnoInfo(dateModel.YearStr);
if (ornoSys != null && ornoSys.Rows.Count > 0)
{
no = dateModel.YearMonStr + ornoSys.Rows[0]["val2"].ToString();
if (!isNew)
{
var val2 = Convert.ToInt32(ornoSys.Rows[0]["val2"].ToString()) + 1;
contProvider.UpdateSysOrnoInfo(val2.ToString().PadLeft(3, '0'), dateModel.YearStr);
}
}
else
{
no = dateModel.YearMonStr + "001";
contProvider.InsertSysOrnoInfo(dateModel.YearStr);
}
}
return(no);
}
/// <summary>
/// 生成新发货单号
/// </summary>
/// <returns></returns>
public static string NewSTNo()
{
var dateModel = GetDateModel();
string no = string.Empty;
using (ContractProvider contProvider = new ContractProvider())
{
var param = contProvider.GetBaseParam("ST", "NO");
if (param != null && param.Rows.Count > 0)
{
string stno = param.Rows[0]["description"].ToString(); //ST1703997
string year = stno.Substring(2, 2);
string num = stno.Substring(4, 5);
if (dateModel.YearStr == year)
{
no = "ST" + year + (Util.ToInt(num) + 1).ToString().PadLeft(5, '0');
}
else
{
no = "ST" + dateModel.YearStr + (Util.ToInt(num) + 1).ToString().PadLeft(5, '0');
}
}
else
{
no = "ST" + dateModel.YearStr + "00001";
}
contProvider.UpdateBaseParam("ST", "NO", no);
}
return(no);
}
/// <summary>
/// 绑定列表
/// </summary>
private void BindList()
{
using (ContractProvider contProvider = new ContractProvider())
{
string date = DateTime.Now.ToString("yyyy-MM-dd");
if (Limit.SelectedValue == "1")
{
date = DateTime.Now.AddDays(15).ToString("yyyy-MM-dd");
}
else if (Limit.SelectedValue == "2")
{
date = DateTime.Now.AddDays(30).ToString("yyyy-MM-dd");
}
else
{
date = LimitDate.Text.Trim();
}
var table = contProvider.GetZbAlarmList(ORDNO.Text.Trim(), CUSTNO.Text.Trim(), date);
List.DataSource = table;
//剩余质保金总额
decimal remainTotal = 0;
foreach (DataRow row in table.Rows)
{
remainTotal += Util.ToDecimal(row["remainzb"].ToString());
}
ZbRemainTotal.Text = remainTotal.ToString();
}
List.DataBind();
}
protected void Page_Load(object sender, EventArgs e)
{
Contract contract = new Contract();
contract.Contrac__num = "%F%";
ContractProvider provider = new ContractProvider();
string size = provider.GetSize(contract).ToString();
switch (size.Length)
{
case 1:
this.txt_num.Text = "11F000" + Convert.ToString(Convert.ToInt32(size) + 1);
break;
case 2:
this.txt_num.Text = "11F00" + Convert.ToString(Convert.ToInt32(size) + 1);
break;
case 3:
this.txt_num.Text = "11F0" + Convert.ToString(Convert.ToInt32(size) + 1);
break;
case 4:
this.txt_num.Text = "11F" + Convert.ToString(Convert.ToInt32(size) + 1);
break;
}
if (!IsPostBack)
{
this.BindSource();
}
this.txt_time.Text = DateTime.Now.Date.ToString();
this.account.Text = Session["LOGINED"].ToString();
this.datetime.Text = this.BindDayWeek();
}
/// <summary>
/// 绑定列表
/// </summary>
private void BindList()
{
using (ContractProvider contProvider = new ContractProvider())
{
List.DataSource = contProvider.GetReceivableInfo(ORDNO.Text.Trim(), ORDNAME.Text.Trim(), CUSTNO.Text.Trim(), CUSTNAME.Text.Trim(), CURR.SelectedValue.Trim(), ORDAMT.Text.Trim());
}
List.DataBind();
}
/// <summary>
/// 绑定列表
/// </summary>
private void BindList()
{
using (ContractProvider contProvider = new ContractProvider())
{
List.DataSource = contProvider.GetContractHeadList(ORDNO.Text.Trim());
}
List.DataBind();
}
/// <summary>
/// 绑定列表
/// </summary>
private void BindList()
{
using (ContractProvider contProvider = new ContractProvider())
{
List.DataSource = contProvider.GetArprocessDetail(this.CurrentID);
}
List.DataBind();
}
public CciAssembly(Module module, ContractProvider contractProvider)
{
Contract.Requires(module != null);
Contract.Requires(contractProvider != null);
this.module = module;
this.contractProvider = contractProvider;
}
/// <summary>
/// 绑定列表
/// </summary>
private void BindList()
{
using (ContractProvider contProvider = new ContractProvider())
{
List.DataSource = contProvider.GetFactoryByName(FactName.Text.Trim());
}
List.DataBind();
}
/// <summary>
/// 绑定项目
/// </summary>
private void BindItem()
{
using (ContractProvider contProvider = new ContractProvider())
{
var table = contProvider.GetKpInfo(this.CurrentID, this.CurrentSeq);
ViewState["ViewDT"] = table;
BindTempData();
}
}
/// <summary>
/// 編輯
/// </summary>
/// <returns></returns>
public ActionResult ContractList(ContractParameter param)
{
param.KeyWord = HttpUtility.UrlDecode(param.KeyWord);
return(View(
new InternalDataTransferToView
{
List = ContractProvider.List(param),
Data = param
}));
}
/// <summary>
/// 确定
/// </summary>
protected void OKButton_Click(object sender, EventArgs e)
{
if (ORDNO.Text.Trim().Length == 0 || Seq.Text.Trim().Length == 0)
{
this.ShowErrorMessage("参数错误");
return;
}
SqlConnection con = LocalGlobal.DbConnect();
con.Open();
SqlTransaction tran = con.BeginTransaction();//使用事务
SqlCommand cmd = new SqlCommand();
cmd.Connection = con;
cmd.Transaction = tran;
try
{
using (ContractProvider contProvider = new ContractProvider())
{
string orno = ORDNO.Text.Trim();
string orSeq = Seq.Text.Trim();
cmd.CommandText = contProvider.DeleteZbSkSql(orno, this.CurrentStNo, orSeq);
cmd.ExecuteNonQuery();
var table = ViewState["ViewDT"] as DataTable;
int seq = 0; decimal total = 0;
foreach (DataRow row in table.Rows)
{
seq++;
cmd.CommandText = contProvider.InsertZbSkSql(orno, orSeq, seq.ToString(), this.CurrentStNo, row["zbskamt"].ToString(), row["zbskdate"].ToString());
cmd.ExecuteNonQuery();
total += Util.ToDecimal(row["zbskamt"].ToString());
}
cmd.CommandText = contProvider.UpdateZbSkAmtSql(orno, orSeq, this.CurrentStNo, total.ToString());
cmd.ExecuteNonQuery();
}
}
catch (Exception error)
{
tran.Rollback();
this.ShowErrorMessage("保存失败！" + error.Message);
return;
}
tran.Commit();
//回调
this.DialogCallback("'CloseRefresh'", "window");
}
public ActionResult ContractetDetailList(ContractParameter param)
{
param.Entity.ContractDetail = ContractProvider.GetContractDetail(param.Entity.Id);
return(View(new InternalDataTransferToView
{
//List = ConstructorProvider.GetConstructionTypeList(), //取工程類別總清單
//ContractProvider.GetDetail(param),
Data = param
}));
}
protected void btn_Result_Click(object sender, EventArgs e)
{
Contract contract = new Contract();
contract.Contrac__num = this.txt_Name.Text;
ContractProvider provider = new ContractProvider();
this.ListPager1.RecordCount = provider.GetSize(contract);
this.BindSource(0, this.txt_Name.Text);
this.ListPager1.PageChange += new PagerEventHandler(ListPager1_PageChange);
}
protected void btn_result_Click(object sender, EventArgs e)
{
Contract contract = this.AddContract();
ContractProvider provider = new ContractProvider();
if (provider.Insert(contract))
{
string id = provider.GetSize().ToString();
Response.Redirect("TrimsSourcing.aspx?id=" + id);
}
}
/// <summary>
/// 绑定Contract信息的数据源
/// </summary>
private void BindSource(int start)
{
Contract contract = new Contract();
contract.Contrac_state = "%已%";
ContractProvider provider = new ContractProvider();
DataTable table = provider.Select(contract, start, this.ListPager1.PageSize);
this.GridView1.DataSource = table.DefaultView;
this.GridView1.DataBind();
}
/// <summary>
/// 绑定列表
/// </summary>
private void BindList()
{
DetailLabel.Visible = true;
using (ContractProvider contProvider = new ContractProvider())
{
List.DataSource = contProvider.GetContractHeadInfo(ORDNO.Text.Trim());
DetailList.DataSource = contProvider.GetContractDetailKp(ORDNO.Text.Trim());
}
List.DataBind();
DetailList.DataBind();
}
protected void Page_Load(object sender, EventArgs e)
{
if (!IsPostBack)
{
ContractProvider provider = new ContractProvider();
this.ListPager1.RecordCount = provider.GetSize();
this.BindSource(0, null);
}
this.account.Text = Session["LOGINED"].ToString();
this.datetime.Text = this.BindDayWeek();
this.ListPager1.PageChange += new PagerEventHandler(ListPager1_PageChange);
}
protected void List_SelectedIndexChanging(object sender, GridViewSelectEventArgs e)
{
this.List.SelectedIndex = e.NewSelectedIndex;
string no = this.List.DataKeys[this.List.SelectedIndex]["ordno"].ToString();
//绑定详情列表
DetailLabel.Visible = true;
using (ContractProvider contProvider = new ContractProvider())
{
DetailList.DataSource = contProvider.GetContractStatsDetail(no);
}
DetailList.DataBind();
}
private void BindText()
{
Contract contract = new Contract();
contract.Contrac_id = Convert.ToInt32(id);
ContractProvider provider = new ContractProvider();
DataTable table = new DataTable();
table = provider.Select(contract);
this.txt_start.Text = table.Rows[0]["contract_start"].ToString();
this.ddl_company.SelectedValue = table.Rows[0]["company_id"].ToString();
this.txt_end.Text = table.Rows[0]["contract_end"].ToString();
this.txt_num.Text = table.Rows[0]["contrac_num"].ToString();
}
/// <summary>
/// 绑定项目
/// </summary>
private void BindItem()
{
using (ContractProvider contProvider = new ContractProvider())
{
var row = contProvider.GetArprocess(this.CurrentID);
if (row != null)
{
ORDNO.Text = row["ORDNO"].ToString().Trim();
ORDNAME.Text = row["scont"].ToString().Trim();
CURR.Text = row["scurr"].ToString().Trim();
CUSTNO.Text = row["scust"].ToString().Trim();
CUSTNAME.Text = row["scnme"].ToString().Trim();
ORDAMT.Text = row["stotal"].ToString().Trim();
}
}
}
/// <summary>
/// Initializes a new instance of the <see cref="CodeAndContractMutator"/> class.
/// </summary>
/// <param name="template">The template.</param>
protected CodeAndContractMutator(CodeAndContractMutator template)
: base(template.host, template.sourceLocationProvider)
{
this.contractProvider = template.contractProvider;
}
/// <summary>
///
/// </summary>
/// <param name="host">An object representing the application that is hosting this mutator. It is used to obtain access to some global
/// objects and services such as the shared name table and the table for interning references.</param>
/// <param name="sourceLocationProvider">An object that can map the ILocation objects found in a block of statements to IPrimarySourceLocation objects. May be null.</param>
/// <param name="contractProvider">An object that associates contracts, such as preconditions and postconditions, with methods, types and loops.
/// IL to check this contracts will be generated along with IL to evaluate the block of statements. May be null.</param>
public MethodBodyCodeAndContractMutator(IMetadataHost host,
ISourceLocationProvider/*?*/ sourceLocationProvider, ContractProvider/*?*/ contractProvider)
: base(host, sourceLocationProvider, contractProvider)
{
}
/// <summary>
///
/// </summary>
/// <param name="host"></param>
/// <param name="copyOnlyIfNotAlreadyMutable"></param>
/// <param name="sourceLocationProvider"></param>
/// <param name="contractProvider"></param>
public MethodBodyCodeAndContractMutator(IMetadataHost host, bool copyOnlyIfNotAlreadyMutable, ISourceLocationProvider/*?*/ sourceLocationProvider, ContractProvider/*?*/ contractProvider)
: base(host, sourceLocationProvider, contractProvider)
{
}
/// <summary>
///
/// </summary>
/// <param name="host">An object representing the application that is hosting this mutator. It is used to obtain access to some global
/// objects and services such as the shared name table and the table for interning references.</param>
/// <param name="sourceLocationProvider">An object that can map the ILocation objects found in a block of statements to IPrimarySourceLocation objects. May be null.</param>
/// <param name="contractProvider">An object that associates contracts, such as preconditions and postconditions, with methods, types and loops.
/// IL to check this contracts will be generated along with IL to evaluate the block of statements. May be null.</param>
public CodeAndContractMutator(IMetadataHost host, ISourceLocationProvider/*?*/ sourceLocationProvider, ContractProvider/*?*/ contractProvider)
: base(host, sourceLocationProvider)
{
this.contractProvider = contractProvider;
}
/// <summary>
/// A class that traverses a mutable contract, code and metadata model in depth first, left to right order,
/// rewriting each node it visits by updating the node's children with recursivly rewritten nodes.
/// Important: ALL nodes in the model to rewrite must come from the mutable code and metadata model.
/// The rewritten model, however, may incorporate other kinds of nodes.
/// </summary>
/// <param name="host">An object representing the application that is hosting this rewriter. It is used to obtain access to some global
/// objects and services such as the shared name table and the table for interning references.</param>
/// <param name="contractProvider">An object that associates contracts, such as preconditions and postconditions, with methods, types and loops.
/// IL to check this contracts will be generated along with IL to evaluate the block of statements. May be null.</param>
public CodeAndContractRewriter(IMetadataHost host, ContractProvider/*?*/ contractProvider)
: base(host)
{
this.contractProvider = contractProvider;
}
