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)); }