public override List <PrtValue> CreateLocals(params PrtValue[] args)
{
var locals = new List <PrtValue>();
foreach (var item in args)
{
locals.Add(item.Clone());
}
(locals).Add(PrtValue.PrtMkDefaultValue(Types.type_6_958407665));
return(locals);
}
public Timer(StateImpl app, int maxB, bool assume) : base(app, maxB, assume)
{
(fields).Add(PrtValue.PrtMkDefaultValue(Types.type_2_649846341));
}
public Main(StateImpl app, int maxB, bool assume) : base(app, maxB, assume)
{
(fields).Add(PrtValue.PrtMkDefaultValue(Types_1870448896.typeInt));
}
public Main(StateImpl app, int maxB, bool assume) : base(app, maxB, assume)
{
(fields).Add(PrtValue.PrtMkDefaultValue(Types_1528637394.typeBool));
(fields).Add(PrtValue.PrtMkDefaultValue(Types_1528637394.typeInt));
(fields).Add(PrtValue.PrtMkDefaultValue(Types_1528637394.typeMachine));
}
public UserMachine(StateImpl app, int maxB, bool assume) : base(app, maxB, assume)
{
(fields).Add(PrtValue.PrtMkDefaultValue(Types_1448003977.typeMachine));
}
public override void Execute(StateImpl application, PrtMachine _parent)
{
POrbMachine parent = (POrbMachine)(_parent);
AnonFun5_StackFrame currFun = (AnonFun5_StackFrame)(parent.PrtPopFunStackFrame());
PrtValue swap;
if (!((PrtBoolValue)(new PrtBoolValue(((PrtMapValue)((parent).var_topicSubscribers)).Contains((((PrtTupleValue)((currFun).var_payload)).fieldValues[0]).Clone())))).bl)
{
goto AnonFun5_if_1_else;
}
(currFun).var_list = ((((PrtMapValue)((parent).var_topicSubscribers)).Lookup((((PrtTupleValue)((currFun).var_payload)).fieldValues[0]).Clone())).Clone()).Clone();
if (!((PrtBoolValue)((IsSubscribed).ExecuteToCompletion(application, parent, (((PrtTupleValue)((currFun).var_payload)).fieldValues[1]).Clone(), (currFun).var_list))).bl)
{
goto AnonFun5_if_0_else;
}
(application).Trace("<PrintLog> Subscriber is already subscribed to event ");
((((PrtTupleValue)((currFun).var_payload)).fieldValues[0]).Clone()).ToString();
(application).Trace("<PrintLog> \\n");
goto AnonFun5_if_0_end;
AnonFun5_if_0_else:
;
AnonFun5_if_0_end:
;
((PrtSeqValue)(((PrtMapValue)((parent).var_topicSubscribers)).Lookup((((PrtTupleValue)((currFun).var_payload)).fieldValues[0]).Clone()))).Insert(((PrtTupleValue)(new PrtTupleValue(new PrtIntValue(0), (((PrtTupleValue)((currFun).var_payload)).fieldValues[1]).Clone()))).fieldValues[0], ((PrtTupleValue)(new PrtTupleValue(new PrtIntValue(0), (((PrtTupleValue)((currFun).var_payload)).fieldValues[1]).Clone()))).fieldValues[1]);
goto AnonFun5_if_1_end;
AnonFun5_if_1_else:
;
((PrtMapValue)((parent).var_topicSubscribers)).Update((((PrtTupleValue)((currFun).var_payload)).fieldValues[0]).Clone(), (PrtValue.PrtMkDefaultValue(Types.type_9_958407665)).Clone());
((PrtSeqValue)(((PrtMapValue)((parent).var_topicSubscribers)).Lookup((((PrtTupleValue)((currFun).var_payload)).fieldValues[0]).Clone()))).Insert(((PrtTupleValue)(new PrtTupleValue(new PrtIntValue(0), (((PrtTupleValue)((currFun).var_payload)).fieldValues[1]).Clone()))).fieldValues[0], ((PrtTupleValue)(new PrtTupleValue(new PrtIntValue(0), (((PrtTupleValue)((currFun).var_payload)).fieldValues[1]).Clone()))).fieldValues[1]);
AnonFun5_if_1_end:
;
parent.PrtFunContReturn((currFun).locals);
}
public POrbMachine(StateImpl app, int maxB, bool assume) : base(app, maxB, assume)
{
(fields).Add(PrtValue.PrtMkDefaultValue(Types.type_11_958407665));
}