public static PrtImplMachine CreateMachine_Main(StateImpl application, PrtValue payload) { var machine = new Main(application, PrtImplMachine.DefaultMaxBufferSize, false); (((machine).self).permissions).Add(Events_745868657.dummy); ((machine).sends).Add(Events_745868657.dummy); (machine).currentPayload = payload; return(machine); }
public static PrtImplMachine CreateMachine_Main(StateImpl application, PrtValue payload) { var machine = new Main(application, PrtImplMachine.DefaultMaxBufferSize, false); (application).Trace("<CreateLog> Created Machine Main-{0}", (machine).instanceNumber); (((machine).self).permissions).Add(Events_1870448896.E); (((machine).self).permissions).Add(Events_1870448896.halt); ((machine).sends).Add(Events_1870448896.E); ((machine).sends).Add(Events_1870448896.halt); (machine).currentPayload = payload; return(machine); }
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 static PrtImplMachine CreateMachine_Main(StateImpl application, PrtValue payload) { var machine = new Main(application, PrtImplMachine.DefaultMaxBufferSize, false); (((machine).self).permissions).Add(Events_1528637394.Success); (((machine).self).permissions).Add(Events_1528637394.boolPayloadEvent); (((machine).self).permissions).Add(Events_1528637394.intPayloadEvent); (((machine).self).permissions).Add(Events_1528637394.Ping); ((machine).sends).Add(Events_1528637394.Success); ((machine).sends).Add(Events_1528637394.boolPayloadEvent); ((machine).sends).Add(Events_1528637394.intPayloadEvent); ((machine).sends).Add(Events_1528637394.Ping); (machine).currentPayload = payload; return(machine); }
public static PrtImplMachine CreateMachine_PONG(StateImpl application, PrtValue payload) { var machine = new PONG(application, 111, true); (((machine).self).permissions).Add(Events_1528637394.Success); (((machine).self).permissions).Add(Events_1528637394.boolPayloadEvent); (((machine).self).permissions).Add(Events_1528637394.Ping); (((machine).self).permissions).Add(Events_1528637394.intPayloadEvent); ((machine).sends).Add(Events_1528637394.Success); ((machine).sends).Add(Events_1528637394.boolPayloadEvent); ((machine).sends).Add(Events_1528637394.intPayloadEvent); ((machine).sends).Add(Events_1528637394.Ping); (machine).currentPayload = payload; return(machine); }
public override void Execute(StateImpl application, PrtMachine _parent) { Timer parent = (Timer)(_parent); PrtFunStackFrame currFun = parent.PrtPopFunStackFrame(); PrtValue swap; (parent).client = (PrtValue.PrtCastValue((currFun).locals[0], Types.type_2_649846341)).Clone(); if (!!(Events.UNIT).Equals(Events.@null)) { throw new PrtAssertFailureException("C:\\\\Workspace\\\\P\\\\Tst\\\\RegressionTests\\\\Feature1SMLevelDecls\\\\DynamicError\\\\BugRepro\\\\Timer.p (15, 7): Raised event must be non-null"); } (application).Trace("<RaiseLog> Machine Timer-{0} raised Event {1}", (parent).instanceNumber, (((PrtEventValue)(Events.UNIT)).evt).name); (parent).currentTrigger = Events.UNIT; (parent).currentPayload = Events.@null; (parent).PrtFunContRaise(); return; parent.PrtFunContReturn(null); }
public static PrtImplMachine CreateMachine_Timer(StateImpl application, PrtValue payload) { var machine = new Timer(application, PrtImplMachine.DefaultMaxBufferSize, false); (application).Trace("<CreateLog> Created Machine Timer-{0}", (machine).instanceNumber); (((machine).self).permissions).Add(Events.CANCEL); (((machine).self).permissions).Add(Events.START); (((machine).self).permissions).Add(Events.halt); (((machine).self).permissions).Add(Events.UNIT); (((machine).self).permissions).Add(Events.CANCEL_FAILURE); (((machine).self).permissions).Add(Events.CANCEL_SUCCESS); (((machine).self).permissions).Add(Events.TIMEOUT); ((machine).sends).Add(Events.START); ((machine).sends).Add(Events.halt); ((machine).sends).Add(Events.UNIT); ((machine).sends).Add(Events.CANCEL); ((machine).sends).Add(Events.TIMEOUT); ((machine).sends).Add(Events.CANCEL_SUCCESS); ((machine).sends).Add(Events.CANCEL_FAILURE); (machine).currentPayload = payload; return(machine); }
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 static PrtImplMachine CreateMachine_UserMachine(StateImpl application, PrtValue payload) { var machine = new UserMachine(application, PrtImplMachine.DefaultMaxBufferSize, false); (((machine).self).permissions).Add(Events_1448003977.eOperationFailure); (((machine).self).permissions).Add(Events_1448003977.eTimerStopped); (((machine).self).permissions).Add(Events_1448003977.eYes); (((machine).self).permissions).Add(Events_1448003977.eNo); (((machine).self).permissions).Add(Events_1448003977.eSetLedStateToUnstableUsingControlTransfer); (((machine).self).permissions).Add(Events_1448003977.eStartDebounceTimer); (((machine).self).permissions).Add(Events_1448003977.eSetLedStateToStableUsingControlTransfer); (((machine).self).permissions).Add(Events_1448003977.eStoppingSuccess); (((machine).self).permissions).Add(Events_1448003977.eStoppingFailure); (((machine).self).permissions).Add(Events_1448003977.eOperationSuccess); (((machine).self).permissions).Add(Events_1448003977.eUnit); (((machine).self).permissions).Add(Events_1448003977.eUpdateBarGraphStateUsingControlTransfer); (((machine).self).permissions).Add(Events_1448003977.eStopTimer); (((machine).self).permissions).Add(Events_1448003977.eTransferFailure); (((machine).self).permissions).Add(Events_1448003977.eTransferSuccess); (((machine).self).permissions).Add(Events_1448003977.eSwitchStatusChange); (((machine).self).permissions).Add(Events_1448003977.eTimerFired); (((machine).self).permissions).Add(Events_1448003977.eD0Exit); (((machine).self).permissions).Add(Events_1448003977.eD0Entry); ((machine).sends).Add(Events_1448003977.eD0Exit); ((machine).sends).Add(Events_1448003977.eD0Entry); (machine).currentPayload = payload; return(machine); }
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 static PrtImplMachine CreateMachine_POrbMachine(StateImpl application, PrtValue payload) { var machine = new POrbMachine(application, PrtImplMachine.DefaultMaxBufferSize, false); (application).TraceLine("<CreateLog> Created Machine POrbMachine-{0}", (machine).instanceNumber); ((machine).self).permissions = null; (machine).sends = null; (machine).currentPayload = payload; return(machine); }
public POrbMachine(StateImpl app, int maxB, bool assume) : base(app, maxB, assume) { (fields).Add(PrtValue.PrtMkDefaultValue(Types.type_11_958407665)); }