public void KeyDoor()
{
var lookup = new Lookup();
var key1 = new Acquire(lookup, "key", "key");
var key2 = new Acquire(lookup, "key", "key");
var door1 = new Consume(lookup, "key", "door");
var door2 = new Consume(lookup, "key", "door");
const int numNodes = 3;
var process = new Process(numNodes);
process.AddScript(0, key1);
process.AddScript(0, key2); // removing this key fails EF(f)
process.AddTransition(0, 1, door1);
process.AddTransition(1, 2, door2); // changing this door to (0,1) passes EF(f) but not AG(EF(f))
using (var writer = new StringWriter())
{
process.ExportToGraphviz(writer);
Debug.Log(writer);
}
Debug.Log(lookup);
var variables = lookup.VariableNames.ToArray();
var ts = process.BuildTransitionSystem(variables, 0, 2, out int[] initialStates, out int[] finalStates, out IProposition[] propositions);
public KafkaContainer(string zookeeperAddress)
{
var dockerHost = Environment.GetEnvironmentVariable("DOCKER_HOST");
if (string.IsNullOrEmpty(dockerHost))
{
dockerHost = "unix:/var/run/docker.sock";
}
Console.WriteLine($"dockerHost: {dockerHost}");
_container = new TestcontainersBuilder <TestcontainersContainer>()
.WithDockerEndpoint(dockerHost)
.WithImage(new DockerImage("confluentinc/cp-kafka:5.5.1"))
.WithExposedPort(Port)
.WithPortBinding(Port, Port)
.WithEnvironment("KAFKA_ADVERTISED_LISTENERS",
"PLAINTEXT://localhost:29092,PLAINTEXT_HOST://localhost:9092")
.WithEnvironment("KAFKA_ZOOKEEPER_CONNECT", zookeeperAddress)
.WithEnvironment("KAFKA_BROKER_ID", "1")
.WithEnvironment("KAFKA_LISTENER_SECURITY_PROTOCOL_MAP", "PLAINTEXT:PLAINTEXT,PLAINTEXT_HOST:PLAINTEXT")
.WithEnvironment("KAFKA_INTER_BROKER_LISTENER_NAME", "PLAINTEXT")
.WithEnvironment("KAFKA_OFFSETS_TOPIC_REPLICATION_FACTOR", "1")
.WithName("kafka-testcontainer")
.WithOutputConsumer(Consume.RedirectStdoutAndStderrToStream(_outStream, _errorStream))
.WithWaitStrategy(Wait.ForUnixContainer().UntilPortIsAvailable(Port))
.Build();
}
public bool Equals(CardStarUpRulePB other)
{
if (ReferenceEquals(other, null))
{
return(false);
}
if (ReferenceEquals(other, this))
{
return(true);
}
if (CardId != other.CardId)
{
return(false);
}
if (Star != other.Star)
{
return(false);
}
if (!Consume.Equals(other.Consume))
{
return(false);
}
if (Gold != other.Gold)
{
return(false);
}
if (!sceneIds_.Equals(other.sceneIds_))
{
return(false);
}
return(true);
}
public TestcontainersBuilder() : this(
Apply(
outputConsumer : Consume.DoNotConsumeStdoutAndStderr(),
waitStrategies : Wait.ForUnixContainer().Build()),
testcontainer => { })
{
}
public ConsumeViewModel(Consume c)
{
this.InventoryId = c.InventoryId;
this.DateConsumed = c.DateConsumed;
this.IsConsumed = c.IsConsumed;
this.Id = c.Id;
}
public bool insert(Consume g)
{
string sql = "insert into Consume values (@ID,@bookingTypeID,@surchare,@coca,@lavie,@snack,@noodle,@extrabed)";
SqlConnection conn = dp.getConnection();
cmd = new SqlCommand(sql, conn);
try
{
cmd = new SqlCommand(sql, conn);
conn.Open();
cmd.Parameters.Add("@ID", SqlDbType.Char).Value = g.BookingID;
cmd.Parameters.Add("@bookingTypeID", SqlDbType.Char).Value = g.BookingTypeID;
cmd.Parameters.Add("@surchare", SqlDbType.Char).Value = g.Surchare;
cmd.Parameters.Add("@coca", SqlDbType.Char).Value = g.CoCaCola;
cmd.Parameters.Add("@lavie", SqlDbType.Char).Value = g.Lavie;
cmd.Parameters.Add("@snack", SqlDbType.Char).Value = g.Snack;
cmd.Parameters.Add("@noodle", SqlDbType.Char).Value = g.InstantNoodle;
cmd.Parameters.Add("@extrabed", SqlDbType.Char).Value = g.ExtraBed;
cmd.ExecuteNonQuery();
conn.Close();
}
catch (Exception e)
{
return(false);
}
return(true);
}
public async Task OutputConsumer()
{
// Given
using (var consumer = Consume.RedirectStdoutAndStderrToStream(new MemoryStream(), new MemoryStream()))
{
// When
var testcontainersBuilder = new TestcontainersBuilder <TestcontainersContainer>()
.WithImage("nginx")
.WithCommand("/bin/sh", "-c", "hostname > /dev/stdout && hostname > /dev/stderr")
.WithOutputConsumer(consumer);
await using (IDockerContainer testcontainer = testcontainersBuilder.Build())
{
await testcontainer.StartAsync();
}
consumer.Stdout.Position = 0;
consumer.Stderr.Position = 0;
// Then
using (var streamReader = new StreamReader(consumer.Stdout, leaveOpen: true))
{
Assert.NotEmpty(await streamReader.ReadToEndAsync());
}
using (var streamReader = new StreamReader(consumer.Stderr, leaveOpen: true))
{
Assert.NotEmpty(await streamReader.ReadToEndAsync());
}
}
}
public CheckOutRoomForm()
{
InitializeComponent();
room = new Room();
customer = new Customer();
consume = new Consume();
}
/// <summary>
/// 更新
/// </summary>
/// <returns>更新是否成功</returns>
public bool Update(Consume consume)
{
string SQL = SQLBuilder.BuildUpdateSQL(consume, new { dishes_id = consume.dishes_id }, TableName);
int result = Connection.ExecuteSql(SQL, consume);
return(result == 1 ? true : false);
}
public LocalStackFixture(IOptions <LocalStackOptions> options, Amazon.Extensions.NETCore.Setup.AWSOptions awsOptions)
{
var localStackBuilder = new TestcontainersBuilder <TestcontainersContainer>()
.WithImage("localstack/localstack")
.WithCleanUp(true)
.WithOutputConsumer(Consume.RedirectStdoutAndStderrToConsole())
.WithEnvironment("DEFAULT_REGION", "eu-central-1")
.WithEnvironment("SERVICES", "s3")
.WithEnvironment("DOCKER_HOST", "unix:///var/run/docker.sock")
.WithEnvironment("DEBUG", "1")
.WithPortBinding(4566, 4566);
if (awsOptions != null)
{
if (awsOptions.Credentials != null)
{
var awsCreds = awsOptions.Credentials.GetCredentials();
localStackBuilder.WithEnvironment("AWS_ACCESS_KEY_ID", awsCreds.AccessKey)
.WithEnvironment("AWS_SECRET_ACCESS_KEY", awsCreds.SecretKey);
}
}
_localStackContainer = localStackBuilder.Build();
this.options = options;
}
/// <summary>
/// 添加
/// </summary>
/// <returns>添加是否成功</returns>
public bool Insert(Consume consume)
{
string SQL = SQLBuilder.BuildInsertSQL(consume, TableName);
int result = Connection.ExecuteSql(SQL, consume);
return(result == 1 ? true : false);
}
public int Update(Consume info)
{
string commandText = string.Format("update Consume set code='{0}', consumeTime='{1}',cardID={2}, status={3}, type={4}, num={5}, operator='{6}', comment='{7}', leftNum={8} where ID={9}",
info.Code, info.ConsumeTime, info.CardID, info.Status, info.Type, info.Number, info.Oper, info.Comment, info.LeftNumber, info.ID);
return(DbHelperAccess.executeNonQuery(commandText));
}
public ManageRoomForm()
{
InitializeComponent();
room = new Room();
product = new Product();
consume = new Consume();
}
public LoadDriver(IDockerNetwork network, NamingConvention namingConvention, TestConfig testConfig)
{
_network = network ?? throw new ArgumentNullException(nameof(network));
if (namingConvention == null)
{
throw new ArgumentNullException(nameof(namingConvention));
}
if (testConfig == null)
{
throw new ArgumentNullException(nameof(testConfig));
}
_logStream = File.Create(Path.Combine(namingConvention.ContainerLogs, "k6.txt"));
_resultStream = File.Create(Path.Combine(namingConvention.AgentResults, K6ResultsFile));
_hostScriptPath = Path.Combine(Directory.GetCurrentDirectory(), "K6", "basic.js");
_container = new TestcontainersBuilder <TestcontainersContainer>()
.WithImage(LoadDriveImageName)
.WithName($"{OverheadTest.Prefix}-k6-load")
.WithNetwork(_network)
.WithCommand("run",
"-u", testConfig.ConcurrentConnections.ToString(),
"-e", $"ESHOP_HOSTNAME={EshopApp.ContainerName}",
"-i", testConfig.Iterations.ToString(),
"--rps", testConfig.MaxRequestRate.ToString(),
ContainerScriptPath,
"--summary-export", ContainerResultsPath)
.WithBindMount(_hostScriptPath, ContainerScriptPath)
.WithOutputConsumer(Consume.RedirectStdoutAndStderrToStream(_logStream, _logStream))
.Build();
}
static void ConsumeAndRecordLastSeen(
LastSeen lastSeen,
RecentNotifications recentNotifications,
IEnumerable <TypeContract> contracts,
Action <IEnumerable <IDomainEvent> > publish,
RecordLastSeen recordLastSeen)
{
var id = Consume
(
lastSeen: lastSeen,
recentNotifications: recentNotifications,
contracts: contracts,
publish: publish
)();
recordLastSeen(id);
}
public TestcontainersBuilder() : this(
Apply(
authConfig : new AuthenticationConfiguration(),
outputConsumer : Consume.DoNotConsumeStdoutAndStderr(),
waitStrategies : Wait.ForUnixContainer().Build()),
testcontainer => { })
{
}
/// <summary>
/// Mock callback for <see cref="IModel.BasicConsume(string,bool,IBasicConsumer)"/> that throws a <see cref="Consume"/>
/// event as a means for this object to simulate receiving a message.
/// </summary>
/// <param name="q">The queue name.</param>
/// <param name="noAck">True if no acknowledgement of receipt is expected.</param>
/// <param name="consumer">The consumer that would normally retrieve the message.</param>
private void BasicConsume(string q, bool noAck, IBasicConsumer consumer)
{
var result = _bindings.ContainsKey(q) ? Subscribe(_bindings[q]) : Receive(q);
if (Consume != null)
{
Consume.Invoke(this, new MessageQueueMockConsumeEventArgs(result));
}
}
/// <summary>
/// Initializes a new instance of the <see cref="HostedServiceConfiguration" /> class.
/// </summary>
/// <param name="image">The Docker image.</param>
/// <param name="defaultPort">The container port.</param>
/// <param name="port">The host port.</param>
protected HostedServiceConfiguration(string image, int defaultPort, int port = 0)
{
this.Image = image;
this.DefaultPort = defaultPort;
this.Port = port;
this.Environments = new Dictionary <string, string>();
this.OutputConsumer = Consume.DoNotConsumeStdoutAndStderr();
this.WaitStrategy = Wait.ForUnixContainer();
}
void Awake()
{
health = GetComponent <Health>();
energy = GetComponent <Energy>();
shooter = GetComponent <Shooter>();
consume = GetComponent <Consume>();
movement = GetComponent <Movement>();
inventory = GetComponent <Inventory>();
interact = transform.Find("Interact");
}
public void GetProducts()
{
// Act
List <Product> products = Consume.GetProducts();
// Assert
var items = Assert.IsType <List <Product> >(products);
bool isEmpty = !items.Any();
Assert.False(isEmpty);
}
internal EventHandler(ChanceGenerator chance, Loot loot, Attack attack, Hack hack, Die die,
Sleep sleep, Consume eat)
{
_chance = chance;
_loot = loot;
_attack = attack;
_hack = hack;
_die = die;
_sleep = sleep;
_eat = eat;
}
public bool edit(Consume c)
{
if (cDB.delete(c))
{
return(cDB.insert(c));
}
else
{
return(false);
}
}
public Consume getConsumeByID(string ID, string typeID)
{
DataTable dt = cDB.getByID(ID, typeID);
Consume ans = new Consume();
foreach (DataRow dr in dt.Rows)
{
ans = dataTableToConsume(dr);
}
return(ans);
}
//对内提供服务的函数，调用switch mode，其实可以把openMode作为参数
private void initCard()
{
//2020-1-18 这里只分两种情况，除了0之外，其他情况还要根据card的status来重设openMode
if (openMode == 0)
{
int max = 1;// CirDao.getMaxCode(string.Format("CARD-{0}-", DateTime.Now.ToString("yyyyMMdd")));
this.textBox_serial.Text = string.Format("CARD-{0}-{1:0000}", DateTime.Now.ToString("yyyyMMdd"), max + 1);
this.dateTime_cardTime.Value = DateTime.Now;
this.textBox_num.Text = "";
this.textBox_realTotal.Text = "";
this.textBox_comment.Text = null;
this.textBox_operator.Text = ConfDao.getInstance().Get(5).ToString();
this.lookupText1.LookupArg = null;
this.lookupText1.Text_Lookup = null;
}
else
{
card = CardDao.getInstance().FindByID(cardID);
this.textBox_serial.Text = card.Code;
this.dateTime_cardTime.Value = card.CardTime;
this.textBox_realTotal.Text = card.Total.ToString();
this.textBox_num.Text = card.Number.ToString();
this.textBox_leftNum.Text = card.LeftNumber.ToString();
this.textBox_comment.Text = card.Comment;
this.textBox_operator.Text = card.Oper;
this.lookupText1.LookupArg = new LookupArg(card.CustomerID, card.CustomerName);
this.lookupText1.Text_Lookup = card.CustomerName;
List <Consume> list = ConsumeDao.getInstance().FindList(cardID, 4);
this.dataGridView1.Rows.Clear();
for (int i = 0; i < list.Count; i++)
{
Consume consume = list[i];
this.dataGridView1.Rows.Add();
this.dataGridView1.Rows[i].Cells["ID"].Value = consume.ID;
this.dataGridView1.Rows[i].Cells["name"].Value = consume.Code;
this.dataGridView1.Rows[i].Cells["num"].Value = consume.Number;
int status = consume.Status;
this.dataGridView1.Rows[i].Cells["status"].Value = Consume.consumeStatusContext[status - 1];
this.dataGridView1.Rows[i].Cells["sellTime"].Value = consume.ConsumeTime.ToString("yyyy-MM-dd HH:mm:ss");
}
openMode = card.Status;
}
switchMode(openMode);
resetNeedSave(false);
}
void Consume(Consume c)
{
Extra extra = new Extra();
extra = extra1;
extra1.calculate1.textBox1.Text = c.InstantNoodle.ToString();
extra1.calculate2.textBox1.Text = c.CoCaCola.ToString();
extra1.calculate3.textBox1.Text = c.Lavie.ToString();
extra1.calculate4.textBox1.Text = c.ExtraBed.ToString();
extra1.calculate5.textBox1.Text = c.Snack.ToString();
}
private void Process(object state)
{
// Cast the input to the right object
var args = (Tuple <TaskCompletionSource <object>, Task>)state;
// Process all the input
TConsume consume;
while (!_hasError && Consume.TryTake(out consume))
{
try
{
ProcessConsume(consume);
}
catch (Exception e)
{
// Let other threads know of the error
_hasError = true;
// Inform the task of the exception
args.Item1.TrySetException(e);
}
}
// Determine if this is the last thread to complete
var completedThreads = Interlocked.Increment(ref _completedThreads);
if (completedThreads < ThreadCount)
{
return;
}
// Complete the production collection
_produce.CompleteAdding();
if (args.Item2 != null)
{
// Now wait for the producing task to complete
// It should already be done but we need to collect any exceptions
try
{
args.Item2.Wait();
}
catch (Exception e)
{
// There was an exception in a dependent task
args.Item1.TrySetException(e);
}
}
// Notify the handle that this is done
args.Item1.TrySetResult(null);
}
public LocalCollector(IDockerNetwork network, DirectoryInfo iterationResults) : base(iterationResults)
{
var hostCollectorConfigPath = Path.Combine(Directory.GetCurrentDirectory(), CollectorConfigPath);
Container = new TestcontainersBuilder <TestcontainersContainer>()
.WithImage(ImageName)
.WithName(Address)
.WithNetwork(network)
.WithBindMount(hostCollectorConfigPath, ContainerCollectorConfigPath)
.WithOutputConsumer(Consume.RedirectStdoutAndStderrToStream(Stream, Stream))
.Build();
}
public KeyValuePair <string, List <Consume> > GetConsumeRecord(string recordID, int page, int pageSize, ConsumeRequest model, string sort)
{
try
{
string rpt = model.rpt;
string agt = model.agent;
string air = model.airline;
string citem = model.citem;
// whereCondition = "";
model = null;
Consume Consume = new Consume();
SqlParameter[] Parameters =
{
new SqlParameter("@OwnerType", rpt),
new SqlParameter("@Agent", agt),
new SqlParameter("@Airline", air),
new SqlParameter("@Usersno", ((CargoFlash.Cargo.Model.UserLogin)(System.Web.HttpContext.Current.Session["UserDetail"])).UserSNo.ToString()),
new SqlParameter("@CItem", citem)
};
DataSet ds = SqlHelper.ExecuteDataset(DMLConnectionString.WebConfigConnectionString, CommandType.StoredProcedure, "GetConsumble", Parameters);
var ConsumeList = ds.Tables[0].AsEnumerable().Select(e => new Consume
{
Owner = Convert.ToString(e["Owner"].ToString()),
Item = Convert.ToString(e["item"].ToString()),
City = Convert.ToString(e["City"].ToString()),
Ownertype = Convert.ToString(e["OwnerType"].ToString()),
Consumble = Convert.ToString(e["Consumble"].ToString()),
ULDOut = Convert.ToString(e["ULDOut"].ToString()),
ULDStack = Convert.ToString(e["ULDStack"].ToString()),
BuildUp = Convert.ToString(e["BuildUp"].ToString()),
Balance = Convert.ToString(e["Balance"].ToString()),
Dt = Convert.ToString(e["Dt"].ToString())
});
return(new KeyValuePair <string, List <Consume> >(ds.Tables[1].Rows[0][0].ToString(), ConsumeList.AsQueryable().ToList()));
}
catch (Exception ex)// (Exception ex)
{
// do something for error
DataSet dsError;
System.Data.SqlClient.SqlParameter[] ParametersError =
{
new System.Data.SqlClient.SqlParameter("@ErrorMessage", ex.Message),
new System.Data.SqlClient.SqlParameter("@ProcName", "GetConsumble"),
new System.Data.SqlClient.SqlParameter("@UserSNo", ((CargoFlash.Cargo.Model.UserLogin)(System.Web.HttpContext.Current.Session["UserDetail"])).UserSNo.ToString())
};
dsError = CargoFlash.SoftwareFactory.Data.SqlHelper.ExecuteDataset(CargoFlash.SoftwareFactory.Data.DMLConnectionString.WebConfigConnectionString, System.Data.CommandType.StoredProcedure, "ProcOfHandleErrors", ParametersError);
throw ex;
}
}
public List <Consume> Get_Consumed(string job)
{
List <Consume> lstConsume = new List <Consume>();
OdbcConnection conn = new OdbcConnection(STRATIXDataConnString);
try
{
conn.Open();
OdbcCommand cmd = conn.CreateCommand();
cmd.CommandText = "select frc_job_no,frc_cons_seq_no,frc_tag_no,frc_wdth,frc_nbr_stp,frc_arb_pos,frc_cons_wgt from iptfrc_rec where frc_coil_no = 1 and frc_job_no = " + job + " order by frc_cons_ln_no";
OdbcDataReader rdr = cmd.ExecuteReader();
using (rdr)
{
while (rdr.Read())
{
Consume c = new Consume();
c.Job = Convert.ToInt32(rdr["frc_job_no"]);
c.Seq = Convert.ToInt32(rdr["frc_cons_seq_no"]);
c.Tag = rdr["frc_tag_no"].ToString().Trim();
c.Wdth = (decimal)rdr["frc_wdth"];
c.Stp = Convert.ToInt32(rdr["frc_nbr_stp"]);
c.Pos = Convert.ToInt32(rdr["frc_arb_pos"]);
c.Wgt = Convert.ToInt32(rdr["frc_cons_wgt"]);
lstConsume.Add(c);
}
}
}
catch (OdbcException ex)
{
throw;
//Console.WriteLine("consume odbc ex: " + ex.Message);
}
catch (Exception ex)
{
throw;
//Console.WriteLine("consume other ex: " + ex.Message);
}
finally
{
// No matter what close and dispose of the connetion
conn.Close();
conn.Dispose();
}
return(lstConsume);
}
public bool Delete(Guid id)
{
try
{
HttpResponseMessage resp = client.DeleteAsync(UrlHelper.Consumes_Url + @"/DeleteConsume/" + id).Result;
Consume t = JsonConvert.DeserializeObject <Consume>(resp.Content.ReadAsStringAsync().Result);
return(true);
}
catch
{
return(false);
}
}
